About
Dr David Clark is a Reader in Program Analysis at University College London (UCL), Department of Computer Science. Previously, he worked at Kings College London and Imperial College London. He earned his PhD in 1996 from Imperial College London, following an MSc (1992) and two postgraduate diplomas (1976, 1991).
- Education:
- Doctor of Philosophy, Imperial College London (1996)
- Master of Science, Imperial College London (1992)
- Postgraduate Diploma, Polytechnic of North London (1991)
- Postgraduate Diploma, La Trobe University (1976)
- Bachelor of Science, La Trobe University (1972)
His research focuses on program analysis, information flow, software flow security, and testing. He applies information theory to software testing and studies semantic equivalence, robustness, and hyperproperty repair. His work often involves genetic improvement, fuzzing, and quantum software analysis.
Recent publications address EM side-channel analysis in fuzzing, information flow quantification, cache optimization via evolution, and quantum output classification. He received the Best Software Science Paper award at ETAPS 2009.
- Scientific Awards:
- Best Software Science Paper, 12th European Joint Conferences on Theory and Practice of Software (ETAPS), 2009
He teaches functional programming (Haskell) and software testing, while supervising final-year undergraduate research projects. Professional activities include serving as a licentiate examiner (Chalmers University), PhD examiner (Queen Mary, Imperial College), and reviewer for EPSRC and the Research Council of Norway.
