I am a Research Scientist at the Computer Science & Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. I work on parallel and distributed systems, programming languages, and computer security—with recent focus on program analysis, transformation, and synthesis for automated parallelization, distribution, compartmentalization, and regeneration of computer programs or program fragments.