About

This is Igor Konnov’s blog about protocol specification, testing, and verification. Licensed under CC BY 4.0 . I am an independent security and formal methods researcher, having a track record in academia and industry.

Not sure your distributed protocol or smart contracts are solid? Check out my website to get expert analysis and confidence in your code.

If you want to pick up my brain for a few hours, drop me an email. After that, we can switch to a messenger of your choice (e.g., Signal, Telegram, or others) or have a call. For short consultations, I accept payments via Stripe. I also consider longer-term engagements (from weeks to months), which would require a contract. You can see my portfolio at konnov.phd. I am based in Austria (CET/CEST) and have experience working with clients from the US, UK, and EU.