Matthew B Mirman

Researcher, Extensional

  • Joined October 2017

Names

Matthew B Mirman (Preferred)

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

PhD Advisor
2017 – Present
 
Coworker
2011 – 2014
 
Coworker
2009 – 2011
 

Expertise

Machine Learning Safety
2016 – Present
 
Type Theory
2011 – Present
 
Computer Graphics and Computational Geometry
2008 – 2011