Adam Chlipala - Past Research Students
- Di (Wayne) Wang [Fall 2016]
- Mirai Ikebuchi [Spring-Summer 2016]
- Mutaamba Maasha [Spring 2014-Spring 2016]
- Danny Gratzer (now an undergrad at CMU) [Summer 2013]
- Thomas Grégoire [Summer 2013, Fall 2014]
- Anish Dhar [Summer 2012]
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.