Ilya Sergey
Ilya Sergey dating history
Who
are they
dating right now?
According to our records, Ilya Sergey is possibly single.
Relationships
We have no records of past relationships for Ilya Sergey.
About
Ilya Sergey is a member of the following lists: 1986 births, Saint Petersburg State University alumni and Academics of University College London.
Contribute
Who is Ilya Sergey dating? Ilya Sergey partner, spouse list. Help us build our profile of Ilya Sergey!
Login
to add information, pictures and relationships, join in discussions and get credit for your contributions.
Details
| Birthday |
30th November, 1985
|
| Birthplace |
Leningrad, USSR
|
| Official Websites |
https://ilyasergey.net
|
Ilya Sergey (born 1986) is a Russian computer scientist and an associate professor at the School of Computing at the 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 introduce the basic concepts of mechanized reasoning and interactive theorem proving using Coq.
