- ๐ I am currently working on:
- ๐ runtime verification of Soroban smart contracts with Solarkraft
- ๐ช undisclosed project 1
- ๐ฌ undisclosed project 2
- ๐ธ web3 security contests
- ๐ญ
improving usability of specification languages with Quint - ๐
improving Apalache for finding bugs in smart contracts, dApps, and Cosmos protocols
- ๐ฆ You can find how to reach me on my GH page.
- ๐ก You can ask me about Quint, TLA+, and protocol specification.
- ๐ Pronouns: he/him/his.
konnov / konnov Goto Github PK
View Code? Open in Web Editor NEWThe special Github profile repository