Misplaced Pages

Ilya Sergey

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Russian computer scientist
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

Ilya Sergey (born 1986) is a Russian computer scientist and an Associate Professor at the School of Computing at the National University of Singapore, where he leads the Verified Systems Engineering lab. 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. 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.

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

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

External links

Categories: