Hi, I'm Isaac Mackey.

Isaac rowing on the Pacific Ocean on Halloween 2020

I'm a PhD student in computer science at the University of California, Santa Barbara. I received Bachelors degrees in computer science and physics from the University of Virginia. My research interest is in formal specification and verification problems that use logic. Outside of school, I enjoy endurance sports and science fiction.

Contact me at isaac_mackey [at] ucsb [dot] edu

Papers available online