Katherine Cordwell

About me

I am a second year Ph.D. student in Carnegie Mellon University's Computer Science Department. I am advised by André Platzer and am part of the Logical Systems Lab. 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.


Book Chapters



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



Promoting the significance of the STEM sciences to younger students, especially from underrepresented groups, is important to me. In college, I first participated in and then helped to coordinate the Middle and High School Math Tutoring (MHSMT) program, a student-run organization that sent tutors to local high schools to assist students with their coursework in mathematics.

Currently, in graduate school, I volunteer for Tech Nights, which is a CMU program to teach middle school girls math and science concepts that they don't necessarily encounter in school. Most weeks, I assist with activities, but I have also co-led sessions on logic games, graph theory, and cryptography.

I was very involved with science fair and similar competitions in high school. (See me talk about some of my work here!) I was fortunate to have the opportunity to volunteer at Intel ISEF 2018, held in Pittsburgh. Among other things, I served on a panel of science fair alumni. In 2017, I got to interact with Broadcom Masters finalists and answer their questions as part of a panel.


Email: kcordwel at cs.cmu.edu

Office: GHC 7503