Carnegie Mellon University

Rob Lewis

Rob Lewis

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

Bio

Hometown: Brookline, MA
BA Mathematics and Philosophy
Rice University

Research

  • Automated Theorem Proving
  • Mathematical Logic
  • Philosophy of Math