Research within the Theory and Algorithms theme ranges from blue-sky, foundational work in algorithm design and analysis, computation on continuous data types, theory of concurrency, computational psychiatry and information theory to applied contributions in computational optimisation, quantum computing, semantics of programming languages, stochastic modelling.

Our Theory and Algorithms research theme has broad implications for decision making in engineering, energy, finance, healthcare, and security. We apply our research interests to real-life systems via long-term collaborations, e.g. with biomedical, chemical, civil engineers and psychotherapists.

TA

Academics

Academics

  • Dr Mahdi Cheraghchi

    MC

    Personal details

    Dr Mahdi Cheraghchi Lecturer

    +44 (0)20 7594 9043

    Research interests

    Communication and computing, randomness and computing, information and coding theory, algorithms and complexity theory, Boolean functional analysis, foundations of cryptography.

    Location

    374, Huxley Building

  • Prof. Abbas Edalat

    AE

    Personal details

    Prof. Abbas Edalat Professor of Computer Science and Mathematics

    +44 (0)20 7594 8245

    Research interests

    Exact Computation in Differential and Integral Calculus, ODE's, Computational Geometry, Computation in Logical Form,  Optimisation Theory, Game Theory, Computational Psychiatry, Attachment Based Psychotherapy.

    Location

    420, Huxley Building

  • Prof. Chris Hankin

    CH

    Personal details

    Prof. Chris Hankin Director, Institute for Security Science & Technology

    +44 (0)20 7594 7619

    Research interests

    Security, Program Analysis and  Programming Language Theory.

    Location

    Sherfield Building

  • Prof. Ian Hodkinson

    IH

    Personal details

    Prof. Ian Hodkinson Professor of Logic and Computation

    +44 (0)20 7594 8219

    Research interests

    Algebraic Logic and Modal and Temporal Logic.

    Location

    426, Huxley Building

  • Prof. Michael Huth

    MH

    Personal details

    Prof. Michael Huth Professor of Computer Science

    +44 (0)20 7594 8355

    Research interests

    Trusted Computing, Access Control, Formal Methods, Insider Threats, Model-Driven Security, Risk Analysis.

    Location

    431, Huxley Building

  • Prof. William Knottenbelt

    WK

    Personal details

    Prof. William Knottenbelt Professor of Applied Quantitative Analysis

    +44 (0)20 7594 8331

    Research interests

    Application of mathematical modelling techniques to real life systems. modelling and optimisation in parallel queueing systems (especially split-merge and  fork-join  systems), modelling of storage systems, stochastic modelling of sport, stochastic modelling of healthcare systems, resource allocation and contro...

    Location

    371, Huxley Building

  • Dr Ruth Misener

    RM

    Personal details

    Dr Ruth Misener Senior Lecturer in Computational Optimisation

    +44 (0)20 7594 8315

    Research interests

    Global Optimization, Mixed-Integer Nonlinear Optimization, Optimization Software, Bioprocess Optimization.

    Location

    379, Huxley Building

  • Dr Panos Parpas

    PP

    Personal details

    Dr Panos Parpas Senior Lecturer

    +44 (0)20 7594 8366

    Research interests

    Development and analysis of algorithms for large scale optimisation problems. Exploiting the structure of large scale models arising in applications.

    Location

    357, Huxley Building

  • Dr Iain Phillips

    IP

    Personal details

    Dr Iain Phillips Senior Lecturer

    +44 (0)20 7594 8265

    Research interests

    Theory of concurrency, reversible computation.

    Location

    427, Huxley Building

  • Prof. Berc Rustem

    BR

    Personal details

    Prof. Berc Rustem Emeritus Professor

    +44 (0)20 7594 8345

    Location

    361, Huxley Building

  • Dr Steffen van Bakel

    SB

    Personal details

    Dr Steffen van Bakel Senior Lecturer

    +44 (0)20 7594 8263

    Research interests

    Functional Programming:Lambda Calculus, Term Rewriting Systems, Term Graph Rewriting Systems, Mobile Ambients, Systems Biology, Type systems: Sequent Calculus for Classical Logic, Curry Howard Isomorphism,Intersection type assignment, Polymorphic type assignment, Decidable systems, Type theory and theorem provers, Sema...

    Location

    425, Huxley Building

  • Dr Herbert Wiklicky

    HW

    Personal details

    Dr Herbert Wiklicky Reader in Computer Science

    +44 (0)20 7594 8206

    Research interests

    Program Analysis, semantics of programming languages, Probabilistic Models, Program Synthesis, semantics in Computer Security and Quantum Computation.

    Location

    424, Huxley Building