I`m a research engineer at , working on the 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 (). You can find a part of the library on GitHub -- . 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! ©

I`m an undergraduate doing my final year of study in University of Westminster ©

The – is a brand new residential high rise from prestige agencies located at sarjapur predominant avenue ©

Been developing software since 2014 ©