Ilya Sergey

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.

Ilya Sergey
Born	(1986-06-00)June , 1986 Leningrad, USSR
Alma mater	St Petersburg State University (MSc) KU Leuven (PhD)
Awards	2019 Dahl-Nygaard Junior Prize
Scientific career
Fields	Computer science Programming languages Formal methods
Institutions	University College London National University of Singapore Yale-NUS College
Thesis	Operational Aspects of Type Systems (2012)
Website	ilyasergey.net

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.

Awards and honors

• 2019 Dahl-Nygaard Junior Prize
• OOPSLA 2019 Distinguished Artifact Award^[7] for the artifact^[8] Scilla discussed in article^[3]
• POPL 2019 Distinguished Paper Award^[9] for the paper Structuring the synthesis of heap-manipulating programs^[10]
• PLDI 2021 Distinguished Paper Award^[11] for the paper Cyclic Program Synthesis^[12]
• Yale-NUS 2021 Distinguished Researcher award^[13]