Hans Svensson has over 20 years of experience working with Erlang and the Erlang/OTP ecosystem. He holds a PhD in Computer Science, with a dissertation on Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving. For the past 15 years, he has worked at Quviq AB as a QuickCheck expert, helping teams apply property-based testing to real-world systems. His work spans a wide range of industries including telecom, automotive, cryptography, databases, cloud storage, and power grid systems. Hans focuses on using rigorous testing techniques to find subtle, security-relevant bugs early—before they become vulnerabilities in production systems.