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! ©

Hands-on architect with experience in delivering enterprise-level business-critical systems. Current knowledge of .NET, SQL, and AWS cloud technologies. Advocate and implementer of best practices for architecture, design, coding, testing, instrumentation, and deployment. Mentor with inclusive management style who fosters internal and external relationships. Problem solver, inspired by learning, adaptive to fast pace of current day and age. ©