Dr Mike Stannett


School of Computer Science

Senior Lecturer

Undergraduate Progression Tutor (L1, L3)

Sustainability Lead

Mike Stannett
Profile picture of Mike Stannett
+44 114 222 1841

Full contact details

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

Mike Stannett is a theoretical computer scientist attached to the Foundations of Computation Research Group in the Department of Computer Science at Sheffield University. Originally working in hypercomputation theory, his current research mainly concerns Logical Foundations of Relativity Theories and Isabelle/HOL verification of related theorems.

Research interests

Dr Stannett is interested in many areas of research, including Unconventional Computing and First-Order Logical Foundations of Physics.


Journal articles

Conference proceedings papers

  • Olayinka O & Stannett M (2020) Experiencing the Sheffield team software project: a project-based learning approach to teaching agile. Proceedings of 2020 IEEE Global Engineering Education Conference (EDUCON) (pp 1299-1305). Porto, Portugal, 27 April 2020 - 30 April 2020. View this article in WRRO 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
  • 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
  • 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, 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
Research group

Foundations of Computation research group

  • 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 and memberships
  • Member of the London Mathematical Society
  • Visiting Fellow (2012), Isaac Newton Institute
  • Professional organisations: AISB, LMS, CiE, ASL.