About Me

Dr. Matthew Mirman is a computer scientist, who attained his PhD at ETH Zürich, supervised by Martin Vechev. His main research interests sit at the intersection of programming languages, machine learning, and theory with applications to creating safe and reliable artificial intelligence systems. Prior to ETH, he completed his B.Sc. and M.Sc. at Carnegie-Mellon University supervised by Frank Pfenning.




  • DiffAI: Differentiable Abstract Interpretation for Robustness

  • Caledon: A higher order meta-programming logic language typed by a pure type system with an infinite universe hierarchy and first class type inference.

  • MentisOculi: Differentiable pathtracing

  • Forward-Chan: An implementation of a more general “forward” primitive used in the identity rule for the proof terms of the sequent calculus formulation of linear logic, based on traditional channel primitives and mutation.

  • ImperativeHaskell: Proof that haskell can look and act like an imperative language, with a diverse set of imperative primitives

  • RPC-framework: An RPC library for haskell that makes construction of anonymous services both well typed and easy to use, with a modal typed seperating worlds api. Only works with older GHC versions.

  • Conpig: An alternative green threading library for python that automates more of the concurrency.

  • Raskell: linear and ordered typed tagless DSLs.

  • PySearch: Python Function Search by Description.

Contact me

Personal Facts

  • I am a US citizen currently living in Zurich, Switzerland
  • I have also lived in Brooklyn NY, San Francisco CA, Pittsburgh PA, Waltham MA.
  • I am originally from NYC.
  • My accent is not as bad as Feynman’s was.
  • I ride a mountain unicycle.