Adam Chlipala - Past Research Students

Postdoc

PhD

Master's

Undergraduate

Other

Legend

UAP is a kind of undergraduate senior final project in MIT EECS.

Master's students listed here are from our MEng program, a "5th-year master's" program for our own undergraduates. This is the only master's program in CS at MIT.