Nada Amin

Nada Amin is an Assistant Professor of Computer Science at the Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS). She leads the metareflection lab, focusing on neuro-symbolic programming, program synthesis, and meta-programming techniques. Her research combines programming languages (PL) with AI, particularly leveraging LLMs for verified program and proof synthesis.

Education: PhD from EPFL (2016), MEng and BS from MIT (2008). Previous roles include University Lecturer at the University of Cambridge (2017–2019) and software engineering at Google (2009–2011). Awards include Distinguished Paper Awards at PLDI 2023 and an Outstanding Paper Award at NeurIPS’24.

Research interests span neuro-symbolic systems, meta-programming, probabilistic reasoning, and precision medicine applications. Current projects include VerMCTS, Persimmon, and collapsing towers for secure compilation. She teaches courses like CS152 (Programming Languages) and CS252R (Advanced PL Seminars).

Labs/Teams: Harvard PL Group; Metareflection Lab. Collaborates widely on PL+AI, drug repurposing for medicine, and multi-stage relational programming. Supervises ~40 researchers including PhD students, postdocs, and undergraduates.