Rob Miller

Information Studies

• Research
• Publications
• Applied Logic Group
• KOARG
• Teaching
• Administration
• DIS Home Page
• DIS Intranets


Restricted access:

• DIS Departmental Tutor Admin
• INSTG018 intranet
• INSTG033 intranet
• INST2002 intranet
• Useful Links

Rob Miller

UCL extension: 33173
Email: rsm [@] ucl.ac.uk
Direct Line: 020 7679 3173 (non-UK: +44 20 7679 3173)
Fax: 020 7383 0557 (non-UK: +44 20 7383 0557)
Office: Room G19, Ground Floor, Foster Court  [map]

Address correspondence to:
Dr Rob Miller
Department of Information Studies
University College London
Gower Street
London WC1E 6BT
U.K.

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 co-director of the Knowledge Organization and Representation Group in DIS, and a founding member of the Applied Logic Group. I am also DIS's Departmental Tutor and Director of Studies.

Office hours: Rob is usually available to see UCL students without appointment during term time on Wednesdays from 12:30pm to 1:30pm.