Staff are displayed alphabetically by last name. Click on their names to access professional web pages and contact them using the provided information.
Emeritus Staff
-
Dr Krysia Broda
Location
378, Huxley Building
Research interests
Logic Programming, Theorem Proving, Labelled Deductive Systems, (Teleo) Reactive Agents, Neural-Symbolic Integration.
-
Prof. Keith Clark
Location
450, Huxley Building
Research interests
Multi-agent systems and multi-threaded agent architectures, cognitive robotic, multi-threaded symbolic programming languages, teleo-reactive procedures and plans, ambient intelligence.
-
Mr Jim Cunningham
Location
450, Huxley Building
Research interests
Practical applications of symbolic reasoning processes.
-
Prof. John Darlington
Location
213, William Penney Laboratory
Research interests
Head of the London e-Science Centre and Social Computing Group
-
Prof. Susan Eisenbach
Location
569, Huxley Building
Research interests
Programming Languages, Concurrency and Testing.
-
Prof. Duncan F Gillies
Personal details
Prof. Duncan F Gillies Professor of Biomedical Data AnalysisSend email+44 (0)20 7594 8317
Location
373, Huxley Building
Research interests
Probabilistic inference, Biomedical Data Analysis.
-
Prof. Ian Hodkinson
Location
361, Huxley Building
Research interests
Algebraic Logic and Modal and Temporal Logic.
-
Prof. Robert Kowalski
Location
450, Huxley Building
Research interests
Logic Programming, Abductive Logic Programming, Event Calculus and Deductive Databases, Multi-Agent Systems, Reactive Systems, Normative Reasoning.
-
Prof. Jeff Kramer
Research interests
His research is primarily concerned with software engineering, especially as applied to distributed computing. In addition, his research interests concern behaviour analysis, the use of models in requirements elaboration, architectural approaches to self organising adaptive software systems and digital humanism.
-
Prof. Jeff Magee
Location
2.06, Faculty Building
Research interests
His research is concerned with the software engineering of self-adaptive and distributed systems, including design methods, analysis techniques, operating systems, languages and program support environments for these systems.
-
Prof. Berc Rustem
Location
361, Huxley Building
Research interests
Algorithms and applications of linear, nonlinear & integer programming, Algorithms for games & min-max, Optimization of stochastic systems, Decision making & engineering design under uncertainty, Applications to defence, engineering, economics and finance, Multi-objective optimisation, Robust design & risk management, Numerical methods & algorithms for computer aided design
-
Prof. Sergot Marek
Location
446, Huxley Building
Research interests
Logics for Knowledge Representation and Reasoning: Logics of Action and Agency, Temporal/Normative/Legal Reasoning, Formal Theories of Organisations.
Please mail all corrections and queries to doc-webmaster@imperial.ac.uk