Jordan Schmerge

I am currently a PhD student at Yale University in the ROSE group, advised by Professor Ruzica Piskac. My current research is at the intersection of formal methods and applied cryptography, specifically on improving privacy-preserving automated reasoning tools. I am interested in formal verification applied broadly, from hardware to systems and solvers.

I completed by B.S. and M.S. in Computer Science from The Colorado School of Mines in 2016 and 2018. I worked briefly in a formal methods group at Intel before coming to Yale for my PhD. I am passionate about science communication and teaching and I have been very involved as a Teaching Assistant at both Mines and Yale.

While at Yale, I interned at Nokia Bell Labs (Summer 2025) under the guidance of Kedar Namjoshi, working at the intersection of privacy and blockchains/smart contracts. I also served as the web chair for CAV 2025 (Computer Aided Verification conference).