Katherine Kosaian
Position
- Affiliate Assistant Professor
Katherine Kosaian is an Assistant Professor in Computer Science at the University of Iowa, where she is part of the Computational Logic Center. Previously, she completed a one-year postdoc at Iowa State University. Her PhD is from Carnegie Mellon University's Computer Science Department. Her thesis, which won the 2024 Bill McCune PhD Award, was on formalizing algorithms for real quantifier elimination.
Her research interests include formal verification, interactive theorem proving, and ways in which math and computer science intersect. She is particularly interested in formalizing mathematics and algorithms with safety-critical applications.