Email: rsm@ucl.ac.uk

UCL extension: 33173

Direct Line: 020 7679 3173 (non-UK: +44 20 7679 3173)

Fax: 020 7383 0557 (non-UK: +44 20 7383 0557)

Office: Room 3, Ground Floor, Henry Morley Building [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 founding member of the Applied Logic Group. I am also DIS's Departmental Tutor, and have a particular responsibility for overseeing the teaching of DIS undergraduate modules for the BSc Information Management for Business programme.

Office hours September 2009 - March 2010: Rob is usually available to see UCL students without appointment during term time on Mondays from 12:30pm to 1:30pm.