Project Members

• Kathleen Fisher (Tufts)
• Nate Foster (Cornell)
• John Launchbury (Galois)
• David Walker (Princeton)
• Kenny Zhu (Shanghai Jiao Tong)