People

Joining

I (Prof. Nada Amin) am happy to brainstorm around shared interests.

Harvard undergraduates: I am happy to supervise research projects (CS91r, HCRP, KURE) or theses.

Prospective PhD Students: Please apply to SEAS and mention me in your application.

Current Researchers (PhD students, postdocs, faculty): I welcome collaboration and co-supervision opportunities.

Members at large: I am happy to engage as time permits.

Members

• Nada Amin (Principal Investigator)
• Will Byrd (Associate)
• Matthew Retchin (SEAS Fellow since Spring 2024; PhD Student since July 2024)
• Raffi Sanna (PhD Student since Summer 2023)
• Cameron Wong (PhD Student since Fall 2022)
• Anastasiya Kravchuk-Kirilyuk (PhD Student since Fall 2020)
• Tyler Holloway (PhD Student co-advised since Spring 2023)
• Joey Velez-Ginorio (Visiting PhD Student since Fall 2019)
• Dennis Du (Undergraduate Researcher since Fall 2024)
• Melissa Wu (Undergraduate Researcher since Fall 2024)
• Jack Madden (Undergraduate Researcher for Summer 2024)
• Jake Ginesin (Undergraduate Researcher for Summer 2024)
• Michel Arab (Undergraduate Researcher for Summer 2024)
• Rhea Karty (Undergraduate Researcher for Summer 2024)
• Katherine Liu (Undergraduate Researcher since Summer 2024)
• Joao Henrique Santos (Undergraduate Researcher since Summer 2024)
• Iñaki Arango (Undergraduate Researcher since Spring 2024)
• Ayush Noori (Undergraduate Researcher since Spring 2024)
• Sabrina Hu (Undergraduate Researcher since Spring 2024)
• Teodor Malchev (Undergraduate Researcher since Spring 2024)
• Leonard Tang (Undergraduate Researcher since Fall 2023)
• Rakesh Nori (Undergraduate Researcher in 2023)
• Gerson Personnat (Undergraduate Researcher for Fall 2023)
• Tarun Prasad (Undergraduate Researcher in Fall 2023 and Spring 2024)
• Sibi Raja (Undergraduate Researcher since Fall 2023)
• Hanna Wosenu (Undergraduate researcher since Fall 2023)
• Navya Ramakrishnan (Undergraduate Researcher since Summer 2023)
• Pranav Ramesh (Undergraduate Researcher for Summer 2023)
• Linden Schrage (Undergraduate Researcher for Summer 2023)
• Julie Steele (Undergraduate Researcher for Summer 2023)
• Daniel Sun-Friedman (Undergraduate Researcher for Summer 2023)
• Peter Chon (Undergraduate Researcher since Spring 2023)
• Jonas Iskander (Undergraduate Researcher for Spring 2023)
• Chloe Loughridge (Undergraduate Researcher since Spring 2023, Fall 2023 and Spring 2024)
• Will Dey (Undergraduate Researcher for 2022 – 2023)
• Ye Joo Han (Undergraduate Researcher for 2022 – 2023)
• Nibrass Fathi (Undergraduate Researcher for Summer 2022)
• Nicholas DeSanctis (Undergraduate Researcher for Summer 2022)
• Simon Henniger (Undergraduate Researcher for Summer 2022, and Spring & Summer 2024)
• Rachna Gupta (Undergraduate Researcher for Spring 2022)
• Lavanya Singh (Undergraduate Researcher for 2021 – 2022)
• Michael Kielstra (Undergraduate Researcher for 2021 – 2022)
• Matthew Shabet (Undergraduate Researcher for Fall 2021 and Spring 2022)
• Helena Abney-McPeek (Undergraduate Researcher for Summer 2021 and Spring 2022)
• Leo Fried (Undergraduate Researcher for Summer 2021)
• Laura Zharmukhametova (Undergraduate Researcher for Fall 2020 and Spring 2021)
• Marissa Zheng (Undergraduate Researcher for Summer 2020, Fall 2020 and Spring 2021)
• Yizhou Zhang (Postdoc for 2019 – 2020)
• Michael Buch (PhD Student for 2019 – 2020)
• Apoorv Jain (Visiting Undergraduate Researcher for Summer 2020)
• Kat Zhang (Undergraduate Researcher for Summer 2020)
• Teddy Liu (Undergraduate Researcher for 2019 – 2020)
• Pratap Singh (Undergraduate Researcher for 2019 – 2020)
• Garrett Tanzer (Undergraduate Researcher for Spring 2020)
• Alex Wendland (Undergraduate Researcher for Spring 2020)

Some Past Supervised Projects

at Harvard

• Chloe Loughridge
  DafnyBench
• Tarun Prasad
  “Guided Proof Search Using Large Language Models and Lemma Extraction in Coq”
• Leonard Tang (co-supervised with HT Kung)
  “Automated and Flexible Stress-Testing for the Robustification of Large Language Model Systems”
• Peter Chon (co-supervised with Dimi Racordon)
  “Oxidize: A Step-Debugger for Static Semantics”
• Will Dey
  “QuTiE: Universal, Declarative, and Differentiable Physics Simulation”
• Ye Joo Han (co-supervised with Gennaro Chierchia)
  “Interpreting Language with Continuation-Based Semantics”
• Lavanya Singh (co-supervised with William Cochran)
  “Automated Kantian Ethics”
  Hoopes Prize Award for bes undergraduate thesis
• Matthew Shabet
  “An explanatory analysis of reaction-diffusion systems”
• Joey Velez-Ginorio (MIT)
  “Compositional desires as compositional programs”
• Lavanya Singh
  “Three Implementations of the Categorical Imperative”
• Helena Abney-McPeek
  “Domain-Specific Programming Language for Representing a Process for Music Composition”
• Laura Zharmukhametova
  “microKanren with Delayed Goals”
• Marissa Zheng
  “Investigating Migraine Treatments in mediKanren”
• Laura Zharmukhametova
  “Explorations in miniKanren”
• Marissa Zheng
  “Knowledge-Based Gene Ranking”
• Marissa Zheng
  “mediKanren”
• Katherine Zhang
  “mediKanren”
• Pratap Singh
  “Dynamic Reflection”
• Teddy Liu
  “A Type System for Multidimensional Arrays”
• Garrett Tanzer
  “Programming “Programming by Example” by Example”
• Alex Wendland
  “WebAssembly as a Multi-Language Platform”

at Cambridge, UK

• Michael Buch (co-supervised with Alan Mycroft)
  “Collapsing Heterogenous Towers of Interpreters”
• Yan Han (co-supervised with Neel Krishnaswami)
  “Analyzing Music with Prefix Trees”
• Niall Engan
  “A Domain-Specific Language for Image Processing Pipelines”
• Joey Velez-Ginorio (Oxford) (co-supervised with Daniel Kroening)
  “Learning in System F”

at EPFL

• Ruben Fiszel
  “Staged meta-programming, new LMS frontend and computation graphs”
• Samuel Grütter
  “Connecting Scala to DOT”
• Fengyun Liu (co-supervised with Sandro Stucki)
  “Type-and-Effect Systems based on Capabilities”
• Fengyun Liu
  “Dependency Resolution through SAT Solvers”
• Valérian Pittet
  “Scala Music Generation”
• Samuel Grütter
  “Machine-checked typesafety proofs”
• Daniel Espino
  “Embedding Logical Frameworks in Scala”
• Samuel Grütter
  “Explorations of Type Systems”