I graduated from the University of Virginia in 2016 with a double major in Computer Science and Physics. During my time as an undergraduate, I worked as a teaching assistant in computer science courses and conducted research on parallel algorithms for solving the Towers of Hanoi problem on directed graphs. In my first two years as a PhD student in Computer Science at UCSB, I completed the UCSB IGERT in Network Science and Big Data, a graduate training program in graph algorithms and network construction and analysis, including projects on social networks, social media data mining, and visualization. My current research involves translating declarative specifications into temporal logic. With the Crossroads project, I would like to use natural language text as a source of the self, transforming text into inspectable, realistic representations of the human mind and memory.

Contact: Isaac_mackey@cs.ucsb.edu