Armando Solar-Lezama — Computer Science & Eng. faculty at MIT. Research: Programming Languages and Software Engineering, Systems and Networking.