Adam Chlipala - Past Research Students

Postdoc

• Thomas Braibant [Spring-Summer 2012]

Undergraduate

• Patrick Hulin [Spring-Summer 2012]
• Scott Kovach [Fall 2011]
• Pranjal Vachaspati [Fall 2011]
• Edward Z. Yang [Fall 2011-Spring 2012]