@swarat.bsky.social on Bluesky

JavaScript RequiredThis is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is. Learn more about Bluesky at bsky.social and atproto.com.

Profile

Swarat Chaudhuri

swarat.bsky.social

did:plc:36lud42i2bahvgfgfhvaijun

Professor of Computer Science at UT Austin. Automated Reasoning + Machine Learning + Formal Methods. Visiting Researcher at Google Deepmind, London. https://www.cs.utexas.edu/~swarat