| http://dbpedia.org/ontology/abstract
|
Ilya Sergey (born 1986) is a Russian compu … 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.rked as a software developer at JetBrains.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Formal_methods +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Programming_language +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Saint_Petersburg_State_University +
, http://dbpedia.org/resource/KU_Leuven +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/Dahl%E2%80%93Nygaard_Prize +
|
| http://dbpedia.org/ontology/institution
|
http://dbpedia.org/resource/Yale-NUS_College +
, http://dbpedia.org/resource/National_University_of_Singapore +
, http://dbpedia.org/resource/University_College_London +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://ilyasergey.net +
, 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 +
|
| http://dbpedia.org/ontology/wikiPageID
|
71944476
|
| http://dbpedia.org/ontology/wikiPageLength
|
7032
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1116904736
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/KU_Leuven +
, http://dbpedia.org/resource/JetBrains +
, http://dbpedia.org/resource/Category:Yale-NUS_College_faculty +
, http://dbpedia.org/resource/Coq +
, http://dbpedia.org/resource/Smart_contract +
, http://dbpedia.org/resource/Dahl%E2%80%93Nygaard_Prize +
, http://dbpedia.org/resource/Programming_language +
, http://dbpedia.org/resource/Programming_language_design +
, http://dbpedia.org/resource/Yale-NUS_College +
, http://dbpedia.org/resource/Category:KU_Leuven_alumni +
, http://dbpedia.org/resource/National_University_of_Singapore +
, http://dbpedia.org/resource/Category:1986_births +
, http://dbpedia.org/resource/Category:Russian_computer_scientists +
, http://dbpedia.org/resource/Category:Saint_Petersburg_State_University_alumni +
, http://dbpedia.org/resource/Program_synthesis +
, http://dbpedia.org/resource/Software_verification +
, http://dbpedia.org/resource/Saint_Petersburg_State_University +
, http://dbpedia.org/resource/Category:Academics_of_University_College_London +
, http://dbpedia.org/resource/Distributed_systems +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/IMDEA_Software_Institute +
, http://dbpedia.org/resource/Formal_methods +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Category:Engineers_from_Saint_Petersburg +
, http://dbpedia.org/resource/University_College_London +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/KU_Leuven +
, http://dbpedia.org/resource/Saint_Petersburg_State_University +
|
| http://dbpedia.org/property/awards
|
2019
|
| http://dbpedia.org/property/birthPlace
|
Leningrad, USSR
|
| http://dbpedia.org/property/fields
|
http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Formal_methods +
, Programming languages
|
| http://dbpedia.org/property/name
|
Ilya Sergey
|
| http://dbpedia.org/property/thesisTitle
|
Operational Aspects of Type Systems
|
| http://dbpedia.org/property/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 +
|
| http://dbpedia.org/property/thesisYear
|
2012
|
| http://dbpedia.org/property/website
|
https://ilyasergey.net +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Refn +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:MathGenealogy +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Google_scholar_id +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Birth_date +
, http://dbpedia.org/resource/Template:Infobox_scientist +
|
| http://dbpedia.org/property/workplaces
|
http://dbpedia.org/resource/University_College_London +
, http://dbpedia.org/resource/Yale-NUS_College +
, http://dbpedia.org/resource/National_University_of_Singapore +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Academics_of_University_College_London +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Saint_Petersburg_State_University_alumni +
, http://dbpedia.org/resource/Category:Yale-NUS_College_faculty +
, http://dbpedia.org/resource/Category:Russian_computer_scientists +
, http://dbpedia.org/resource/Category:Engineers_from_Saint_Petersburg +
, http://dbpedia.org/resource/Category:1986_births +
, http://dbpedia.org/resource/Category:KU_Leuven_alumni +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Ilya_Sergey?oldid=1116904736&ns=0 +
|
| http://xmlns.com/foaf/0.1/homepage
|
https://ilyasergey.net +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Ilya_Sergey +
|
| http://xmlns.com/foaf/0.1/name
|
Ilya Sergey
|
| owl:sameAs |
http://dbpedia.org/resource/Ilya_Sergey +
, https://global.dbpedia.org/id/Gmr9y +
, http://www.wikidata.org/entity/Q115518118 +
|
| rdf:type |
http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/ontology/Scientist +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://www.wikidata.org/entity/Q901 +
, http://www.wikidata.org/entity/Q5 +
, http://www.wikidata.org/entity/Q729 +
, http://schema.org/Person +
, http://dbpedia.org/ontology/Species +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/ontology/Animal +
, http://www.wikidata.org/entity/Q19088 +
|
| rdfs:comment |
Ilya Sergey (born 1986) is a Russian compu … 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.and interactive theorem proving using Coq.
|
| rdfs:label |
Ilya Sergey
|
