Back to advisors
SC
Supratik Chakraborty
Professor · ACM India Winter School
IIT Bombay · IndiaConstrained counting and sampling, and their applicationsAutomated synthesis of programs and circuitsAutomated reasoningAutomata, logic and finite model theory
Data verified 9/6/2026Source