返回导师列表
SC

Supratik Chakraborty

Professor · ACM India Winter School

IIT Bombay · India
Constrained counting and sampling, and their applicationsAutomated synthesis of programs and circuitsAutomated reasoningAutomata, logic and finite model theory

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。