Loading article…
イリヤ・セルゲイ | |
|---|---|
| 生まれる | 1986年6月 レニングラード、ソ連 |
| 母校 | サンクトペテルブルク国立大学（修士号） ルーヴェン・カトリック大学（博士号） |
| 受賞歴 | 2019年ダール・ナイガード・ジュニア賞 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス プログラミング言語 形式手法 |
| 機関 | ユニバーシティ・カレッジ・ロンドン シンガポール国立大学 イェールNUSカレッジ |
| 論文 | 型システムの運用面 (2012) |
| Webサイト | 翻訳元 |
イリヤ・セルゲイ（1986年生まれ）はロシアのコンピュータ科学者であり、シンガポール国立大学コンピューティング学部の准教授です。[1]彼は、検証済みシステムエンジニアリングラボを率いています。[2]セルゲイは、プログラミング言語の設計と実装、ソフトウェア検証、分散システム、プログラム合成、プログラム修復の研究を行っています。彼は、スマートコントラクト用のプログラミング言語Scillaの設計で知られています。[3]彼は、 Coqを使用した機械化された推論と対話型の定理証明の基本概念を紹介する無料オンラインブックPrograms and Proofs: Mechanizing Mathematics with Dependent Types, Lecture notes with exercisesの著者です。
セルゲイはイェール大学とNUS大学の共同職を務めており[4]、Zilliqaの主任言語設計者でもあります[5] 。 2008年にサンクトペテルブルク国立大学で修士号を取得し、2012年にルーヴェン・カトリック大学で博士号を取得しました。NUSに加わる前は、 IMDEAソフトウェア研究所で博士研究員を務め、ロンドン大学ユニバーシティ・カレッジで教鞭をとっていました。学術的なキャリアを始める前は、 JetBrainsでソフトウェア開発者として働いていました。
受賞と栄誉
- 2019年ダール・ナイガード・ジュニア賞
- 記事[3]で取り上げられた遺物[8]シッラに対してOOPSLA 2019優秀遺物賞[7]を受賞
- POPL 2019優秀論文賞[9]受賞論文「ヒープ操作プログラムの合成の構造化[10]」
- PLDI 2021優秀論文賞[11]受賞論文「Cyclic Program Synthesis」[12]
- イェール-NUS 2021優秀研究者賞[13]
参考文献
- ^ 「NUS Computing Faculty Photo Directory」。2022年10月5日閲覧。
- ^ 「Verse: Verified Systems Engineering@US」。2022年10月5日閲覧。
- ^ ab Sergey, Ilya; Nagaraj, Vaivaswatha; Johannsen, Jacob; Kumar, Amrit; Trunov, Anton; Hao, Ken Chan Guan (2019 年 10 月). Stephen N. Freund; Eran Yahav (編). 「Scilla によるより安全なスマート コントラクト プログラミング」. Proc. ACM プログラム. 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」. 2022年10月5日閲覧。
- ^ 「Zilliqa: Our Team」. 2022年10月5日閲覧。
- ^ “OOPSLA アーティファクト” . 2022-10-06に取得。
- ^ 優秀作品として選ばれた4つの遺物の発表は、このウェブページの3分の2ほど下に掲載されています[6]
- ^ セルゲイ、イリヤ;ヴァイヴァスワタ ナガラジ。ヨハンセン、ジェイコブ。クマール、アムリット。トルノフ、アントン。ハオ、ケン・チャン・グアン（2019）。 「ilyasergey/scilla-benchmarks: OOPSLA 2019 アーティファクト」。土井：10.5281/zenodo.3368504 。2022-10-07に取得。
{{cite journal}}:ジャーナルを引用するには|journal=(ヘルプ)が必要です - ^ 「POPL 2019 優秀論文」 。 2022年10月6日閲覧。
- ^ Polikarpova, Nadia; Sergey, Ilya (2019 年 1 月). 「ヒープ操作プログラムの合成の構造化」. Proc. ACM プログラム. Lang . ACM プログラミング言語に関する議事録. 3 (POPL). ACM : 1–30. arXiv : 1807.07022 . doi : 10.1145/3290385 . S2CID 49867437.
- ^ 「Distinguished Papers」 . 2022年10月6日閲覧。
- ^ Itzhaky, Shachar; Peleg, Hila; Polikarpova, Nadia; Rowe, Reuben NS; Sergey, Ilya (2021年6月). 「循環プログラム合成」. 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 は Yale-NUS の教員の業績を称える」2022 年 10 月 7 日閲覧。
外部リンク
- 個人ウェブサイト
- 数学系譜プロジェクトのイリヤ・セルゲイ
- Google Scholarにインデックスされた Ilya Sergey の出版物