Ilya Sergey
Ilya Sergey researches formal methods for blockchain systems, including mechanically proving safety properties of consensus networks. Sergey’s work includes Scilla, a smart contract language designed to support mathematical verification of contract behavior.