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 received his PhD from KU Leuven. Before joining NUS, he was a postdoc at IMDEA Software Institute and a faculty at University College London. Ilya's research spans programming language design, software verification, and distributed systems. He is a Program Committee Co-Chair for OOPSLA'27, was General Chair for ICFP 2025, and organised the ICFP Programming Contest in 2019. He is the recipient of several POPL/PLDI distinguished paper awards, the 2019 Dahl-Nygaard Junior Prize, and research awards from Google, Meta, and Amazon.