Erik Meijer

Profile

Research Scholar at Leibniz Labs.

Biography

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.

Conference 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)

Evidence Graph

This evidence graph summarizes how this person appears across the conference source graph: scheduled sessions, linked videos, transcripts, and slide-derived evidence.

Linked Sessions

In Code They Act, In Proof We Trust

Media Signals

No linked video, transcript, or slide source has been attached yet.