Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI
Ilya Sergey

Registered user since Mon 13 Oct 2014

Name:Ilya Sergey

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.

Affiliation:Yale-NUS College; National University of Singapore
Personal website:http://ilyasergey.net
Research interests:Programming Languages, Concurrency, Static Analysis, Program Verification, Program Synthesis


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

PLDI 2021-profile
View general profile