I am currently a postdoc at Iowa State University working with Kristin Rozier.
Previously, I completed my PhD in Carnegie Mellon University's Computer Science Department, where I was advised by André Platzer. My thesis was on formalizing algorithms for real quantifier elimination.
Starting in Fall 2024, I will be an assistant professor in the Department of Computer Science at the University of Iowa, where I will be part of the Computational Logic Center.
My interests include formal verification and ways in which math (especially algebra) and computer science intersect. I am particularly interested in formally verifying 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 maiden name is Cordwell.
Selected Publications
An example matrix equation from:
K. Cordwell, Y. K. Tan, and A. Platzer. A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm, ITP 2021.
One of the experimental results from:
M. Scharager, K. Cordwell, S. Mitsch, and A. Platzer. Verified Quadratic Virtual Substitution for Real Arithmetic, FM 2021.
Part of the proof calculus for PdTL from:
K. Cordwell and A. Platzer. Towards Physical Hybrid Systems, CADE 2019.
News
[June 2024] I am grateful that my thesis has been awarded the Bill McCune PhD Award! See you at IJCAR in France!
[June 2024] Two papers accepted to CICM! See you in Canada!
[May 2024] Invited talk at the Association for Symbolic Logic North American Meeting.
[April 2024] I will be giving an invited talk at SUnMaRC 2024.
[October 2023] I will be attending FMCAD. Feel free to say hi!
[August 2023] I graduated and started my postdoc!
[Fall 2022] Our paper, "A first complete algorithm for real quantifier elimination in Isabelle/HOL", was accepted to CPP 2023!
[Fall 2022] I am grateful to have participated in the Doctoral Programme at CICM.
[Fall 2021] I am grateful to have participated in the 2021 MIT EECS Rising Stars Workshop.
[Summer 2021] I gave a talk as part of the Graduate Student Presentations of the 2021 Cyber-Physical Systems PI Meeting.
Awards
NSF GRFP Fellowship, 2017
University of Maryland, College Park (UMD) Department of Mathematics Outstanding Senior Award, joint with Charles Parker, 2017
Barry M. Goldwater Scholarship, 2016