Ilya Sergey

@ilyasergey.bsky.social

581 Followers · 238 Following

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