UCL  IRIS
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 http://www.ucl.ac.uk/finance/research/post_award/post_award_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
London
WC1E 6BT
Appointment
  • Reader in Program Analysis
  • Dept of Computer Science
  • Faculty of Engineering Science
Biography
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 PhD Doctor of Philosophy – Computer Science Imperial College of Science, Technology and Medicine
1992 MSc Master of Science – Computer Science Imperial College of Science, Technology and Medicine
1991 P.Grad Dip Postgraduate Diploma – Computing Polytechnic of North London
1976 P.Grad Dip Postgraduate Diploma – Education La Trobe University
1972 BSc Bachelor of Science – Pure Mathematics La Trobe University
Please report any queries concerning the data shown on this page to https://www.ucl.ac.uk/hr/helpdesk/helpdesk_web_form.php
University College London - Gower Street - London - WC1E 6BT Tel:+44 (0)20 7679 2000

© UCL 1999–2011

Search by