Philosophy - Homotopy Type Theory Seminar September 4, 2024 Hofmann–Streicher lifting of fibred categories
Thesis Oral Defense - Jatin Arora July 29, 2024 Provably Efficient Coscheduling of Computation and Data through Disentanglement
CSD Graduate Katherine Kosaian Receives 2024 Bill McCune PhD Award Thursday, July 11, 2024 Katherine Kosaian, formerly Cordwell, who received her doctoral degree from the Computer Science Department at Carnegie Mellon University, has been selected as the 2024 recipient of the Bill McCune PhD Award. Her dissertation, Formally Verifying Algorithms for Real Quantifier Elimination, was chosen for its strong theoretical and practical contributions to formally verified quantifier elimination for the first-order logic of real arithmetic. More