the man himself
Adam Chlipala, person

"There you are right," I admitted. "Unfortunately it is a habit, a vice of mine, always to speak my mind as much as possible, as indeed Goethe did, too, in his better moments. In his chaste drawing-room Goethe would certainly never have allowed himself to use an outrageous, a genuine and unqualified expression. I sincerely beg your wife's pardon and your own. Tell her, please, that I am a schizomaniac. And now, if you will allow me, I will take my leave."

-- Harry Haller, Steppenwolf

Welcome to my personal home page. You can get in touch with me at:

E-mail: adam@chlipala.net
Jabber: adamc@hcoop.net
AOL IM: PsionV
IRC: Smerdyakov on Freenode

?

Projects
Wizard's hat I'm a long-time hacker, addicted to coaxing computers into following my suggestions. This is "hacker" in the original and correct sense of "someone obsessed with solving problems with computers." Follow that link for information on my interests, projects, and history.
Groucho Lambda I recently finished my PhD at Berkeley, and I'm currently doing a postdoc at Harvard. My research focuses on making software development more effective by increasing the productivity of programmers and increasing the confidence of end-users in the correctness of the programs that they run. Of course, this is just an excuse to use zany ideas from mathematical logic in practical tools. See my research web site for more information and standard CS research web site stuff, including all "career" stuff.
HCoop I'm the founder of this online cooperative, which uses democratic processes to manage Internet hosting services for paying members. We want to promote social responsibility and take the successes of member-run businesses to the online world. HCoop is also ideal for geeks who want lots of freedom in developing Internet services, including folks like me who can't live without their favorite esoteric programming languages.

Things I like
Book You can read my book recommendations and see what I'm reading lately.
Want to see my new horse? Someone once told me that webcomics aren't high art. I dropped a safe on him.

Other stuff