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.



Zamyatin A, Harz D, Lind J, et al., 2018, XCLAIM: Interoperability with Cryptocurrency-Backed Tokens, Cryptology Eprint Archive: Report 2018/643

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

Zamyatin A, Harz D, Knottenbelt WJ, 2018, Issue, Trade, Redeem: Crossing Systems Bounds with Cryptocurrency-Backed Tokens., Iacr Cryptology Eprint Archive, Vol:2018, Pages:643-643


Zamyatin A, Stifter N, Judmayer A, et al., 2018, (Short Paper) A Wild Velvet Fork Appears! Inclusive Blockchain Protocol Changes in Practice., Pages:87-87

More Publications