Ilya Sergey

Registered user since Mon 13 Oct 2014

Name: Ilya Sergey

Bio: I am a tenure-track Associate Professor at Yale-NUS College with a joint appointment at School of Computing of National University of Singapore, where I run the VERSE research lab.

I do research in programming language design and implementation, software verification, program synthesis and repair. 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: Yale-NUS College and National University of Singapore

Personal website: http://ilyasergey.net

Twitter: https://twitter.com/ilyasergey

GitHub: https://github.com/ilyasergey

Research interests: Programming Languages, Concurrency, Static analysis, Program Verification, Program Synthesis

Contributions

POPL 2022 Workshops Co-Chair in Organizing Committee
Show activities from other conferences

Using general profile