|Languages >> Programming|
John Hughes: Testing with QuickCheck
|Language:||English||Quality:||High||Has Audio:||true||Source:||Other||Media:||Flash||Posted On:||09 Mar 09|
John Hughes is co-founder and CEO of Quviq AB, and the originator of Quviq QuickCheck. Schooled at a rural comprehensive in Wales, John studied at Oxford and Cambridge Universities, to be appointed Professor of Computing Science at Glasgow University at the tender age of 27. John developed a passion for functional programming early in his career, and has maintained a distinguished record in the field ever since. Among his many research papers, one of the first, Why Functional Programming Matters, is a classic of the genre.and is still, 24 years later, the third hit for "functional programming" on Google Scholar! John has been invited to speak at prestigious venues such as the ACM's ICFP and POPL conferences and Oxford University's termly Strachey Lecture. John helped found IFIP's international Working Group on functional programming in 1988, and chaired it for six years in the nineties, for which he received IFIP's Silver Core award. He was deeply involved with the design of Haskell from the start, and co-chaired the committee that defined the current language standard.
Moving to a Chair at Chalmers University in Gothenburg in 1992, John began working on QuickCheck around the turn of the millennium. 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 and the foundation of Quviq AB in early 2006. In 2007, John was honoured for this work at the Erlang User Conference, with the award of the Erlang User of the Year title. Today, he divides his time between Quviq, and teaching and research at Chalmers University.
Tags: wiger.net, FP Seminar, FP, Functional Programming, presentation, Seminar, FP2008, Erlang, Programming, QuickCheck, Testing, FP Testing, [SUGGEST A TAG]