Ilya Sergey is an Associate Professor at the School of Computing of
National University of Singapore, where he leads the Verified Systems
Engineering lab. Ilya got his PhD in Computer Science at KU Leuven.
Before joining NUS, he was a postdoctoral researcher at IMDEA Software
Institute and a faculty at University College London. Prior to
becoming an academic, he worked as a software developer at JetBrains.

Ilya does research in programming language design and implementation,
distributed systems, software verification, and program synthesis. He
is a recipient of several distinguished paper awards at POPL and PLDI,
the 2019 Dahl-Nygaard Junior Prize, Yale-NUS Distinguished Researcher
award, and academic research awards from Google, Facebook, and Amazon.