Hey 👋

• 🚂 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.