From 2010-2015 David Kelk worked in the Software Quality Research Lab under the direction of Dr. Jeremy Bradbury and Dr. Mark Green. In December 2014, David successfully defended his PhD thesis titled “CORE: A Framework for the Automatic Repair of Concurrency Bugs” and he has continued to work on the ARC research project.

research interests: model checking, domain specific modelling, concurrency, genetic algorithms, programming languages, software quality, testing.