Emeritus staff
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
Research interests
Logic Programming, Theorem Proving, Labelled Deductive Systems, (Teleo) Reactive Agents, Neural-Symbolic Integration.
Location
378, Huxley Building
-
Prof. Keith Clark
Research interests
Multi-agent systems and multi-threaded agent architectures, cognitive robotic, multi-threaded symbolic programming languages, teleo-reactive procedures and plans, ambient intelligence.
Location
450, Huxley Building
-
Mr Jim Cunningham
Research interests
Practical applications of symbolic reasoning processes.
Location
450, Huxley Building
-
Prof. John Darlington
Research interests
Head of the London e-Science Centre and Social Computing Group
Location
213, William Penney Laboratory
-
Prof. Susan Eisenbach
Research interests
Programming Languages, Concurrency and Testing.
Location
569, Huxley Building
-
Prof. Duncan F Gillies
Personal details
Prof. Duncan F Gillies Professor of Biomedical Data AnalysisSend email+44 (0)20 7594 8317
Research interests
Probabilistic inference, Biomedical Data Analysis.
Location
373, Huxley Building
-
Prof. Ian Hodkinson
Research interests
Algebraic Logic and Modal and Temporal Logic.
Location
361, Huxley Building
-
Prof. Robert Kowalski
Research interests
Logic Programming, Abductive Logic Programming, Event Calculus and Deductive Databases, Multi-Agent Systems, Reactive Systems, Normative Reasoning.
Location
450, Huxley Building
-
Prof. Jeff Magee
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.
Location
2.06, Faculty Building
-
Prof. Berc Rustem
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
Location
361, Huxley Building
-
Prof. Sergot Marek
Research interests
Logics for Knowledge Representation and Reasoning: Logics of Action and Agency, Temporal/Normative/Legal Reasoning, Formal Theories of Organisations.
Location
446, Huxley Building
Please mail all corrections and queries to doc-webmaster@imperial.ac.uk