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!