conf.researchr.org / Anton Trunov
Anton Trunov

Registered user since Fri 3 Aug 2018

Name: Anton Trunov

Country: Russia

Affiliation: Zilliqa Research

Contributions

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