Christian J. Bell

• Postdoctoral Associate
• Programming Languages & Verification
• supervised by: Adam Chlipala
• email: cj[at]csail[dot]mit[dot]edu
• office: 32-G822