Ilya_Sergey

Ilya Sergey

Ilya Sergey

Russian computer scientist

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.

Quick Facts Born, Alma mater ...

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]

References

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

This article uses material from the Wikipedia article Ilya_Sergey, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.