Data Analyst Image Quantitative Analysis and Decision Science research ranges from optimisation, performance engineering and knowledge discovery to quantitative verification and security.

The work of the section has led to five best paper awards at major international conferences (Middleware, QEST, SPECTS, ICPE) .

Significant achievements of the Section include novel fluid and compositional analysis techniques with application to performance, storage and energy modelling. Their open source software (e.g. PIPE2 and JMT), has been downloaded more than 100,000 times over the past decade.

In computational optimisation the section has pioneered research in decision making in engineering, energy and finance; stochastic and robust optimisation; decision rules; robust Markov processes; optimisation algorithms for big data.

The section’s research in discovery sciences has led to the development of the tranSMART system for translational informatics that is now becoming the standard open source platform for medical research and pharmaceutical industry.

The success of this led to the €24M eTRIKS European project (Guo, PI) involving the participation of 12 major pharmaceutical companies and medical research institutions.

Impact and applications

Optimisation has many interesting uses in real life. A few examples in the case of our research are: airline planning and scheduling; finance and energy.

Click on the images below to see examples.


SchedulAir thumbnailOut of this section a spin-off company was founded, Decisal, which provides airline planning and scheduling optimization. Current aviation users report profit increase of USD 300 per flight, translating to a million per month for airlines with 20-50 aircraft. This profit increase is based on Unified Optimization of airline scheduling, a technique invented at Imperial College. With Unified Optimization models for Fleet, Network, and Crew Planning, are joined to achieve an overall optimal solution. This is an improvement over the sequential optimization method that airlines have been using until recently, where these models were considered independently of each other, despite their strong interaction.


Axioma thumbnail


PhotoResearch Interest
  Photo of Dr Giuliano Casale

 Dr Giuliano Casale

Software Performance Engineering, Performance and Reliability Modelling, Workload Measurement and Benchmarking

  Photo of Dr Anthony Field

 Dr Tony Field

Engineering for High-Performance, Virtual-time program execution (VTE), Functional programming, Individual-based models (IbMs).

  Photo of Prof Yike Guo

 Prof Yike Guo

Knowledge Discovery, Data Mining and Large-Scale Data Management.

  Photo of Prof Peter Harrison

 Prof Peter Harrison

Stochastic Performance Modelling and Algebraic Program Transformation.


  Photo of Prof Michael Huth

 Prof Michael Huth

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


  Photo of Dr Will Knottenbelt

Prof Will Knottenbelt (Deputy Head of Section)

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 control in cloud-computing environments, numerical solution of (semi-)Markov models and specification techniques for SLA specification, compliance prediction and monitoring.

  Photo of Dr Ruth Misener

 Dr Ruth Misener

Global Optimization, Optimization Software, Bioprocess Optimization

  Photo of Dr Panos Parpas

 Dr Panos Parpas

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

  Photo of Professor Berç Rustem

Prof Berc Rustem (Head of Section)

Computational Finance, Robust Optimization, Risk and Uncertainty.
  Photo of Dr Herbert Wiklicky

Dr Herbert Wiklicky

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

  Photo of Dr Wolfram Wiesemann

Dr Wolfram Wiesemann (Business School)

Development of tractable computational methods for the solution of stochastic and robust optimisation problems, as well as applications in operations management, finance and health care.

Summary of the table's contents