Michael J. Sullivan

s...@msully.net
https://www.msully.net/blog
https://github.com/msullivan/

Research, Work, 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 work for Dropbox on the mypy optional static typechecker for Python.

Previous I was a Ph.D. student in the Computer Science Department at Carnegie Mellon University, advised by Karl Crary, where I wrote a thesis on the design and implementation of a new language memory models for low level concurrency (thesis).

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.

Teaching

Publications