Katherine Kosaian

About

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.