Katherine Kosaian

Assistant Professor · Department of Computer Science

简介

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.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。