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.
et al., 2018, XCLAIM: Interoperability with Cryptocurrency-Backed Tokens, Cryptology Eprint Archive: Report 2018/643
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
et al., 2018, (Short Paper) A Wild Velvet Fork Appears! Inclusive Blockchain Protocol Changes in Practice., Pages:87-87