John C. Kolesar

I am a computer science Ph.D. candidate at Yale University advised by Professor Ruzica Piskac. I am in my fifth year of graduate school. 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 summer of 2024, I worked as an Applied Scientist Intern at Amazon Web Services. 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.