Erik Meijer
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.
Session (1)
Meijer is reinventing how we build software with LLMs: his current work (Universalis/Automind, "Guardians of the Agents") argues that AI agents should generate machine-checkable formal proofs that their plans are safe before executing, eliminating prompt-injection-class failures at the source. Expect a provocative, deeply technical take on verifiably safe agentic compute and end-user programmable AI from one of the designers of LINQ, Rx, C# and Haskell.
Recent talks (1)
GitHub
@headinthebox- CourseraCodeSamplesReactiveProgramming★ 206Code samples for the Coursera 'Principles of Reactive Programming' course (Scala).
- RxPaint★ 5A paint application demonstrating Reactive Extensions (Rx) in Java.
- node-bell★ 5Realtime anomaly detection based on statsd, for periodic time series (JavaScript).
- AsyncIterable★ 1Asynchronous pull-based collections (Scala).
Recent writing (2)
Podcasts & interviews (1)
- Erik Meijer on AI, Agents & the Future of Developer Tools · AI Studios with Natalia Burina · May 2025
Public activity researched automatically · as of Jun 2026