Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
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

PLDI 2021 Practical Smart Contract Sharding with Ownership and Commutativity Analysis
Committee Member in Virtualization Committee
Cyclic Program Synthesis
Show activities from other conferences

Using general profile