Ilya Sergey is an Associate Professor at the School of Computing of National
University of Singapore, where he leads the Verified Systems Engineering lab. He
also holds a joint appointment at Yale-NUS College and is a lead language
designer at Zilliqa, a Singapore FinTech start-up.

Ilya received his MSc in Mathematics from St Petersburg University and his PhD
in Computer Science from KU Leuven. He was a postdoctoral researcher at IMDEA
Software Institute and a faculty at University College London. He joined NUS in
2018, and was promoted to an Associate Professor with Tenure in 2021. Prior to
starting his academic career, he worked as a software developer at JetBrains.

Ilya does research in programming language design and implementation, software
verification, distributed systems, program synthesis and repair. He is the
recipient of the 2019 Dahl-Nygaard Junior Prize and Google Faculty Research
Award 2017. He designed and co-developed Scilla, a functional programming
language for safe smart contracts, used by Zilliqa blockchain. Ilya was an
organiser of the ICFP Programming Contest in 2019. He is a Programme Committee
Chair for ESOP'22 and APLAS'22, and a member of the steering committees for
POPL, PLDI, and ICFP.