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.
https://csd.cmu.edu/news/csd-graduate-katherine-kosaian-receives-2024-bill-mccune-phd-award