· Researcher/Academic, Massachusetts Institute of Technology2026–
· Professor and Lead Designer of Alloy, MIT CSAIL - Software Design Group2026–
· Researcher in Multicore Algorithmics Group, MIT CSAIL2024–
· Professor, MIT EECS2022–
· Researcher, MIT Theory of Distributed Systems Group2016–
· Professor, MIT CSAIL1997–
· Professor, Massachusetts Institute of Technology (MIT)
· Researcher and Faculty Member, MIT Applied Computing Group (CSAIL)
· Professor of Computer Science and Associate Director, MIT CSAIL
· Leader of the Software Design Group, MIT's Computer Science and Artificial Intelligence Laboratory