Anton Trunov's user avatar
Anton Trunov's user avatar
Anton Trunov's user avatar
Anton Trunov
  • Member for 8 years, 6 months
  • Last seen more than 1 year ago
Stats
3,469
reputation
83k
reached
50
answers
0
questions
Loading…
About

As a research engineer at Zilliqa, I used to work on the Scilla language and formal verification tooling around it. Scilla stands for Smart Contract Intermediate-Level Language.

I used to participate in the development of the Fine-grained Concurrent Separation Logic framework (FCSL). You can find a part of the library on GitHub -- fcsl-pcm.

My general interests lie in the field of formal methods, program verification, interactive theorem proving, dependent types, and functional programming. I just love proving theorems using computers!

1
gold badge
18
silver badges
26
bronze badges
126
Score
13
Posts
26
Posts %
95
Score
3
Posts
6
Posts %
44
Score
4
Posts
8
Posts %
32
Score
4
Posts
8
Posts %
30
Score
7
Posts
14
Posts %
24
Score
6
Posts
12
Posts %
Top posts
View all questions and answers