Reason & Run teaches Symbolic Computational Modelling — a way of solving problems that doesn't exist anywhere else in pre-university education. Students learn to take a hard problem, model it in precise mathematical terms, then run experiments on that model using a logic-based computer language to see the answer before they've proved it. The computer reveals the pattern; the student then proves why it always holds. Reason, run, discover, prove — in iterative loops, each pass deepening the understanding.

This is how research mathematicians and high-assurance engineers actually work. R&R is the first to bring it to teenagers.

AI has made writing code cheap, and it's now making reasoning itself something people outsource — leaving the next generation less able to think through hard problems on their own. Meanwhile, schools still teach STEM as recipes to memorize: exactly the skills AI replaces first. The result is a widening reasoning gap. R&R closes it by teaching what AI can't do — architecting new logical frameworks and exploring them with rigor.

The method rests on Symbolic Computational Modelling, developed over 30 years by Prof. Răzvan Diaconescu — one of a small handful of people in the world with the depth of expertise to teach it. An Oxford DPhil and professor at the Romanian Academy, he is a key architect of CafeOBJ (a sister language to Maude) and a globally recognized authority in logic-based computation. The engine students use, eMaude, is his adaptation of the Maude system — making logic the interface rather than something hidden behind low-level code.

Every lesson is a puzzle solved through a four-step loop:

• Reason — understand the problem and model it mathematically
• Run — build a computational model in eMaude and execute it
• Discover — find the pattern in what the computer reveals
• Prove — establish that the pattern always holds

No memorization. No recipes. Just thinking and exploration.

Răzvan Diaconescu, Chief Science Officer — Oxford DPhil, 30+ years in formal methods, professor at IMAR (Romanian Academy).

Victor Anastasiu, CEO — serial entrepreneur, previous exit (SkinVision).

Tashi Diaconescu, Curriculum & Pedagogy — Math Olympiad medalist.

In the 21st century, literacy will mean the ability to reason across complex systems and run those models through computation. We're building the place where the next generation learns to do exactly that — not to compete with AI, but to direct it.