Verifiably Safe Agentic Compute

Erik Meijer has been deeply involved in the development of Haskell, C#, Visual Basic, Dart, and Hack, and has contributed to the evolution of Java, Scala, Kotlin, and JavaScript. At Microsoft, he worked across language and runtime teams and led early efforts in cloud programmability. He’s the creator of Reactive Extensions (Rx), a composable approach to asynchronous programming now widely adopted across platforms. At Facebook (Meta), he reworked core backend systems to support reactive application development at scale. His current work focuses on making machine learning more accessible to developers—through probabilistic and differentiable programming, and by applying ML to infrastructure and tooling. Erik Meijer continues to publish research, 𝐡𝐨𝐥𝐝𝐬 𝐨𝐯𝐞𝐫 𝟏𝟒𝟗 𝐩𝐚𝐭𝐞𝐧𝐭𝐬, and maintains active roles in both academic and technical communities.