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.
Security has become increasingly important and more in focus than ever. We have been following the development in in the industry and governments across the world. And we strive to be proactive not only by adopting the latest and greatest security algorithms, providing SBOM’s and running standardized commercial tools (that will focus not only on relevant issues), we leverage property based testing to find the bugs that Erlang programmers are more likely to suffer from, and fix them early avoiding as many future vulnerabilities as possible.
Talk objectives: