SPLASH 2025 (series) / Ilya Sergey
![Ilya Sergey](https://2025.splashcon.org/getProfileImage/ilyasergey/b2941c89-4843-4194-852a-81c8a30814fa/small.jpg?1711468077000)
Registered user since Mon 13 Oct 2014
Name:Ilya Sergey
Bio:
I am a tenured Associate Professor at National University of Singapore. I do research in programming language design and implementation, software verification, distributed systems, and program synthesis.
Before moving to Singapore, I was a faculty at University College London in 2015-2018. Prior to that, I was a postdoc at IMDEA Software Institute. I hold a PhD in Computer Science from KU Leuven, and an MSc in mathematics from St Petersburg University. Before joining academia I worked as a software engineer at JetBrains.
Country:Singapore
Affiliation:National University of Singapore
Personal website: http://ilyasergey.net
X (Twitter): https://x.com/ilyasergey
GitHub: https://github.com/ilyasergey
Research interests:Programming Languages, Concurrency, Static Analysis, Program Verification, Program Synthesis
Contributions
2025
Using general profile