Ilya Sergey is an Associate Professor at Yale-NUS College and School of
Computing of National University of Singapore, where he leads the Verified
Systems Engineering lab. He also serves as a lead language designer at Zilliqa,
a Singapore FinTech start-up. Before joining NUS in 2018, Ilya was a faculty at
University College London, a postdoctoral researcher at IMDEA Software
Institute, and a software developer at JetBrains. He completed his PhD at KU Leuven 
in 2012.

Ilya does research in programming language design and implementation, software
verification, 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, and will serve as a Programme Committee Chair for
ESOP'22 and APLAS'22.