Ilya Sergey
Ilya Sergey | |
|---|---|
| Рожденный | июнь 1986 г. Ленинград, СССР |
| Альма-матер | Санкт-Петербургский государственный университет (магистр) КУ Левен (доктор философии) |
| Награды | Молодежная премия Даля-Нюгаарда 2019 г. |
| Научная карьера | |
| Поля | Информатика Языки программирования Формальные методы |
| Учреждения | Университетский колледж Лондона Национальный университет Сингапура Йельский колледж NUS |
| Диссертация | Эксплуатационные аспекты типовых систем (2012) |
| Веб-сайт | Ильясергей |
Илья Сергей (1986 г.р.) — российский учёный-компьютерщик, доцент Школы вычислительной техники Национального университета Сингапура . [1] где он возглавляет лабораторию проверенного системного проектирования. [2] Сергей занимается исследованиями в области проектирования и реализации языков программирования , верификации программного обеспечения , распределенных систем , синтеза программ и восстановления программ. Он известен разработкой языка программирования Scilla для смарт-контрактов. [3] Он является автором бесплатной онлайн-книги « Программы и доказательства: механизация математики с зависимыми типами, конспекты лекций с упражнениями» , которые знакомят с основными понятиями механизированных рассуждений и интерактивного доказательства теорем с использованием Coq .
Сергей проводит совместную работу в колледже Йель-НУС [4] и является ведущим языковым дизайнером в Zilliqa. [5] Он получил степень магистра в 2008 году в Санкт-Петербургском государственном университете и степень доктора философии в 2012 году в Левенском университете . До прихода в NUS он работал научным сотрудником в Институте программного обеспечения IMDEA и на факультете Университетского колледжа Лондона . До начала академической карьеры он работал разработчиком программного обеспечения в JetBrains .
Награды и почести
[ редактировать ]- Молодежная премия Даля-Нюгаарда 2019 г.
- Премия OOPSLA 2019 за выдающийся артефакт [7] для артефакта [8] Шилла обсуждается в статье [3]
- Премия POPL 2019 за выдающуюся работу [9] за статью « Структурирование синтеза программ, манипулирующих кучей» [10]
- Премия PLDI 2021 за выдающуюся работу [11] за статью «Синтез циклических программ» [12]
- Премия Йельского университета-НУС 2021 за выдающийся исследователь [13]
Ссылки
[ редактировать ]- ^ «Фотокаталог вычислительного факультета НУС» . Проверено 5 октября 2022 г.
- ^ «Стих: Проверенная системная инженерия@США» . Проверено 5 октября 2022 г.
- ^ Jump up to: а б Сергей, Илья; Нагарадж, Вайвасватха; Йохансен, Джейкоб; Кумар, Амрит; Трунов Антон; Хао, Кен Чан Гуань (октябрь 2019 г.). Стивен Н. Фройнд; Эран Яхав (ред.). «Безопасное программирование смарт-контрактов с помощью Scilla» . Учеб. Программа АКМ. Ланг . Труды ACM по языкам программирования (PACMPL). 3 (ООПСЛА). Ассоциация вычислительной техники : 1–30. дои : 10.1145/3360611 . S2CID 203577198 .
- ^ «Йельский колледж NUS: Илья Сергей» . Проверено 5 октября 2022 г.
- ^ «Зиллика: Наша команда» . Проверено 5 октября 2022 г.
- ^ «Артефакты ООПСЛА» . Проверено 6 октября 2022 г.
- ^ Объявление о четырех артефактах, выбранных как выдающиеся, размещено на двух третях вниз на этой веб-странице. [6]
- ^ Сергей, Илья; Вайвасватха Нагарадж; Йохансен, Джейкоб; Кумар, Амрит; Трунов Антон; Хао, Кен Чан Гуань (2019). "ilyasergey/scilla-benchmarks: Артефакт OOPSLA 2019" . дои : 10.5281/zenodo.3368504 . Проверено 07 октября 2022 г.
{{cite journal}}: Для цитирования журнала требуется|journal=( помощь ) - ^ «Выдающийся доклад POPL 2019» . Проверено 6 октября 2022 г.
- ^ Поликарпова, Надя; Сергей, Илья (январь 2019). «Структурирование синтеза программ, манипулирующих кучей» . Учеб. Программа АКМ. Ланг . Труды ACM по языкам программирования. 3 (ПОПЛ). АСМ : 1–30. arXiv : 1807.07022 . дои : 10.1145/3290385 . S2CID 49867437 .
- ^ «Выдающиеся статьи» . Проверено 6 октября 2022 г.
- ^ Ицхаки, Шачар; Пелег, Хила; Поликарпова, Надя; Роу, Рубен Н.С.; Сергей, Илья (июнь 2021). «Циклический программный синтез». PLDI 2021: Материалы 42-й конференции ACM SIGPLAN по проектированию и реализации языков программирования . Том. 2. АКМ . стр. 994–969. дои : 10.1145/3453483.3454087 .
- ^ «Ежегодные награды за признание исследований отмечают достижения преподавателей Йельского университета и Национального университета США» . Проверено 07 октября 2022 г.