The Stack Overflow podcast is back! Listen to an interview with our new CEO.
3,219
reputation
1
13
24

Anton Trunov

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!

50
answers
0
questions
~42k
people reached
  • Saint Petersburg, Russia
  • Member for 4 years, 1 month
  • 236 profile views
  • Last seen Sep 22 at 8:53

Top tags (61)

Score 119
Posts 13
Posts % 26
Score 92
Posts 3
Score 43
Posts 4
Score 31
Posts 4
Score 25
Posts 7
Score 20
Posts 4

Top posts (50) All Questions Answers | Votes Newest

View all questions and answers

Badges (38)

Gold

1

Rarest

Silver

13

Rarest

Bronze

24

Rarest