×
You are not logged in
Bluesky Profile
Ilya Sergey
Registered: 20 Nov 2024 17:32
Last post: 9 Feb 2026 14:43
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
This account allows followers on Bluesky to be notified of new posts from this account.
| ilyasergey.bsky.social PDS: splitgill.us-east.host.bsky.network 2024-11-20 17:25:26 |