Carnegie Mellon University

Mario Carneiro

Mario Carneiro

  • Doherty Hall 4302-A
Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Hometown: Columbus OH
BS (triple major) in Mathematics, Physics, and Computer & Information Sciences
Ohio State University

Research

  • Formalized mathematics
  • Formal logic