Adam Chlipala — Computer Science & Eng. faculty at MIT. Research: Programming Languages and Software Engineering, Security and Cryptography, Systems and.