Skip to main content

​
Writing Beyond Documentation

I also write articles on blockchain development, security, and developer experience. These pieces were published on the official IOG (Input Output Global) blog.

​
Published Articles

​
Always secure and safer than ever, thanks to next-level smart contract verification on Cardano

Collaborated with the attributed author to structure the article, address reviewer comments, and polish the final draft. Topic: Smart contract verification on Cardano Published: October 14, 2025 An exploration of how formal verification and type-safe languages make Cardano smart contracts more secure than traditional approaches. Read on IOG →

​
Democratizing security in the Cardano ecosystem: a complete development lifecycle

Topic: Complete development lifecycle for secure smart contracts Published: July 30, 2025 Security across the Cardano development lifecycle — from design through deployment — and how the ecosystem makes security accessible to all developers, not just specialists. Read on IOG →

​
Breaking down the walls: making Cardano more developer-friendly

Topic: Making Cardano more developer-friendly Published: July 3, 2025 An analysis of barriers to Cardano adoption for developers and the initiatives addressing them — tooling improvements, documentation clarity, and ecosystem support. Read on IOG →

​
What these show

These articles take technical concepts (formal verification, type systems, security auditing) and make them accessible to developers, stakeholders, and interested non-specialists.
Writing these required understanding not just specific products, but how they fit into the broader Cardano development ecosystem and the problems developers face.
These aren’t product docs — they’re strategic content that positions IOG’s approach to security and developer experience within blockchain.