Ilya Sergey
id:
ilya-sergey-240-6429527
title:
Ilya Sergey
text:
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 Proofs: Mechanizing
brand slug:
wiki
category slug:
encyclopedia
description:
Russian computer scientist
original url:
https://en.wikipedia.org/wiki/Ilya_Sergey
date created:
date modified:
2024-01-03T01:22:35Z
main entity:
{"identifier":"Q115518118","url":"https://www.wikidata.org/entity/Q115518118"}
image:
fields total:
13
integrity:
14