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 is continuing to work on the ARC research project.

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