Gregory Malecha
Area of Focus: Programming Language Technology
Gregory plans to study how extensible program logics can be used to reason about low-level, concurrent software. Since he believes that programming language technology has the potential to drastically improve the efficiency and the trustworthiness of modern software, Gregory thinks the right abstractions can activate the high-level reasoning of programs while retaining the ability to optimize them. He presently is a PhD candidate at the Harvard School of Engineering and Applied Sciences.

Michelle Mazurek
Area of Focus: Computer Security
Michelle is researching about ways to let users of social networks share the right amount of data with the right people, while doing so accurately and quickly. She hopes that by combining “provable security and user-focused design”, users can easily set comprehensive, human-understandable rules to control access to certain types of data.