@swarat.bsky.social

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

@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app