Massachusetts Institute of Technology — United States
Computer Science · Physical Sciences
5h-index1.3kcitations6works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(5), Formal Methods in Verification(5), Software Engineering Research(2), Parallel Computing and Optimization Techniques(1), Advanced Software Engineering Methodologies(1)
Publications6 total
Lecture notes in computer science·2008· 34 cited
Science of Computer Programming·2007· 1.0k cited
ACM SIGPLAN Notices·2005· 11 cited
2005· 129 cited
ACM SIGPLAN Notices·2004· 5 cited
2004· 61 cited
Frequent Co-authors
Michael D. Ernst(6), Alan Donovan(2), Adam Kieżun(2), Jeff Perkins(1), Philip J. Guo(1), Stephen McCamant(1), Carlos Pacheco(1), Xiao Chen(1), Jaime Quinonez(1)