Scholar
Katherine Kosaian
Google Scholar ID: tDH2uIoAAAAJ
Assistant Professor, University of Iowa
Citations & Impact
Citations
118
H-index
8
i10-index
6
Publications
19
Co-authors
0
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Published several papers such as 'Formalizing Pick's Theorem in Isabelle/HOL', 'A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL', etc.; received awards like the Bill McCune PhD Award; served as PC co-chair or invited speaker at various conferences.
Research Experience
- Currently an assistant professor in the Department of Computer Science at the University of Iowa, leading the Formal MATHods Lab. Involved in multiple research projects, including work at Carnegie Mellon University.
Education
- PhD from Carnegie Mellon University's Computer Science Department, advised by André Platzer; Postdoc at Iowa State University, working with Kristin Rozier.
Background
- Interests include formal verification, interactive theorem proving, and the intersection of math (especially algebra) and computer science. Particularly interested in formalizing mathematics and algorithms with safety-critical applications.
Miscellany
- Last name pronounced as 'Co-Sea-In'; maiden name is Cordwell.
Co-authors