Nada Amin
Harvard SEAS CS · Assistant Professor of Computer Science
Research focus: neurosymbolic AI · programming languages · metareflection · differentiable programming
保护类 4 号申请预审审核：请作为 AI/PL 申请人准备：neurosymbolic AI、证明助手、program synthesis、语义 cs、differentiable programming、DSLs 或 collaborative problem-solving agents。
Who this advisor fits / 什么情况下适合你
- You want ML tied to real data and deployable problems (signal: neurosymbolic AI · programming languages).
- Strong fit requires programming-languages depth plus AI taste: neuro-symbolic systems, proof/search, differentiable programming, semantics, DSLs, and collaborative problem-solving agents.
- 你想把 ML 接到真实数据与落地问题（当前信号：neurosymbolic AI · programming languages）。
- 强匹配需要编程语言深度与AI的直觉：神经符号系统、证明/搜索、语义cs、DSL 以及collaborative problem-solving agents。
What to watch for / 什么情况下要慎重
- You want pure theory ML with little domain data or cross-disciplinary collaboration.
- 你要的是纯理论 ML、几乎不碰领域数据或跨学科合作。
Public evidence as of 2026-06-10
These are decision-support signals compiled from public evidence (faculty pages, publications, lab sites) to help you ask better questions — not a ranking, rating, or allegation about this advisor. / 以上为基于公开信息整理的择校参考，帮助你提出更好的问题，并非排名、评分或对该导师的指控。
Ask a verified 学长学姐 / 同校 .edu 认证点评
The thing applicants say only 师兄师姐 can tell you — current & former students of this lab, verified by their school .edu. Open the full dossier to read or add a verified note.