Christian J. Bell
Postdoctoral Associate
Programming Languages & Verification
supervised by:
Adam Chlipala
email: cj
[at]
csail
[dot]
mit
[dot]
edu
office:
32-G822
Home
Contact
Publications
CV
Projects
About
Contact
C.J. Bell
The Stata Center, Building 32-G822
32 Vassar St.
Cambridge MA, USA 02138