Anton Trunov
Stats
3,379
reputation
61k
reached
50
answers
0
questions
Loading…
About

I'm a research engineer at Zilliqa, working on the Scilla language. Scilla stands for Smart Contract Intermediate-Level Language. My main job is on the Coq side of the project.

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
16
silver badges
24
bronze badges

Top tags (61)

Score 123
Posts 13
Posts % 26
Score 93
Posts 3
Score 43
Posts 4
Score 31
Posts 4
Score 29
Posts 7
Score 22
Posts 6

Top posts (50)

View all questions and answers