Marijn Heule
CMU SCS
Research focus: SAT solving · automated reasoning · formal verification · combinatorial search
手动审核申请准备：从 CS 关联的首页开始；若该页面已过期，则替换为当前 CMU/首页源，该源明确指出教授及其研究领域。
Who this advisor fits / 什么情况下适合你
- Applicants should anchor fit in SAT solving and use source-visible advising guidance or explicit alumni rows as the preparation map.
- 申请人应锚定在 SAT solving 中，并依据可见的源指引或显式的校友行作为准备地图。
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.