Thesis Oral Defense - Jatin Arora July 29, 2024 Provably Efficient Coscheduling of Computation and Data through Disentanglement
Thesis Oral Defense - David Kahn June 28, 2024 Leveraging Linearity to Improve Automatic Amortized Resource Analysis
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