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), where she leads the metareflection lab. Her research combines programming languages (PL) and artificial intelligence (AI), focusing on neuro-symbolic systems that are correct by construction, with applications in program synthesis, verification, and precision medicine.

• Harvard John A. Paulson School of Engineering and Applied Sciences (2019–Present)
• University Lecturer in Programming Languages at University of Cambridge (2017–2019)
• Doctoral and postdoctoral work at EPFL (2011–2017)

Her research spans three core themes:

• Safer: Type systems and formal verification (Coq, Dafny, Frama-C)
• Faster: Multi-stage programming and interpreter collapsing techniques
• Easier: Neuro-symbolic AI for program manipulation and biological reasoning

Key publications include:

• 2025: Modular Imperative with LLMs (LMPL), Multi-stage Relational Programming (PLDI)
• 2024: Persimmon for extensible variant types (OOPSLA)
• 2023: LURK for recursive knowledge (ICFP), Dolorem language growth pattern (ECOOP)

Scientific honors include:

• Teaching Assistant Team Award (EPFL, 2015)
• Michigan Cambridge Research Initiative Grant (2018)
• ArsDigita Prize (1999)

She has served on program committees for GPCE (co-chair), ICFP, PLDI, and organized workshops in metaprogramming and logic programming. Her teaching portfolio includes graduate courses on neurosymbolic programming, program synthesis, and advanced PL theory.