Swarat Chaudhuri
UT Austin CS · Professor
Research focus: neurosymbolic AI · program synthesis · automated reasoning · trustworthy machine learning
保护项目 2 的预审审核：构建基于神经符号编程的拟合参数图，保护项目 0、保护项目 4、保护项目 1、保护项目 5 的科学性；引用一个可见的实验室主题、校友/就业模式、基准信号、招募/状态警告或当前项目领域，并提出一个具体的第一学期研究扩展。
Who this advisor fits / 什么情况下适合你
- Industry research or startup/translation paths appeal to you (meaningful share in public outcomes).
- Successful candidates look like PL+ML builders: formal methods depth, program synthesis, theorem proving, AI-for-code/math, and publishable neurosymbolic systems.
- 工业研究或创业/转化路径对你有吸引力（公开去向里占比不低）。
- 合格候选人应具备 PL+ML 型构建者特质：formal methods 的深度、program synthesis 定理证明、AI 对代码/数学的AI-for-code/数学能力，以及可发表神经符号系统的AI。
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.