Emily First
Rutgers University CS (New Brunswick) · Assistant Professor of Computer Science
Research focus: AI for theorem proving · formal and quantitative reasoning · machine learning for proof assistants · software engineering
保护项目 6 的预审审核：构建以 AI for theorem proving、formal and quantitative reasoning、machine learning for proof assistants、software engineering、programming languages、human-AI interfaces for verification 为中心的拟合图谱；选择一个可见于项目、实验室主题、招募信号或角色信号之一的来源可见论文、项目、主
Who this advisor fits / 什么情况下适合你
- Use the research-fit/profile signal, then verify recent advisor-specific placements, funding model, advising cadence, and active recruiting directly.
- 请依据研究契合度与个人画像信号，并核实近期导师的具体项目安排、资助模式、指导节奏及主动招聘情况。
What to watch for / 什么情况下要慎重
- You need strong placement evidence, but public signals for this PI are still thin.
- 你需要强证据的毕业去向分布，而这位 PI 目前公开信号仍较薄。
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.