As of Fall 2024, I am an assistant professor in the Department of Computer Science at the University of Iowa, where I lead the Formal MATHods lab. I am part of the Computational Logic Center.
Previously, I completed a 1-year postdoc at Iowa State University working with Kristin Rozier. Before that, I received my PhD from Carnegie Mellon University's Computer Science Department, where I was advised by André Platzer. My thesis was on formalizing algorithms for real quantifier elimination.
My interests include formal verification, interactive theorem proving, and ways in which math (especially algebra) and computer science intersect. I am particularly interested in formalizing mathematics and algorithms with safety-critical applications.
I am looking to recruit Ph.D. students! If you think you might be interested in working with me, please feel free to reach out.
My last name is pronounced "Co-Sea-In". My maiden name is Cordwell.