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