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