Nathaniel Glover
Office: GHC 9005
Carnege Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213
I’m a third-year PhD student in the Principles of Programming (PoP) group of the Computer Science Department at Carnegie Mellon University (CMU CSD), advised by Jan Hoffmann. My research areas are type theory and programming languages, with a focus on resource-aware languages, substructural type systems, and implicit computational complexity. I’m also interested in mathematics and computer graphics.
Outside of academics, I enjoy the outdoors, glassblowing at the Pittsburgh Glass Center, cooking, board games, and video games.
News
| Apr 2026 | Our article LFPL: Revisited and Mechanized has been accepted at LICS 2026. |
|---|---|
| Jun 2025 | I attended OPLSS 2025 in Eugene, Oregon. |
| Aug 2024 | I started my PhD at CMU, advised by Jan Hoffmann. |
| May 2024 | I graduated from CMU with a BS in mathematics (concentration: discrete math and logic), additional major in computer science, and MS in mathematics. |
| Apr 2024 | I defended my masters thesis on the stability of cube-slicing inequalities. |