Katherine Cordwell

About me

I am a first year Ph.D. student in Carnegie Mellon University's Computer Science Department. I am advised by Andre Platzer. My interests include formal verification and ways in which math and computer science intersect. Within mathematics, I am particularly drawn to algebra. Currently, I am interested in how algebraic geometry can be used in formal verification.

Before CMU, I was a math and cs major at the University of Maryland, College Park.




I was a TA for UMD's CMSC250 (Discrete Structures) in Fall 2016 and Spring 2017.



Email: kcordwel at cs.cmu.edu

Office: GHC 7503