@ilyasergey.bsky.social

Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net

@herrdreyer.bsky.social

Get used to disappointment.

@bsky.app

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