Nada Amin

Nada Amin is an Assistant Professor of Computer Science at Harvard University's John A. Paulson School of Engineering and Applied Sciences (SEAS). She previously served as a University Lecturer in Programming Languages at the University of Cambridge and was a key contributor to the Scala programming language at EPFL during her PhD. Her research at the Metareflection Lab focuses on neurosymbolic systems that integrate programming languages (PL) and artificial intelligence (AI) to enable correct-by-construction software in domains like program synthesis and precision medicine.

Her work emphasizes three pillars:

• Safer systems via formal verification and type theory;
• Faster development through generative programming and multi-stage interpreters;
• Easier access by bridging neural (learnable) and symbolic (interpretable) representations.

She has contributed to the POPL, ICFP, PLDI, and OOPSLA conferences, with recent work on Dafny proof assistants and Persimmon's polymorphism techniques.

Scientific awards include:

• Fellow of Jesus College (Cambridge, 2017-2019);
• Michigan Cambridge Research Initiative Grant (2018);
• Teaching Assistant Team Award (EPFL, 2015);
• 6.170 Letter of Commendation (MIT, 2005);
• ArsDigita Prize Finalist (1999).

She has advised committees at ICFP, PLDI, POPL, and SPLASH, and taught courses like Neurosymbolic Programming (2025) and Advanced Semantics of Programming Languages (2022). Her lab explores language design through projects like Persimmon, LURK, and DafnyBench.