Stannett, Mike, Dr

Dr

Mike

Stannett

PhD

School of Computer Science

Honorary Research Fellow

Sustainability Lead

m.stannett@sheffield.ac.uk

Regent Court (CS)

Full contact details

Dr Mike Stannett
School of Computer Science
Regent Court (CS)

211 Portobello

Sheffield

S1 4DP

Profile: Mike Stannett is an Honorary Research fellow from University of Manchester. He was previously a theoretical computer scientist attached to the Foundations of Computation Research Group in the School of Computer Science at 51��ݶ� 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

MADARÁSZ JX, STANNETT M & SZÉKELY G (2022) . The Review of Symbolic Logic, 15(2), 334-361.
Stannett MP (2014) . International Journal of General Systems, 43(7), 713-721.
Andréka H, Madarász JX, Németi I, Stannett MP & Székely G (2014) . CLASSICAL QUANT GRAV, 31(9).
Stannett MP & Németi I (2014) . Journal of Automated Reasoning, 52(4), 361-378.
Madarász JX, Stannett MP & Székely G (2014) . Symmetry, Integrability and Geometry : Methods and Applications, 10.
Stannett M & Németi I (2013) Using Isabelle to verify special relativity, with application to hypercomputation theory.
Dautov R, Paraskakis I, Kourtesis D & Stannett MP (2013) . HotTopiCS '13 Proceedings of the 2013 international workshop on Hot topics in cloud services, 11-18.
Stannett MP (2013) Computation and Spacetime Structure. International Journal of Unconventional Computing, 9(1-2), 173-184.
Stannett M (2012) . Applied Mathematics and Computation, 219(1), 54-62.
Csuhaj-Varjú E, Gheorghe M & Stannett M (2012) . Lecture Notes in Computer Science, 7445, 70-81.
Stannett M (2009) . Natural Computing, 8(3), 517-538.
Stannett M (2006) . APPL MATH COMPUT, 178(1), 8-24.
Madarász JX, Stannett M & Székely G () Groups of Worldview Transformations Implied by Isotropy of Space. Journal of Applied Logic.

Olayinka O & Stannett M (2020) . Proceedings of 2020 IEEE Global Engineering Education Conference (EDUCON) (pp 1299-1305). Porto, Portugal, 27 April 2020 - 27 April 2020.
Gheorghe M, Konur S, Ipate F, Mierla L, Bakir ME & Stannett M (2015) . Lecture Notes in Computer Science, Vol. 9504 (pp 153-170). Valencia, Spain, 17 August 2015 - 17 August 2015.
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.
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.
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.

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 and memberships