Michael J. Sullivan

9005 Gates Hillman Center
School of Computer Science
Carnegie Mellon University
5000 Forbes Ave
Pittsburgh, PA 15213


I am a Ph.D. student in the Computer Science Department at Carnegie Mellon University, advised by Karl Crary.

Research and Interests

I have wide ranging interests in the design and theory of programming languages and logics and in their applications. I have an unfortunate fondness for indefensible hacks.

Currently, I am working on designing and implementing language memory models for low level concurrency (thesis proposal).

I've spent several summers interning at Mozilla where I worked on a prototype JIT compiler for Javascript and helped with the development of the Rust Programming Language and two summers at Facebook where I worked on the Hack Programming Language.