Dr Mike Stannett

PhD

Department of Computer Science

Senior Lecturer

Undergraduate Progression Tutor (L1, L3)

Member of the Verification research group

Affiliate member of the Testing and Algorithms research groups

m.stannett@sheffield.ac.uk
+44 114 222 1841

Full contact details

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

Mike Stannett is a theoretical computer scientist attached to the Verification 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.

Publications

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

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.

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