See my plan file for contact information.
I am a senior research programmer in the ConCert project at Carnegie Mellon. (See my publications.)
I have worked in the Fox and Just-In-Time Lectures projects.