Principal Investigators at CMU

• Karl Crary
• Robert Harper
• Frank Pfenning

Principal Investigators at Penn

• Benjamin C. Pierce
• Stephanie Weirich
• Steve Zdancewic

Affiliated Faculty at CMU

• Iliano Cervesato

Student and Post-doctoral Researchers at CMU

• Henry DeYoung
• Deepak Garg
• Avijit Kumar
• Daniel K. Lee
• Dan Licata
• Romain Brenguier
• Robert J. Simmons

Student and Post-doctoral Researchers at Penn

• Aaron Bohannon
• Limin Jia
• Karl Mazurak
• Jeff Vaughan
• Luke Zarko
• Jianzhou Zhao

Alumni

• Tom Murphy
• Damien Pous
• Joey Schorr