Dr Mike Stannett

Senior Lecturer

Telephone: +44 (0) 114 222 1841

Member of the Verification research group
Personal website: staffwww.dcs.shef.ac.uk/people/M.Stannett/

ORCID | Google scholar

Selected publications | All publications

Dr Mike Stannett



Mike Stannett is a theoretical computer scientist attached to the Verification and Testing Research Group in the Department of Computer Science at Sheffield University, and has particular expertise in physics and computation, natural computing, heterotic computing and logical approaches to relativity theory. He regularly referees articles for journals covering a wide range of topics, and has organised numerous international workshops. In addition to a PhD in Pure Mathematics, he holds a postgraduate degree in business administration, and has previously worked both as a freelance Web designer and in Macroeconomic Forecasting.

If you are interested in doing a PhD under Dr Stannett`s supervision, please see the departmental and University pages for information concerning our standard application procedures and funding requirements. Dr Stannett is particularly interested in supervising students who can demonstrate an existing, and possibly quirky, interest in unconventional approaches to computational theory.

Other professional activities and achievements

  • International Steering Committee for Physics and Computation
  • Fellow of the Royal Geographical Society
  • Member of the Royal Economic Society
  • Member of the London Mathematical Society
  • Visiting Fellow (2012), Isaac Newton Institute
  • Professional organisations: CiE, EATCS, AISB, BSPS.


Dr Stannett is interested in many areas of research, including Heterotic Computing, Unconventional Computing, Physics and Computation, Hypercomputation Theory, and First-Order Relativity Theories. He also has strong research links with members of the Algebraic Logic group at the Alfréd Rényi Institute of Mathematics (Hungarian Academy of Sciences, Budapest).



  • Interdisciplinary Workshop of Hypercomputation, EPSRC, 06/2006 to 12/2006, £7,646, as PI
  • Hypercomputation Research Network, EPSRC, 01/2008 to 01/2011, £61,074, as PI
  • Machine Verification of First-Order Relativity Theories, ROYAL SOCIETY, 01/2012 to 12/2013, £11,960, as PI
  • Developing New Robust 'What-if' Models for 'Bitcoin Use' and assessing its Risk, RCUK (JOINT RESEARCH COUNCILS), 08/2014 to 11/2014, £294, as PI
  • Research in Pairs, LONDON MATHEMATICAL SOCIETY, 04/2016 to 04/2016, £810, as PI