John C. Kolesar

I earned my Ph.D. in computer science at Yale University in March 2026. For my doctorate, I was advised by Professor Ruzica Piskac. My research interests include automatic program verification, zero-knowledge proofs, symbolic execution, automatic program repair, and software-defined networking.

In 2020 I received a B.A. from Cornell University, where I majored in both mathematics and classics. I did computer science research under Professor Nate Foster while at Cornell. I received an M.S. en route to the Ph.D. from Yale in 2022.

In the summers of 2024 and 2025, I worked as an Applied Scientist Intern at Amazon Web Services in New York City. In the summer of 2022, I worked as a research intern at Microsoft One Engineering System. In the summers of 2018 and 2019, I did software development work for Aretec Inc., a contractor working for the U.S. Securities and Exchange Commission.