3,209
reputation
1
12
23

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
~39k
people reached
  • Saint Petersburg, Russia
  • Member for 3 years, 9 months
  • 225 profile views
  • Last seen Jun 15 at 9:39

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 (36)

Gold

1

Rarest

Silver

12

Rarest

Bronze

23

Rarest