About
The story behind DrBartha
DrBartha grew out of a simple question. Can a four-year-old write a real program?
Dr. Dénes Bartha
Founder, designer, and lead engineer of DrBartha Toys. PhD in computer science, with research in bioinformatics and over a decade of professional work in data science.
Dénes wondered whether the formal semantics that govern Python or JavaScript could be re-expressed as something a preschooler can manipulate by hand. The Coding Kit is the answer he built.
About us
DrBartha builds hands-on coding bricks for children ages 4 to 14. Each magnetic brick is a programming command. Children hold, snap together, and run sequencing, loops, conditionals, variables, and functions on the Coding Kit. Hands-on coding has fifty years of research behind it, from Seymour Papert's LOGO to today's CSTA K-12 computer science framework. We turn that legacy into play.
Origins
From a research idea to a Coq-verified programming language for kids.
The research idea
Working on programming-language theory, Dénes asked whether the formal semantics behind real languages could be re-expressed as something a child could touch.
The first brick
The first prototype was a breadboard with some simple wiring. It executed one token, then forwarded power to the next brick. That core idea of daisy-chained, self-describing physical tokens is still how the Coding Kit works today.
The proof
In parallel with the hardware, the brick language (PBPL) was formalised and proven Turing-complete in Coq. Children's play is also serious computer science.
Contact