Anton Trunov
Stats
131
reputation
111
reached
0
answers
1
questions
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!

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges

Top tags (3)

Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1)