Dr Mike Stannett


Department of Computer Science

Senior Lecturer

Member of the Verification research group

+44 114 222 1841

Full contact details

Dr Mike Stannett
Department of Computer Science
Regent Court (DCS)
211 Portobello
S1 4DP

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.

Research interests

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).



  • Stannett MP (2011) The Proceedings of the Satellite Workshops of UC 2011 (Unconventional Computing 2011): Part 1 - 4th International Workshop on Physics and Computation & 3rd International Hypercomputation Workshop.. Turku, Finland: Turku Centre for Computer Science. RIS download Bibtex download
  • Stannett M & Dickinson S (1990) Modular Software Design. Bromley: Chartwell-Bratt. RIS download Bibtex download

Edited books

Journal articles


  • Patitz M & Stannett M (2017) Preface (pp. V-VI). RIS download Bibtex download
  • Stannett MP (2004) Hypercomputational Models In Teuscher C & Hofstadter D (Ed.), Alan Turing: Life and Legacy of a Great Thinker (pp. 135-158). Springer Verlag RIS download Bibtex download

Conference proceedings papers

  • Lefticaru R, Bakir ME, Konur S, Stannett M & Ipate F (2018) Modelling and validating an engineering application in kernel P systems. Membrane Computing. CMC 2017, Vol. 10725 (pp 183-195), 25 July 2017 - 28 July 2017. View this article in WRRO RIS download Bibtex download
  • Bakir ME, Gheorghe M, Konur S & Stannett M (2017) Comparative Analysis of Statistical Model Checking Tools (pp 119-135) View this article in WRRO RIS download Bibtex download
  • Cho D-J, Han Y-S & Kim H (2017) Deduplication on Finite Automata and Nested Duplication Systems.. UCNC, Vol. 10240 (pp 194-205) RIS download Bibtex download
  • Braun J, Cruz DA & Jonoska N (2017) Platform Color Designs for Interactive Molecular Arrangements.. UCNC, Vol. 10240 (pp 69-81) RIS download Bibtex download
  • Sosík P, Smolka V, Drastík J, Moore T & Garzon MH (2017) Morphogenetic and Homeostatic Self-assembled Systems.. UCNC, Vol. 10240 (pp 144-159) RIS download Bibtex download
  • Khan NA & McQuillan I (2017) Descrambling Order Analysis in Ciliates.. UCNC, Vol. 10240 (pp 206-219) RIS download Bibtex download
  • Deaton RJ, Yasmin R, Moore T & Garzon MH (2017) Self-assembled DC Resistive Circuits with Self-controlled Voltage-Based Growth.. UCNC, Vol. 10240 (pp 129-143) RIS download Bibtex download
  • Huang X, Klinge TH, Lathrop JI, Li X & Lutz JH (2017) Real-Time Computability of Real Numbers by Chemical Reaction Networks.. UCNC, Vol. 10240 (pp 29-40) RIS download Bibtex download
  • Blair EP (2017) Quantum-Dot Cellular Automata: A Clocked Architecture for High-Speed, Energy-Efficient Molecular Computing.. UCNC, Vol. 10240 (pp 56-68) RIS download Bibtex download
  • Christinal HA, John RR, Chandy DA & Gutiérrez-Naranjo MA (2017) Solving the Bin-Packing Problem by Means of Tissue P System with 2-Division.. UCNC, Vol. 10240 (pp 170-181) RIS download Bibtex download
  • Luchsinger A, Schweller RT & Wylie T (2017) Self-assembly of Shapes at Constant Scale Using Repulsive Forces.. UCNC, Vol. 10240 (pp 82-97) RIS download Bibtex download
  • Hendricks J & Opseth J (2017) Self-Assembly of 4-Sided Fractals in the Two-Handed Tile Assembly Model.. UCNC, Vol. 10240 (pp 113-128) RIS download Bibtex download
  • Costa JF (2017) The Power of Analogue-Digital Machines - (Extended Abstract).. UCNC, Vol. 10240 (pp 3-7) RIS download Bibtex download
  • Kjos-Hanssen B (2017) Superposition as Memory: Unlocking Quantum Automatic Complexity.. UCNC, Vol. 10240 (pp 160-169) RIS download Bibtex download
  • Fernau H, Kuppusamy L & Verlan S (2017) Universal Matrix Insertion Grammars with Small Size.. UCNC, Vol. 10240 (pp 182-193) RIS download Bibtex download
  • Lakin MR & Stefanovic D (2017) Towards Temporal Logic Computation Using DNA Strand Displacement Reactions.. UCNC, Vol. 10240 (pp 41-55) RIS download Bibtex download
  • Durand-Lose J (2017) Ways to Compute in Euclidean Frameworks.. UCNC, Vol. 10240 (pp 8-25) RIS download Bibtex download
  • Schweller RT, Winslow A & Wylie T (2017) Verification in Staged Tile Self-Assembly.. UCNC, Vol. 10240 (pp 98-112) RIS download Bibtex download
  • bakir ME & Stannett MP (2016) Selection Criteria for Statistical Model Checking. Proc WMC 2016 (pp 55-57). Bradford University, 11 July 2016 - 15 July 2016. View this article in WRRO RIS download Bibtex download
  • Dautov R (2016) A Monitoring and Analysis Framework to Support Self-management in Cloud Application Platforms. USES RIS download Bibtex download
  • Gheorghe M, Konur S, Ipate F, Mierla L, Bakir ME & Stannett M (2015) An integrated model checking toolset for kernel P systems. Membrane Computing, Vol. 9504 (pp 153-170) View this article in WRRO RIS download Bibtex download
  • Kurdi O, Stannett M & Romano DM (2015) Modeling and simulation of tawaf and sa'yee: A survey of recent work in the field. 29th Annual European Simulation and Modelling Conference 2015, ESM 2015 (pp 441-447) RIS download Bibtex download
  • Stannett MP, Paraskakis I & Dautov R (2013) Utilising Stream Reasoning Techniques to Create a Self-Adaptation Framework for Cloud Environments. The 3rd International Workshop on Intelligent Techniques and Architectures for Autonomic Clouds (ITA. Dresden, Germany, 9 December 2013 - 12 December 2013. RIS download Bibtex download
  • Stannett MP (2013) Hypercomputation, Physics and Computation. Isaac Newton Institute SAS Satellite Workshop “The Incomputable”. (pp 273). Kavli Royal Society International Centre, Chicheley Hall, 12 June 2012 - 15 June 2012. RIS download Bibtex download
  • Stannett M (2012) Membrane systems and hypercomputation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7762 LNCS (pp 78-87) View this article in WRRO RIS download Bibtex download
  • Csuhaj-Varjú E, Gheorghe M & Stannett M (2012) Using Topological Spaces to Control P Systems. Computability in Europe (CiE) 2012. Cambridge, 18 June 2012 - 23 June 2012. RIS download Bibtex download
  • Stannett MP (2012) Computing via Physical Theories. http://www.cs.kent.ac.uk/people/staff/sjt/TuringsLegacy/. Kent, UK, 16 April 2012 - 19 April 2012. RIS download Bibtex download
  • Stannett MP (2010) International Workshop of the Hypercomputation Research Network (HyperNet 10). Int. Journ. of Unconventional Computing, Vol. 8(1) (pp 1-106). Tokyo, 21 June 2010 - 25 June 2010. RIS download Bibtex download
  • Stannett MP (2010) 8th International Conference on Unconventional Computation Hypercomputation Workshop. International Journal of Unconventional Computing, Vol. 6(5) (pp 327-450). Ponta Delgada, Azores, Portugal, 7 September 2009 - 11 September 2009. RIS download Bibtex download
  • Stannett MP (2009) Future Trends in Hypercomputation. International Journal of Unconventional Computing, Vol. 5(3-4) (pp 191-388). Sheffield, 2006. RIS download Bibtex download
  • Stannett MP (2007) Physical hypercomputation. Unconventional Computing 2007 (pp 193-215). Bristol, 12 July 2007 - 14 July 2007. RIS download Bibtex download
  • Stannett MP (2004) Can Theory be made more attractive?. http://external.cis.strath.ac.uk/educ_grand_challenges/programme.html. Newcastle, 29 March 2004 - 31 March 2004. RIS download Bibtex download
  • Stannett MP (2002) Complete Behavioural Testing (two extensions to state-machine testing). FATES 2002 (pp 51-64). Brno, Czech republic, 22 August 2002. RIS download Bibtex download
  • Stannett MP, Simons A, Bogdanov K & Holcombe W (2002) Plug and Play Safely: Rules for Behavioural Compatibility. IASTED SEA 2002 (pp 263-268). Cambridge, MA RIS download Bibtex download
  • Stannett MP (1992) Trace convergence over infinite alphabets II: Links with compactification theory. Bericht 4/92 (pp 72-81). Stuttgart RIS download Bibtex download
  • Stannett MP (1992) Trace convergence over infinite alphabets I: Metric vs Order Convergence. Bericht 4/92 (pp 46-71). Stuttgart RIS download Bibtex download
  • Stannett MP & Kwiatkowska M (1992) On Transfinite Traces. Bericht 4/92 (pp 123-157). Stuttgart RIS download Bibtex download
  • Stannett MP, Holcombe W & Rathore S (1989) Very High Level Functional Testing of VLSI - Preliminary Results. Fourth Technical Workshop on New Directions for IC Testing. Vancouver University RIS download Bibtex download
  • Stannett MP, Dautov R & Paraskakis I () On the Role of Stream Reasoning in Run-time Monitoring and Analysis in Autonomic Systems. http://www.seerc.org/dsc2013. Thessaloniki, Greece, 16 September 2013 - 17 September 2013. RIS download Bibtex download
  • Stannett MP, Thomson C, Cowling AJC, Corbett A & Holcombe WML () The Crossover Project. Learning Through Enquiry Alliance (LTEA). Sheffield, 25 June 2008 - 27 June 2008. RIS download Bibtex download
  • Stannett MP () Industrial Hypercomputation. http://www.cs.york.ac.uk/nature/workshop/papers.htm. York, 18 April 2005 - 19 April 2005. RIS download Bibtex download
  • Stannett MP, Simons A, Bogdanov K & Holcombe W () Method of Object Testing, Integration and Verification. FORTEST Workshop on testing. York, 13 September 2002. RIS download Bibtex download
  • Stannett MP () An Abstract Approach to VLSI Test. IEE Digest 1991/102, Vol. 102(10) (pp 1-3) RIS download Bibtex download
  • Olayinka O & Stannett M () Experiencing the Sheffield Team Software Project: A project-based learning approach to teaching Agile. Proc. IEEE EDUCON2020 Global Engineering Education Conference, 27 April 2020 - 30 April 2020. View this article in WRRO RIS download Bibtex download


Theses / Dissertations

  • Stannett MP Internal Topology. University of Sheffield. RIS download Bibtex download

Working papers

  • Stannett MP (2012) Computation and Spacetime Structure. International Journal of Unconventional Computing, In press. RIS download Bibtex download


  • Stannett M & Németi I (2016) No Faster-Than-Light Observers.. Archive of Formal Proofs, 2016. RIS download Bibtex download
Research group

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.

  • 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
Professional activities
  • 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.
  • Member of the Verification research group