Ilya Sergey (born 1986) is a Russian computer scientist and an Associate Professor at the School of Computing of 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 provides an introduction to the basic concepts of mechanized reasoning and interactive theorem proving using Coq.
| Property |
Value |
| dbo:abstract |
Ilya Sergey (born 1986) is a Russian computer scientist and an Associate Professor at the School of Computing of 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 provides an introduction to 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. (en) |
| dbo:academicDiscipline |
dbr:Computer_science dbr:Formal_methods dbr:Programming_language |
| dbo:almaMater |
dbr:Saint_Petersburg_State_University dbr:KU_Leuven |
| dbo:award |
dbr:Dahl–Nygaard_Prize |
| dbo:institution |
dbr:University_College_London dbr:National_University_of_Singapore dbr:Yale-NUS_College |
| dbo:wikiPageExternalLink |
https://kuleuven.limo.libis.be/discovery/fulldisplay%3Fdocid=lirias1655948&context=SearchWebhook&vid=32KUL_KUL:Lirias&search_scope=lirias_profile&tab=LIRIAS&adaptor=SearchWebhook&lang=en https://ilyasergey.net |
| dbo:wikiPageID |
71944476 (xsd:integer) |
| dbo:wikiPageLength |
7032 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1116904736 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Program_synthesis dbr:Dahl–Nygaard_Prize dbr:University_College_London dbc:Living_people dbr:Coq dbr:Saint_Petersburg_State_University dbr:Computer_science dbc:Academics_of_University_College_London dbc:1986_births dbr:Formal_methods dbc:KU_Leuven_alumni dbc:Saint_Petersburg_State_University_alumni dbc:Engineers_from_Saint_Petersburg dbc:Russian_computer_scientists dbr:JetBrains dbr:KU_Leuven dbc:Yale-NUS_College_faculty dbr:IMDEA_Software_Institute dbr:National_University_of_Singapore dbr:Yale-NUS_College dbr:Software_verification dbr:Programming_language dbr:Distributed_systems dbr:Smart_contract dbr:Programming_language_design |
| dbp:almaMater |
dbr:Saint_Petersburg_State_University dbr:KU_Leuven |
| dbp:awards |
2019 (xsd:integer) |
| dbp:birthPlace |
Leningrad, USSR (en) |
| dbp:fields |
dbr:Computer_science dbr:Formal_methods Programming languages (en) |
| dbp:name |
Ilya Sergey (en) |
| dbp:thesisTitle |
Operational Aspects of Type Systems (en) |
| dbp:thesisUrl |
https://kuleuven.limo.libis.be/discovery/fulldisplay%3Fdocid=lirias1655948&context=SearchWebhook&vid=32KUL_KUL:Lirias&search_scope=lirias_profile&tab=LIRIAS&adaptor=SearchWebhook&lang=en |
| dbp:thesisYear |
2012 (xsd:integer) |
| dbp:website |
https://ilyasergey.net |
| dbp:wikiPageUsesTemplate |
dbt:Authority_control dbt:Birth_date dbt:Reflist dbt:Refn dbt:Short_description dbt:MathGenealogy dbt:Infobox_scientist dbt:Google_scholar_id |
| dbp:workplaces |
dbr:University_College_London dbr:National_University_of_Singapore dbr:Yale-NUS_College |
| dcterms:subject |
dbc:Living_people dbc:Academics_of_University_College_London dbc:1986_births dbc:KU_Leuven_alumni dbc:Saint_Petersburg_State_University_alumni dbc:Engineers_from_Saint_Petersburg dbc:Russian_computer_scientists dbc:Yale-NUS_College_faculty |
| rdf:type |
owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person wikidata:Q901 |
| rdfs:comment |
Ilya Sergey (born 1986) is a Russian computer scientist and an Associate Professor at the School of Computing of 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 provides an introduction to the basic concepts of mechanized reasoning and interactive theorem proving using Coq. (en) |
| rdfs:label |
Ilya Sergey (en) |
| owl:sameAs |
wikidata:Ilya Sergey https://global.dbpedia.org/id/Gmr9y |
| prov:wasDerivedFrom |
wikipedia-en:Ilya_Sergey?oldid=1116904736&ns=0 |
| foaf:homepage |
https://ilyasergey.net |
| foaf:isPrimaryTopicOf |
wikipedia-en:Ilya_Sergey |
| foaf:name |
Ilya Sergey (en) |
| is dbo:wikiPageWikiLink of |
dbr:Dahl–Nygaard_Prize dbr:List_of_programming_language_researchers |
| is foaf:primaryTopic of |
wikipedia-en:Ilya_Sergey |