Michael J. Sullivan
www.msully.net
Personal homepage of Michael J. Sullivan, a compiler engineer at Vercel, with research interests in programming languages and logics, plus a blog and GitHub.
Michael J. Sullivan's personal site details his work on programming language design and logic, including his roles at Gel and Vercel, with a blog and GitHub for further reading.
Checked with Google Web Risk · 1 hour ago
- language
- EN
- here since
- August 2026