Matthew B Mirman (Preferred)
Matthew B Mirman
Researcher, Extensional
Joined
October 2017
Names
Emails
****@inf.ethz.ch (Confirmed)
****@mirman.com (Confirmed)
Personal Links
Career & Education History
Researcher
Extensional (extensional.com)
2023 – Present
PhD student
Department of Computer Science, Swiss Federal Institute of Technology (inf.ethz.ch)
2017 – 2023
MS student
School of Computer Science, Carnegie Mellon University (cs.cmu.edu)
2012 – 2014
Undergrad student
School of Computer Science, Carnegie Mellon University (cs.cmu.edu)
2009 – 2012
Advisors, Relations & Conflicts
Expertise
Machine Learning Safety
2016 – Present
Type Theory
2011 – Present
Computer Graphics and Computational Geometry
2008 – 2011