Hi, I'm Isaac Mackey.
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
- Isaac Mackey and Jianwen Su. Mapping simple, acyclic rules to linear temporal logic formulas. Unpublished manuscript. (pdf)
- Isaac Mackey and Jianwen Su. Mapping Business Rules to LTL Formulas. In: Proc. of ICSOC 2019. pp. 563-564 (2019). (pdf)
- Yan Tang, Isaac Mackey, and Jianwen Su. Querying Workflow Logs. MDPI Journal of Information. 2018. (pdf)
- Isaac Mackey and Ernst Leiss. The worst parallel Hanoi Graphs. Elsevier Journal of Theoretical Computer Science. 2018.(pdf)