Greg Langmead
Master's Student
Contact
Address
5000 Forbes Avenue
Pittsburgh, PA 15213
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