| Ilya Sergey | |
| Birth Date: | June 1986 |
| Birth Place: | Leningrad, USSR |
| Fields: | Computer science Programming languages Formal methods |
| Workplaces: | University College London National University of Singapore Yale-NUS College |
| Alma Mater: | St Petersburg State University (MSc) KU Leuven (PhD) |
| Thesis Title: | Operational Aspects of Type Systems |
| Thesis Url: | https://kuleuven.limo.libis.be/discovery/fulldisplay?docid=lirias1655948&context=SearchWebhook&vid=32KUL_KUL:Lirias&search_scope=lirias_profile&tab=LIRIAS&adaptor=SearchWebhook&lang=en |
| Thesis Year: | 2012 |
| Doctoral Advisors: | )--> |
| Awards: | 2019 Dahl-Nygaard Junior Prize |
Ilya Sergey (born 1986) is a Russian computer scientist and an Associate Professor at the School of Computing at the National University of Singapore,[1] where he leads the Verified Systems Engineering lab.[2] Sergey does research in programming language design and implementation, software verification, distributed systems, program synthesis, and program repair. He is known for designing the Scilla programming language for smart contracts.[3] He is the author of the free online book Programs and Proofs: Mechanizing Mathematics with Dependent Types, Lecture notes with exercises, which introduce the basic concepts of mechanized reasoning and interactive theorem proving using Coq.
Sergey holds a joint appointment at Yale-NUS College[4] and is a lead language designer at Zilliqa.[5] He received his MSc in 2008 at Saint Petersburg State University and his PhD in 2012 at KU Leuven. Before joining NUS, he was a postdoctoral researcher at IMDEA Software Institute and on the faculty of University College London. Prior to starting an academic career, he worked as a software developer at JetBrains.