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 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
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