Institutional Research Information Service
UCL Logo
Please report any queries concerning the funding data grouped in the sections named "Externally Awarded" or "Internally Disbursed" (shown on the profile page) to your Research Finance Administrator. Your can find your Research Finance Administrator at https://www.ucl.ac.uk/finance/research/rs-contacts.php by entering your department
Please report any queries concerning the student data shown on the profile page to:

Email: portico-services@ucl.ac.uk

Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
 More search options
Dr David Clark
7.03 MPEB
Department of Computer Science
University College London
Dr David Clark profile picture
  • Reader in Program Analysis
  • Dept of Computer Science
  • Faculty of Engineering Science
I completed my PhD in 1996 at the Imperial College of Science, Technology and Medicine. After four years at Imperial as a Teaching Assistant and then a Research Associate I was appointed as a lecturer at the former Department of Computer Science, Kings College London. I moved to UCL as part of the CREST group in 2010.
Research Summary
The following themes occur in my research: analysis of programs and models, information flow and dependency, information theory, software flow security, testing software, semantic equivalence of software. 

My current research applies these ideas to the following areas: semantics based detection and classification of malware, information flow analysis for problems in software testing, slicing software models, the theory of flow security for interactive, nondeterministic systems.
Teaching Summary
I teach courses in functional programming using Haskell, Operating System Concepts and Language based Security. I am the Director of the Information Security MSc for the Department of Computer Science at UCL.
Academic Background
1996   Doctor of Philosophy Imperial College of Science, Technology and Medicine
1992   Master of Science Imperial College of Science, Technology and Medicine
1991   Postgraduate Diploma Polytechnic of North London
1976   Postgraduate Diploma La Trobe University
1972   Bachelor of Science La Trobe University
Some IRIS profile information is sourced from HR data as explained in our FAQ. Please report any queries concerning HR data shown on this page to hr-services@ucl.ac.uk.
University College London - Gower Street - London - WC1E 6BT Tel:+44 (0)20 7679 2000

© UCL 1999–2011

Search by