• Sign in
  • Sign up
conf.researchr.org / Anton Trunov
  • POPL 2019 profile
  • SPLASH 2019 profile
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

Share
xWed 18 May 11:03
using conf.researchr.org (v1.55.6)
Support page
Sign Up