Adam Chlipala is currently a postdoc in computer science at Harvard University. His research interests are in applications of advanced type systems, including mechanized theorem-proving and the design and implementation of functional programming languages. He finished his PhD at Berkeley in 2007, with a thesis on verifying compilers and program analysis tools in the Coq computer proof assistant. At Harvard, he is continuing work on formal verification in Coq, with a focus on low-level code and compilation. He also has a longstanding interest in tool support for web programming, and he is now developing a commercial web site using his Ur/Web language for safe metaprogramming of AJAX applications.
For information on exhibition and sponsorship opportunities at the conference, contact Sharon Cordesse at email@example.com
Download the OSCON Sponsor/Exhibitor Prospectus
For media-related inquiries, contact Maureen Jennings at firstname.lastname@example.org
To stay abreast of conference news and to receive email notification when registration opens, please sign up for the OSCON Newsletter (login required)
Have an idea for OSCON to share? email@example.com
View a complete list of OSCON contacts