Adam Chlipala

http://adam.chlipala.net/ [email protected]

MIT Cambridge, MA Researcher in tools and platforms to help do niftier things with software and hardware