Imperial College London


Faculty of EngineeringDepartment of Computing

Professor of Applied Quantitative Analysis



+44 (0)20 7594 8331w.knottenbelt Website




E363ACE ExtensionSouth Kensington Campus





My broad area of research interest is the application of mathematical modelling techniques to real life systems. Specific areas of interest include, but are not limited to, 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.



Wu H, Knottenbelt W, Wolter K, 2019, An efficient application partitioning algorithm in mobile environments, Ieee Transactions on Parallel and Distributed Systems, ISSN:1045-9219

Stewart I, Ilie D, Zamyatin A, et al., 2018, Committing to quantum resistance: a slow defence for Bitcoin against a fast quantum computing attack, Royal Society Open Science, Vol:5, ISSN:2054-5703

Harz D, Knottenbelt WJ, 2018, Towards Safer Smart Contracts: A Survey of Languages and Verification Methods., Corr, Vol:abs/1809.09805


Werner S, Pritz P, Zamyatin A, et al., Uncle Traps: Harvesting Rewards in a Queue-based EthereumMining Pool, 12th EAI International Conference on Performance Evaluation Methodologies and Tools

More Publications