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

    Personal details

    Dr Krysia Broda Emeritus Professor

    +44 (0)20 7594 8426

    Location

    378, Huxley Building

    Research interests

    Logic Programming, Theorem Proving, Labelled Deductive Systems, (Teleo) Reactive Agents, Neural-Symbolic Integration.

  • Prof. Keith Clark

    Personal details

    Prof. Keith Clark Emeritus Professor

    +44 (0)20 7594 8284

    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

    Personal details

    Mr Jim Cunningham Emeritus Reader

    +44 (0)20 7594 8284

    Location

    450, Huxley Building

    Research interests

    Practical applications of symbolic reasoning processes.

  • Prof. John Darlington

    Personal details

    Prof. John Darlington Emeritus Professor

    +44 (0)20 7594 8361

    Location

    213, William Penney Laboratory

    Research interests

    Head of the  London e-Science Centre  and Social Computing Group

  • Prof. Susan Eisenbach

    Personal details

    Prof. Susan Eisenbach Emeritus Professor

    +44 (0)20 7594 8264

    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 Analysis

    +44 (0)20 7594 8317

    Location

    373, Huxley Building

    Research interests

    Probabilistic inference, Biomedical Data Analysis.

  • Prof. Ian Hodkinson

    Personal details

    Prof. Ian Hodkinson Emeritus Professor

    +44 (0)20 7594 8219

    Location

    361, Huxley Building

    Research interests

    Algebraic Logic and Modal and Temporal Logic.

  • Prof. Robert Kowalski

    Personal details

    Prof. Robert Kowalski Emeritus Professor

    +44 (0)20 7594 8284

    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

    Personal details

    Prof. Jeff Kramer Emeritus Professor of Distributed Computing

    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

    Personal details

    Prof. Jeff Magee Emeritus Professor

    +44 (0)20 7594 8601

    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

    Personal details

    Prof. Berc Rustem Emeritus Professor

    +44 (0)20 7594 8345

    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

    Personal details

    Prof. Sergot Marek Emeritus Professor

    +44 (0)20 7594 8218

    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