Ilya Sergey

Last updated
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

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 Rocq (previously known as Coq).

Contents

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

References

  1. "NUS Computing Faculty Photo Directory" . Retrieved 2022-10-05.
  2. "Verse: Verified Systems Engineering@US" . Retrieved 2022-10-05.
  3. 1 2 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.