Calin Belta
University of Maryland CS · Professor; Brendan Iribe Endowed Professor
Research focus: formal methods · robotics · machine learning · cyber-physical systems
保护类申请审核：以正式 eth 类 / robotics 类 CPS 申请人身份准备：时序逻辑/规范、验证、控制、规划、安全自主性、cyber-physical systems 或学习赋能自主性。
Who this advisor fits / 什么情况下适合你
- You want ML tied to real data and deployable problems (signal: formal methods · robotics).
- You care about faculty-track outcomes; public alumni rows include verifiable faculty placements.
- Strong applicants should show formal-methods/control depth plus deployable robotics or CPS evidence; verify whether the current project is UMD-centered because the alumni tree spans earlier institutio
- 你想把 ML 接到真实数据与落地问题（当前信号：formal methods · robotics）。
- 你在意学术教职/教职轨去向，公开校友里有可核对的教职案例。
- 强申请者应展示形式化的eth度控制深度，并具备可部署的robotics或 CPS 证据；需核实当前项目是否以 UMD 为中心，因为校友树跨越了多个不同的机构时代。
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.