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 | Leningrad, USSR | June , 1986
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 |
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
edit- 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]
References
edit- ^ "NUS Computing Faculty Photo Directory". Retrieved 2022-10-05.
- ^ "Verse: Verified Systems Engineering@US". Retrieved 2022-10-05.
- ^ a b Sergey, Ilya; Nagaraj, Vaivaswatha; Johannsen, Jacob; Kumar, Amrit; Trunov, Anton; Hao, Ken Chan Guan (October 2019). Stephen N. Freund; Eran Yahav (eds.). "Safer smart contract programming with Scilla". Proc. ACM Program. Lang. Proceedings of the ACM on Programming Languages (PACMPL). 3 (OOPSLA). Association for Computing Machinery: 1–30. doi:10.1145/3360611. S2CID 203577198.
- ^ "Yale NUS College: Ilya Sergey". Retrieved 2022-10-05.
- ^ "Zilliqa: Our Team". Retrieved 2022-10-05.
- ^ "OOPSLA Artifacts". Retrieved 2022-10-06.
- ^ The announcement of the four artifacts chosen as distinguished appear two-thirds of the way down on this web page[6]
- ^ Sergey, Ilya; Vaivaswatha Nagaraj; Johannsen, Jacob; Kumar, Amrit; Trunov, Anton; Hao, Ken Chan Guan (2019). "ilyasergey/scilla-benchmarks: OOPSLA 2019 Artefact". doi:10.5281/zenodo.3368504. Retrieved 2022-10-07.
{{cite journal}}
: Cite journal requires|journal=
(help) - ^ "POPL 2019 Distinguished Paper". Retrieved 2022-10-06.
- ^ Polikarpova, Nadia; Sergey, Ilya (January 2019). "Structuring the synthesis of heap-manipulating programs". Proc. ACM Program. Lang. Proceedings of the ACM on Programming Languages. 3 (POPL). ACM: 1–30. arXiv:1807.07022. doi:10.1145/3290385. S2CID 49867437.
- ^ "Distinguished Papers". Retrieved 2022-10-06.
- ^ Itzhaky, Shachar; Peleg, Hila; Polikarpova, Nadia; Rowe, Reuben N S; Sergey, Ilya (June 2021). "Cyclic program synthesis". PLDI 2021: Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation. Vol. 2. ACM. pp. 994–969. doi:10.1145/3453483.3454087.
- ^ "Annual Research Recognition Awards celebrate Yale-NUS faculty achievements". Retrieved 2022-10-07.
External links
edit- Personal website
- Ilya Sergey at the Mathematics Genealogy Project
- Ilya Sergey publications indexed by Google Scholar