Used to treat water, now trying to treat code

Smart contract engineer, technical lead, and researcher focused on secure on-chain systems.

I currently lead smart contract architecture and development for DEUSS, an EU-funded digital bond issuance platform, and serve as Head of Blockchain at the Czech Technical University in Prague, where I build research and education initiatives, mentor engineers, and lead student projects.

My work sits at the intersection of protocol engineering, smart contract security, and applied research. I enjoy taking complex systems from early architecture through implementation, testing, audit, and production deployment.

What I’m working on

• Designing and building production Solidity systems for regulated digital assets and on-chain financial infrastructure
• Leading smart contract security reviews, invariant design, and extensive fuzzing campaigns
• Researching smart contract security, particularly fuzzing and LLM-assisted program analysis
• Building the Blockchain Lab at CTU and mentoring students working on Ethereum, ZK, security, and protocol engineering
• Expanding my systems-programming toolkit with Rust

Areas of interest

Solidity · EVM · Foundry · Smart contract security · Fuzzing · DeFi · Tokenization · Protocol architecture · Rust · Applied research

A note on my GitHub activity

A significant part of my recent engineering work lives in private or organization-owned repositories. The public projects below include older learning projects, experiments, and selected open-source work. I am gradually publishing more of my current research and tooling here.

Background

Before moving into software and blockchain engineering, I worked on water and energy infrastructure. That background still shapes how I approach engineering: understand the whole system, make risks explicit, test assumptions, and build for real-world operation—not only for the happy path.