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 |
|
dbo:academicDiscipline | |
dbo:almaMater | |
dbo:award | |
dbo:institution | |
dbo:wikiPageExternalLink | |
dbo:wikiPageID |
|
dbo:wikiPageLength |
|
dbo:wikiPageRevisionID |
|
dbo:wikiPageWikiLink |
|
dbp:almaMater | |
dbp:awards |
|
dbp:birthPlace |
|
dbp:fields |
|
dbp:name |
|
dbp:thesisTitle |
|
dbp:thesisUrl | |
dbp:thesisYear |
|
dbp:website | |
dbp:wikiPageUsesTemplate | |
dbp:workplaces | |
dcterms:subject | |
rdf:type | |
rdfs:comment |
|
rdfs:label |
|
owl:sameAs | |
prov:wasDerivedFrom | |
foaf:homepage | |
foaf:isPrimaryTopicOf | |
foaf:name |
|
is dbo:wikiPageWikiLink of | |
is foaf:primaryTopic of |