I graduated from the University of California, Santa Barbara in 2023 with a PhD in computer science. My research focused on reasoning about time constraints to detect constraint violations at run-time. My dissertation is available here as a PDF and here as presentation slides.
Links to my publications are here on Google Scholar. I am happy to provide electronic copies via email.
Outside of my dissertation research, I am interested in mind-uploading, a computer simulation of a person's mind that preserves their identity. A video about one of my projects in this area is here on Youtube. Related code is here on Github.
I worked as an instructor and teaching assistant for computer science courses from 2014 to 2023, mostly for courses about Python, formal languages, automata theory, and discrete mathematics. Don't hesitate to reach out if you have any questions or if you're curious about any of those topics.
Contact me at imackey1415@gmail.com
Me on the left with friends Freddy and Glen
Other activities:
In 2022, I crossed the Atlantic Ocean in a rowboat with Jonathan Harrison and Kramer Lewis in 40 days.
