Carnegie Mellon University

Greg Langmead

Greg Langmead

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Hometown: Baltimore, MD

Education

BA in Mathematics
PhD in Mathematics
Columbia University 

Research

Category theory, Automatic theorem proving, Physics