SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Ilya Sergey

Registered user since Mon 13 Oct 2014

Name:Ilya Sergey
Bio:

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.

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

Contributions

APLAS 2022 Session Chair of Keynote (part of APLAS)
Program Chair in Program Committee
SPLASH 2022 Session Chair of Synthesis III (part of OOPSLA)
Certifying the Synthesis of Heap-Manipulating Programs
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
APLAS PC Chair in Organizing Committee
Show activities from other conferences

SPLASH 2022-profile
View general profile