Hi, I'm Isaac Mackey. I'm a fourth-year graduate student/PhD candidate in computer science at the University of California, Santa Barbara (UCSB). I'm interested in specification and verification problems for computer systems, especially those using Linear Temporal Logic (LTL). Previously, I studied computer science and physics at the University of Virginia (UVa). Outside of school, I enjoy endurance sports and science fiction.

Contact me at isaac_mackey [at] ucsb.edu