anton-trunov

anton-trunov

I’m a research engineer at Zilliqa, working on the Scilla language and its formalization.