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.
- K Cordwell and G. Wang, Multilinear polynomials of small degree evaluated on matrices over a unital algebra, Linear Algebra and its Applications, 496 (2016), 262-287. ( Link )
- K Cordwell, T. Fei, and K. Zhou, On lower central series quotients of finitely generated algebras over Z, Journal of Algebra, 423 (2015), 559-572. ( Link )
- On Summand Minimality of Generalized Zeckendorf Decompositions, joint with Magda Hlavacek, Chi Huynh, Steven J. Miller, Carsten Peterson, and Yen Nhi Truong Vu. ( Link )
- On Algorithms to Calculate Integer Complexity, joint with Alyssa Epstein, Anand Hemmady, Steven J. Miller, Eyvindur Palsson, Aaditya Sharma, Stefan Steinerberger, and Yen Nhi Truong Vu. ( Link )
- On Within-Perfectness and Near-Perfectness, joint with Peter Cohen, Alyssa Epstein, Kevin Kwan, Adam Lott, and Steven J. Miller. ( Link )
I was a TA for UMD's CMSC250 (Discrete Structures) in Fall 2016 and Spring 2017.
- NSF GRFP Fellowship, 2017
- Barry M. Goldwater Scholarship, 2016
Email: kcordwel at cs.cmu.edu
Office: GHC 7503