Anton Trunov -

Registered user since Fri 3 Aug 2018

Name:Anton Trunov

Country:Russia

Affiliation:Zilliqa Research

Contributions

CoqPL 2019	Committee Member in Program Committee within the CoqPL-track
SPLASH 2019	Author of Safer Smart Contract Programming with Scilla within the OOPSLA Artifacts-track Author of Safer Smart Contract Programming with Scilla within the OOPSLA-track