Dr Mike Stannett

About

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 Sheffield University. Originally working in hypercomputation theory, his current research mainly concerns Logical Foundations of Relativity Theories and Isabelle/HOL verification of related theorems.

Selected publications

• Journal articles
• Conference proceedings
• MADARÁSZ JX, STANNETT M & SZÉKELY G (2022) Groups of worldview transformations implied by Einstein’s special principle of relativity over arbitrary ordered fields. The Review of Symbolic Logic, 15(2), 334-361.
• Stannett MP (2014) Specification, Testing and Verification of Unconventional Computations using Generalised X-Machines. International Journal of General Systems, 43(7), 713-721.
• Andréka H, Madarász JX, Németi I, Stannett MP & Székely G (2014) Faster than light motion does not imply time travel. CLASSICAL QUANT GRAV, 31(9).
• Stannett MP & Németi I (2014) Using Isabelle/HOL to Verify First-Order Relativity Theory. Journal of Automated Reasoning, 52(4), 361-378.
• Madarász JX, Stannett MP & Székely G (2014) Why Do the Relativistic Masses and Momenta of Faster-than-Light Particles Decrease as their Speeds Increase?. 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) Addressing Self-Management in Cloud Platforms: a Semantic Sensor Web Approach. 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.