PeopleofSuperintelligence

Researcher

Erik Meijer

Also known as ERIK MEIJER

Erik Meijer works across programming languages, machine-learning optimization and AI agent verification. He earned a PhD at Nijmegen in 1992 and taught software technology at Utrecht during the 1990s. He joined Microsoft Research in Seattle in 1999, led its Cloud Programmability Team, developed LINQ and became a part-time professor at TU Delft in 2011 before starting Applied Duality in 2013. The optimizer paper he coauthored won a NeurIPS Outstanding Paper Award in 2022; he presented a language model as a programming-language virtual machine at Delft in February 2024 and joined Normal Computing as vice president of engineering in 2025. At AI Engineer World’s Fair in 2026, he presented work connecting Universalis with Automind and checking AI agent plans before execution; as of October 2026, he is a senior fellow at Normal Computing.

Now at
Leibniz Labs and Normal Computing
Born
1963
Works
154
Citations
3,417
h-index
32
Badges

Years link to their sources. Publication numbers from OpenAlex, as of 22 October 2026.

Timeline

  1. 1990s

    A PhD and Utrecht teaching

    He earns a PhD at Nijmegen University in 1992 and teaches software technology at Utrecht University during the 1990s.

  2. 1999–2011

    Microsoft Research and LINQ

    In 1999, he leaves Utrecht for Microsoft Research in Seattle. By 2011, he leads the Cloud Programmability Team and develops LINQ for querying shared data; his Microsoft work includes C#, Visual Basic, Volta and Reactive Extensions for .NET.

  3. 2011

    Part-time professor at Delft

    In 2011, he becomes a part-time professor of Cloud Programming within TU Delft’s Software Engineering Research Group. He continues to lead Microsoft’s Cloud Programmability Team.

  4. 2013

    Starting Applied Duality

    In early 2013, he leaves Microsoft and starts Applied Duality Incorporated.

  5. 2022

    A NeurIPS optimizer award

    In 2022, he coauthors “Gradient Descent: The Ultimate Optimizer” with Kartik Chandra, Audrey Xie and Jonathan Ragan-Kelley. The method uses a modification to backpropagation to compute hypergradients, letting stochastic gradient descent tune its own hyperparameters; NeurIPS gives the paper an Outstanding Paper Award.

  6. February 2024

    Language models as virtual machines

    In February 2024, he is Meta’s senior director of engineering and presents “Virtual Machinations” at TU Delft. The talk describes a natural-language programming language implemented with a large language model as its virtual machine for generating instructions.

  7. 2025

    Joining Normal Computing

    In 2025, he joins Normal Computing as vice president of engineering and works on formal modeling, compiler design and system coordination for Normal EDA and Normal ASICs.

  8. As of October 2026

    Formal checks for AI agents

    As of October 2026, he is a senior fellow at Normal Computing. At AI Engineer World’s Fair in 2026, he participates as a research scholar affiliated with Leibniz Labs and connects Universalis with Automind, an agent harness built around checked execution plans. He proposes using Horn clause logic and SMT solvers to check agent-generated plans against formalized business rules before execution.

Career

  1. Since 2025Normal ComputingVice President of Engineering
  2. NowLeibniz LabsResearch Scholar
  3. 2024MetaDirector of Engineering
  4. From 2013Applied Duality IncorporatedFounder
  5. 2011–2013MicrosoftLead, Cloud Programmability Team
  6. 2011–2014Delft University of TechnologyPart-time Professor of Cloud Programming
  7. 1999–2011Microsoft Research
  8. 1993–2002Utrecht UniversitySoftware technology teacher

Education

  1. 1992Radboud University NijmegenPhD

From the biography and OpenAlex affiliations (the years of papers that list the organization), so some years are approximate.

  1. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other universityIncludes Erik Meijer. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other university. We compare doctorate and 5+ year employment links, career timing and current workplaces for 187 major-prize and 1,111 best-paper winners.
  2. 11% of AI doctorate holders from 2010 to 2016 founded or led a company or lab by 10 years after graduationIncludes Erik Meijer. We estimate how often AI doctorate holders founded or led a company or lab by 10 years after graduation, how waiting times compare between founders and top jobs, and which universities trained the most.
  3. Among employers with 30+ full-time cases, OpenAI leads primary technical role H-1B pay at $310,000, and Amazon, Google and Microsoft file 57% of all casesIncludes Microsoft. Across 440,669 certified US H-1B filings from 44 employers (FY2020–FY2026), OpenAI leads primary technical role base pay at $310,000 and xAI leads overall base pay at $290,000.
  4. Google had the most people shaping AI every year from 2014 to 2025Includes Microsoft. Our estimates of which organizations employed the most people shaping AI each year from 1955 to 2025, tracing the shift from university labs to companies.

Colleagues

People named in this biography, and people with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Erik Meijer yet. Send us a free-licensed photo.

  1. Microsoft software-ontwikkelaar Erik Meijer wordt deeltijdhoogleraar - Engineers Online engineersonline.nl. Checked 22 October 2026.
  2. Hoogleraar cloud computing presenteert zich op TEDx - Delta delta.tudelft.nl. Checked 22 October 2026.
  3. Virtual Machinations: Leveraging the Linguistic Bytecode of Large Language Models to Emulate Programming Language VMs tudelft.nl. Checked 22 October 2026.
  4. Erik Meijer, Microsoft - QCon San Francisco 2012 qconsf.com. Checked 22 October 2026.
  5. #NeurIPS2022 outstanding paper – Gradient descent: the ultimate optimizer - AIhub aihub.org. Checked 22 October 2026.
  6. Gradient Descent: The Ultimate Optimizer - NeurIPS Proceedings papers.neurips.cc. Checked 22 October 2026.
  7. Software Dev in 2033 - Engineering Leadership Podcast sfelc.com. Checked 22 October 2026.
  8. Normal Computing Expands Leadership Team normalcomputing.com. Checked 22 October 2026.
  9. Erik Meijer: Bio, Work & Ideas ai.engineer. Checked 22 October 2026.
  10. Return of the Theorem videos.itrevolution.com. Checked 22 October 2026.
  11. Speakers — IT Revolution Video Library videos.itrevolution.com. Checked 22 October 2026.
  12. Normal Computing Org Chart, Leadership & Team (2026) — InsideOrg insideorg.com. Checked 22 October 2026.