About me

I'm Josh Clune, a third year PhD student studying computer science at Carnegie Mellon University. My research focus is pretty broad and underspecified, but generally speaking, I find myself drawn to logic and its interaction with computer science. This has spawned interests in programming language theory, SAT/SMT solving, and interactive/automated theorem proving.

I am grateful to currently be advised by Jeremy Avigad.