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 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 Rob Miller
G19
Ground Floor
Foster Court
London
WC1E 6BT
Tel:  020 7679 3173
Fax: 020 7383 0557
Appointment
  • Senior Lecturer
  • Dept of Information Studies
  • Faculty of Arts & Humanities
Biography
I am a senior lecturer in the Department of Information Studies (DIS) at University College London (UCL), where I teach topics related to computer science. I am also an honorary member of the Department of Computer Science. My research is in artificial intelligence, logic, and knowledge representation. In particular, I am interested in formal theories of and computational frameworks for reasoning about actions. I am a founding member of the Applied Logic Group. I am also DIS's Departmental Tutor and Director of Studies.

Academic Background
1995 PhD Doctor of Philosophy – Computer Science Imperial College of Science, Technology and Medicine
1988 MSc Master of Science – Computer Science Imperial College of Science, Technology and Medicine
1983 PGCE Postgraduate Certificate in Education – Mathematics Avery Hill College
1981 BA Hons Bachelor of Arts (Honours) – Mathematics University of York
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