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 materSt Petersburg State University (MSc)
KU Leuven (PhD)
Awards2019 Dahl-Nygaard Junior Prize
Scientific career
FieldsComputer science
Programming languages
Formal methods
InstitutionsUniversity College London
National University of Singapore
Yale-NUS College
ThesisOperational Aspects of Type Systems (2012)
Websiteilyasergey.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

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
  1. ^ "NUS Computing Faculty Photo Directory". Retrieved 2022-10-05.
  2. ^ "Verse: Verified Systems Engineering@US". Retrieved 2022-10-05.
  3. ^ 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.
  4. ^ "Yale NUS College: Ilya Sergey". Retrieved 2022-10-05.
  5. ^ "Zilliqa: Our Team". Retrieved 2022-10-05.
  6. ^ "OOPSLA Artifacts". Retrieved 2022-10-06.
  7. ^ The announcement of the four artifacts chosen as distinguished appear two-thirds of the way down on this web page[6]
  8. ^ 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)
  9. ^ "POPL 2019 Distinguished Paper". Retrieved 2022-10-06.
  10. ^ 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.
  11. ^ "Distinguished Papers". Retrieved 2022-10-06.
  12. ^ 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.
  13. ^ "Annual Research Recognition Awards celebrate Yale-NUS faculty achievements". Retrieved 2022-10-07.
edit