Ilya Sergey (born 1986) is a Russian computer scientist and an Associate Professor at the School of Computing of
National University of Singapore
The National University of Singapore (NUS) is a national public research university in Singapore. Founded in 1905 as the Straits Settlements and Federated Malay States Government Medical School, NUS is the oldest autonomous university in the c ...
, where he leads the Verified Systems Engineering lab. Sergey does research in
programming language design and implementation,
software verification Software verification is a discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements.
Broad scope and classification
A broad definition of verification makes it equivalent to software t ...
,
distributed systems,
program synthesis, and program repair. He is known for designing the
Scilla programming language for smart contracts.
He is the author of the free online book, ''Programs and Proofs: Mechanizing Mathematics with Dependent Types, Lecture notes with exercises'', which provides an introduction to the basic concepts of mechanized reasoning and interactive theorem proving using
Coq.
Sergey holds a joint appointment at
Yale-NUS College and is a lead language designer at Zilliqa. He received his MSc in 2008 at
Saint Petersburg State University
Saint Petersburg State University (SPBU; russian: Санкт-Петербургский государственный университет) is a public research university in Saint Petersburg, Russia. Founded in 1724 by a decree of Peter the G ...
and his PhD in 2012 at
KU Leuven. Before joining NUS, he was a postdoctoral researcher at
IMDEA Software Institute
IMDEA () is a project founded by the Madrid Regional Government, included in the ''IV Regional Plan of Scientific Research and Technological Innovation 2005-2008 (PRICIT)'', for the purpose of setting up advanced research centers and higher educati ...
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 for the artifact
Scilla discussed in article
* POPL 2019 Distinguished Paper Award for the paper ''Structuring the synthesis of heap-manipulating programs''
* PLDI 2021 Distinguished Paper Award for the paper ''Cyclic Program Synthesis''
* Yale-NUS 2021 Distinguished Researcher award
References
External links
Personal website*
*
{{DEFAULTSORT:Sergey, Ilya
1986 births
Living people
Russian computer scientists
Engineers from Saint Petersburg
Saint Petersburg State University alumni
KU Leuven alumni
Yale-NUS College faculty
Academics of University College London