Universitaire

Ilya Sergey

Russian computer scientist

Vie: 1986 – présent
Né(e) le: 1986

Ilya Sergey 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