Carnegie Mellon University

Greg Langmead

Greg Langmead

Master's Student

Address
5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Hometown: Baltimore, MD

Education

  • B.A. in Mathematics, Columbia University 
  • Ph.D. in Mathematics, Columbia University

Research

  • Category theory
  • Automatic theorem proving
  • Physics