Erik Meijer
Official Role
Research Scholar at Leibniz Labs.
Official Bio
Erik Meijer has spent more than three decades designing programming languages and developer tools that help humans express intent more clearly to machines. His work has influenced languages and technologies including Haskell, Mondrian, Cω, C#, Visual Basic, Dart, Hack, LINQ, and Rx. Today, he is building Universalis, the world's first programming language for AI agents. By combining formal verification with large language models, Universalis aims to make agentic systems safe, transparent, and trustworthy enough for real-world knowledge work.
Scheduled Sessions
- 2026 06 29 erik meijer in code they act in proof we trust — In Code They Act, In Proof We Trust (2026-06-29, 4:50pm-5:10pm)