About me

I'm Josh Clune, a fourth year PhD student studying computer science at Carnegie Mellon University. I'm interested in logic and its interaction with computer science, which has lead me to explore programming language theory, SAT/SMT solving, and interactive/automated theorem proving. My current research focuses on the development of general-purpose automation for interactive theorem provers.

I am grateful to currently be advised by Jeremy Avigad.