Principles of Programming Seminar - Cameron Freer September 20, 2024 Computability and Symmetry in Probabilistic Programming
Doctoral Thesis Proposal - Aditi Kabra September 19, 2024 Verified Control Envelope Synthesis for Hybrid Systems
Philosophy - Homotopy Type Theory Seminar September 4, 2024 Hofmann–Streicher lifting of fibred categories
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