It’s an honor to announce two new members of our advisory team who are both experts in smart contracts and programming languages: Ilya Sergey and Evan Cheng.

Ilya Sergey, Assistant Professor at UCL

Ilya Sergey

Dr. Ilya Sergey is currently Assistant Professor of Computer Science at University College London (UCL) and is a distinguished researcher in the area of programming languages, program analysis, and formal verification.

He has already worked alongside members of the Zilliqa team on numerous projects, including Scilla, a new verification-friendly smart contract language that solves many of the security issues of existing smart contract programming languages. He co-authored the Scilla whitepaper alongside Amrit and Zilliqa advisor Aquinas Hobor and has appeared in the media recently with Amrit talking about the project. Check out their article from Ian Allison in the IB Times: http://www.ibtimes.co.uk/blockchain-how-write-safe-verifiable-smart-contracts-1657976