Y9dbcmue1o30icozo0jo

John Hughes

John Hughes is co-founder and CEO of Quviq AB, and the originator of Quviq QuickCheck, which is written in Erlang. He was also deeply involved with the design of Haskell from the start, and co-chaired the committee that defined the current languages.

John Hughes is co-founder and CEO of Quviq AB, and the originator of Quviq QuickCheck. From 2002-2005 he led a major research project in software verification, funded by the Swedish Strategic Research Foundation. This led to the development of Quviq QuickCheck in Erlang. Before John's involvement with Erlang, he was deeply involved with the design of Haskell from the start, and co-chaired the committee that defined the current language standard. At the Erlang eXchange, John will talk about Quick Check for Erlang.

Talks I've Given