Ilya Sergey

Registered user since Mon 13 Oct 2014

Name:Ilya Sergey

I am a tenured Associate Professor at National University of Singapore and Yale-NUS College. I do research in programming language design and implementation, software verification, distributed systems, program synthesis and repair. I am the recipient of the AITO Dahl-Nygaard Junior Prize 2019. I designed and co-developed Scilla, a programming language for safe smart contracts, used by Zilliqa. I organised the ICFP Programming Contest 2019.

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:National University of Singapore
Personal website:
Research interests:Programming Languages, Concurrency, Static Analysis, Program Verification, Program Synthesis


POPL 2022 Workshops Co-Chair in Organizing Committee
Co-chair in Tutorial Evaluation Committee within the TutorialFest-track
Panel 2: the future of concurrency and parallelism
PLMW 2022 Invited Speaker in Invited speakers within the PLMW 2022-track
Automatically Synthesising Programs that We Can Trust
Show activities from other conferences

POPL 2022-profile
View general profile