Who's Who of AI
Swarat Chaudhuri
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
No recent on-topic activity harvested.