People

John Hughes, CEO

John is a well-known researcher in functional programming, the author of the classic paper Why Functional Programming Matters, and a contributor to the design of Haskell. He has been a Professor since 1985, at the University of Glasgow and Chalmers University in Gothenburg. He invented QuickCheck together with Koen Claessen in 2000, recently earning an ACM SIGPLAN award for the work. Since then John has focussed more and more on software testing, co-founding Quviq in 2006.

Thomas Arts, CTO

Thomas was a researcher at Ericsson, and then a professor at Chalmers University, before co-founding Quviq. As a researcher in Ericsson’s Computer Science Laboratory he worked on software verification tools for Erlang. In his academic career his research focussed on the application of state-of-the-art research results in an industrial setting. As the CTO of Quviq, Thomas continues to explore cool technical solutions for innovative products.

Ulf Norell, QuickCheck Expert

Ulf obtained his PhD from Chalmers in 2007, making his name as the creator of the latest version of the dependently-typed programming language Agda. Ulf is a long-time Haskell and Erlang expert, and joined Quviq in 2008. He is the brains behind Quviq’s C-testing interface, and the QuickCheck infrastructure underlying our AUTOSAR testing.

Hans Svensson, QuickCheck Expert

Hans completed his PhD at Chalmers in 2008, on distributed leader election. Hans verified the gen_leader leader election implementation in Erlang, pinning down several subtle bugs in the process. He has focussed on testing concurrent Erlang systems with QuickCheck and the PULSE randomizing scheduler. He has been working for Quviq part time since 2008 and full time since 2012.

Alex Gerdes, QuickCheck Expert

During his PhD Alex created Ask-Elle, an online funcional programming tutor for Haskell. His programming skills are now used to strengthen QuviQ’s QuickCheck team. He joined QuviQ in 2012, and focusses on developing QuickCheck models for automotive applications, and on using QuickCheck for testing web services.

Tobias Gedell, QuickCheck Expert

Tobias has a PhD in Computer Science from Chalmers.