Moshe Y. Vardi
Rice University — Computer Science · University Professor
Research focus: automated reasoning · logic in computer science · verification · knowledge representation
保护项目 4 的预审审核：构建与计算社会影响的契合度图谱，围绕 automated reasoning、logic in computer science、verification、knowledge representation、multi-agent systems、AI foundations 展开；请提及一项近期论文或项目，并说明您计划在第一个学期启动的一项具体扩展。
Who this advisor fits / 什么情况下适合你
- You care about faculty-track outcomes; public alumni rows include verifiable faculty placements.
- Good CSRankings-backed Rice target, but public placement signal is sparse; verify recent PhD outcomes and active recruiting directly.
- 你在意学术教职/教职轨去向，公开校友里有可核对的教职案例。
- 好的，保护级别 1 的 Rice 目标，但公开就业信号稀疏；请核实近期 PhD 的结果以及直接进行招聘。
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.