Theory and Algorithms
The exponential growth in computing power and its impact on society is well-known (“Moore’s law”). Less recognised, but still essential is the progress in theory and algorithms in the same time span. In fact, advances in computing power have been matched or even exceeded by comparable advancements in theory and algorithms. Take for example linear programming algorithms, the technology behind most of the decision-making software, from investment decisions in pensions funds, to designing airline schedules and the algorithm behind our day-to-day power grid operations.
Theoretical advances in linear programming account for speedups that are three times more those due to new hardware and programming languages. The advances in the solution of sparse systems of linear equations, which arise for example in computer animations, are just as impressive. Advances in processing power are becoming harder to come by and improvements due to theory and algorithms will become even more significant.
The research within the Theory and Algorithms theme reflects the broad applicability and impact of theory and algorithms to society. Our members are addressing fundamental and applied problems across four different groups and three centres. We are interested in algorithm design and analysis, computation on continuous data types, concurrency, optimisation algorithms, information theory, blockchain and cryptocurrencies, quantum computing, stochastic modelling and computational psychiatry. We apply our research interests to real-life systems via long-term collaborations, e.g. with biomedical, chemical, civil engineers and psychotherapists.
Research groups and centres
Academics
Academics
-
Prof. Michael Huth
Personal details
Prof. Michael Huth Professor of Computer Science and Head of DepartmentSend email+44 (0)20 7594 8355
Research interests
Trusted Computing, Access Control, Formal Methods, Insider Threats, Model-Driven Security, Risk Analysis.
Location
364, ACE Extension
-
Dr Mario Berta
Research interests
My research area is quantum information theory, with a focus on quantum Shannon theory and quantum cryptography. I am interested in connections to mathematical physics, most importantly through the fields of matrix analysis and (non-commutative) optimization theory.
Location
444A, Huxley Building
-
Dr Mahdi Cheraghchi
Research interests
Communication and computing, randomness and computing, information and coding theory, algorithms and complexity theory, Boolean functional analysis, foundations of cryptography.
Location
353, ACE Extension
-
Prof. Abbas Edalat
Personal details
Prof. Abbas Edalat Professor of Computer Science and MathematicsSend email+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
-
Dr Arthur H C Gervais
Research interests
My research focuses on the security, privacy and performance of blockchain technology. Because this technology is still in its infancy, I largely focus on understanding and quantifying the tension points and tradeoffs in terms of security, privacy and performance, with the goal to build a mainstream, scalable, open, an...
Location
354, ACE Extension
-
Prof. Chris Hankin
Personal details
Prof. Chris Hankin Director, Institute for Security Science & TechnologySend email+44 (0)20 7594 7619
Research interests
Security, Program Analysis and Programming Language Theory.
Location
Sherfield Building
-
Prof. Peter G Harrison
Personal details
Prof. Peter G Harrison Professor of Mathematical ModellingSend email+44 (0)20 7594 8363
Research interests
He has researched into stochastic performance modelling and algebraic program transformation for some thirty five years, visiting IBM Research Centers for two spells. He has written two books, had over 200 research papers published and chaired the Joint Sigmetrics/Performance conference at Imperial in 2012. The r...
Location
353, Huxley Building
-
Prof. Ian Hodkinson
Personal details
Prof. Ian Hodkinson Professor of Logic and ComputationSend email+44 (0)20 7594 8219
Research interests
Algebraic Logic and Modal and Temporal Logic.
Location
361, Huxley Building
-
Prof. William Knottenbelt
Personal details
Prof. William Knottenbelt Professor of Applied Quantitative AnalysisSend email+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
363, ACE Extension
-
Dr Ruth Misener
Personal details
Dr Ruth Misener Professor in Computational OptimisationSend email+44 (0)20 7594 8315
Research interests
Global Optimization, Mixed-Integer Nonlinear Optimization, Optimization Software, Bioprocess Optimization.
Location
379, Huxley Building
-
Dr Panos Parpas
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
Research interests
Theory of concurrency, reversible computation.
Location
427, Huxley 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 & r...
Location
361, Huxley Building
-
Dr Steffen van Bakel
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
Research interests
Program Analysis, semantics of programming languages, Probabilistic Models, Program Synthesis, semantics in Computer Security and Quantum Computation.
Location
424, Huxley Building