Ilja Siergiej
Ilja Siergiej | |
|---|---|
| Urodzić się |
czerwiec 1986 Leningrad, ZSRR
|
| Alma Mater |
Uniwersytet Państwowy w Sankt Petersburgu (mgr) KU Leuven (doktorat) |
| Nagrody | Nagroda im. Dahla-Nygaarda 2019 |
| Kariera naukowa | |
| Pola |
Informatyka Języki programowania Metody formalne |
| Instytucje |
University College London National University of Singapore Yale-NUS College |
| Praca dyplomowa | Aspekty operacyjne systemów typów (2012) |
| Strona internetowa | |
Ilya Sergey (ur. 1986) jest rosyjskim informatykiem i profesorem nadzwyczajnym w School of Computing of National University of Singapore , gdzie prowadzi laboratorium Verified Systems Engineering. Sergey prowadzi badania w zakresie projektowania i wdrażania języków programowania , weryfikacji oprogramowania , systemów rozproszonych , syntezy programów i naprawy programów. Znany jest z projektowania Scilla dla inteligentnych kontraktów. Jest autorem bezpłatnej książki online pt. Programy i dowody: mechanizacja matematyki z typami zależnymi, notatki z wykładów z ćwiczeniami , które stanowią wprowadzenie do podstawowych pojęć zmechanizowanego wnioskowania i interaktywnego dowodzenia twierdzeń za pomocą Coq .
Sergey ma wspólne spotkanie w Yale-NUS College i jest głównym projektantem języków w Zilliqa. Uzyskał tytuł magistra w 2008 roku na Państwowym Uniwersytecie w Sankt Petersburgu , a doktorat w 2012 roku na KU Leuven . Przed dołączeniem do NUS był pracownikiem naukowym ze stopniem doktora w IMDEA Software Institute oraz na wydziale University College London . Przed rozpoczęciem kariery akademickiej pracował jako programista w firmie JetBrains .
Nagrody i wyróżnienia
- Nagroda im. Dahla-Nygaarda 2019
- omawiany w artykule artefakt Scilla
- Nagroda POPL 2019 Distinguished Paper Award za artykuł Strukturalizowanie syntezy programów manipulujących stertą
- PLDI 2021 Distinguished Paper Award za artykuł Cyclic Program Synthesis
- Nagroda Yale-NUS 2021 Distinguished Researcher
Linki zewnętrzne
- Osobista strona internetowa
- Ilya Sergey w Mathematics Genealogy Project
- Ilji Siergieja indeksowane przez Google Scholar