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. Ilya got his MSc at St Petersburg University and PhD at KU
Leuven. Before joining NUS, he was a postdoctoral researcher at IMDEA Software
Institute and a faculty at University College London. Prior to starting an
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 a
recipient of distinguished paper awards at POPL and PLDI, the 2019 Dahl-Nygaard
Junior Prize, Yale-NUS Distinguished Researcher award, as well as of research
awards from Google, Facebook, and Amazon.