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