Experimental browser for the Atmosphere
{ "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.graph.follow/3lktfs4jp4v2j", "cid": "bafyreigln2s6tlfwn25czv3wtq2xdbpk4vagnwnwvtp6d2xaobxnpwwhhq", "value": { "$type": "app.bsky.graph.follow", "subject": "did:plc:36lud42i2bahvgfgfhvaijun", "createdAt": "2025-03-20T19:13:50.794Z" } }
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