Adam Chlipala
, Impredicative LLC
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.
Sponsorship Opportunities
For information on exhibition and sponsorship opportunities at the conference, contact Sharon Cordesse at scordesse@oreilly.com
Download the OSCON Sponsor/Exhibitor Prospectus
Media Partner Opportunities
Download the Media & Promotional Partner Brochure (PDF) for information on trade opportunities with O'Reilly conferences or contact mediapartners@ oreilly.com
Press and Media
For media-related inquiries, contact Maureen Jennings at maureen@oreilly.com
OSCON Newsletter
To stay abreast of conference news and to receive email notification when registration opens, please sign up for the OSCON Newsletter (login required)
OSCON 2.0 Ideas
Have an idea for OSCON to share? oscon-idea@oreilly.com
Contact Us
View a complete list of OSCON contacts
O'Reilly Home | Privacy Policy | Contact Us | Sitemap | conf-webmaster@oreilly.com
© 2010, O'Reilly Media, Inc. | (707) 827-7000 / (800) 998-9938