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