Thomas Arts co-founder and CTO of Quviq has an academic background with a PhD in theoretical computer science. Directly after his PhD, Thomas started at Ericsson's computer Science Lab on verification tools for Erlang. After a short return to academia as professor at Chalmers, he is now fully devoted to amazing testing tools.
Quviq is the company that productified QuickCheck, a tool that automatically generates tests. The tool is written in Erlang, but can be used to test systems written in a variety of languages. Among other successes, it is heavily used within the telecom and automotive industry, for example for testing 5G base stations and AUTOSAR standard software.