Ilya Sergey is a tenure-track Associate Professor at Yale-NUS College (Singapore). Previously, he was an Assistant Professor at University College London (UCL) and a postdoctoral researcher at IMDEA Software Institute (Spain). Dr Sergey has obtained his PhD at KU Leuven (Belgium) in 2012. Prior to joining academia, he spent a part of his career in industry, working at JetBrains Inc.
His main interests are in programming languages, formal verification, program analysis and synthesis. In recent years, Dr Sergey has been mostly focusing on developing sound and scalable methodologies for building provably correct concurrent and distributed systems (with applications to blockchains and smart contracts). He also designed and co-developed Scilla, a programming language for safe and secure smart contracts. His earlier work was advancing the state of the art in static analysis for higher-order languages and programming language design.