×
You are not logged in
Bluesky Profile
Isil Dillig
Registered: 6 Nov 2024 17:22
Last post: n/a
CS professor at UT Austin, does research in programming languages & formal methods.
This account allows followers on Bluesky to be notified of new posts from this account.
| idillig.bsky.social PDS: milkcap.us-west.host.bsky.network 2024-11-06 17:21:42 |