Dr Mike Stannett
Department of Computer Science
Programme Lead (BSc/MComp Computer Science)
Member of the Verification research group
Affiliate member of the Testing and Algorithms research groups
+44 114 222 1841
Full contact details
Department of Computer Science
Regent Court (DCS)
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.
- 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.
- Modular Software Design. Bromley: Chartwell-Bratt.
- Unconventional Computation and Natural Computation. Springer International Publishing.
- Groups of worldview transformations implied by Einstein’s special principle of relativity over arbitrary ordered fields. The Review of Symbolic Logic.
- Preface. Natural Computing, 18(1), 61-62. View this article in WRRO
- Automatic Selection of Verification Tools for Efficient Analysis of Biochemical Models.. Bioinformatics, 34(18), 3187-3195. View this article in WRRO
- View this article in WRRO Does negative mass imply superluminal motion? An investigation in axiomatic relativity theory. Journal of Applied Logics, 5(4), 907-926.
- Three Different Formalisations of Einstein’s Relativity Principle. Review of Symbolic Logic, 10(3), 530-548. View this article in WRRO
- Long-term Macroeconomic Dynamics of Competition in the Russian Economy using Agent- based Modelling. International Journal of System Dynamics Applications, 6(1), 1-20. View this article in WRRO
- Integration Testing of Heterotic Systems. PHILOS T R SOC A, 373(2046). View this article in WRRO
- Motion and observation in a single-particle universe. Synthese, 192(7), 2261-2271. View this article in WRRO
- Spatially Localised Membrane Systems. Fundamenta Informaticae, 138(1-2), 193-205. View this article in WRRO
- Towards a framework for monitoring cloud application platforms as sensor networks. Cluster Computing, 17(4), 1203-1213. View this article in WRRO
- Utilising stream reasoning techniques to underpin an autonomous framework for cloud application platforms. Journal of Cloud Computing, 3(1). View this article in WRRO
- Specification, Testing and Verification of Unconventional Computations using Generalised X-Machines. International Journal of General Systems, 43(7), 713-721. View this article in WRRO
- Faster than light motion does not imply time travel. CLASSICAL QUANT GRAV, 31(9). View this article in WRRO
- Using Isabelle/HOL to Verify First-Order Relativity Theory. Journal of Automated Reasoning, 52(4), 361-378. View this article in WRRO
- 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.
- Using Isabelle to verify special relativity, with application to hypercomputation theory.
- 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.
- Computation and Spacetime Structure. International Journal of Unconventional Computing, 9(1-2), 173-184.
- Computing the appearance of physical reality. Applied Mathematics and Computation, 219(1), 54-62.
- Membrane system models for super-Turing paradigms. Natural Computing, 11(2), 253-259.
- Guest editor's note: Special issue on hypercomputation, physics and computation. Parallel Processing Letters, 22(3).
- P Systems Controlled by General Topologies.. Lecture Notes in Computer Science, 7445, 70-81.
- Editorial: 8th International Conference on Unconventional Computation Hypercomputation Workshop. INT J UNCONV COMPUT, 6(5), 327.
- The computational status of physics: A computable formulation of quantum theory. Natural Computing, 8(3), 517-538.
- Editorial: Future Trends in Hypercomputation. INT J UNCONV COMPUT, 5(3-4), 191-192.
- The case for hypercomputation. APPL MATH COMPUT, 178(1), 8-24.
- Simulation testing of automata. FORM ASP COMPUT, 18(1), 31-41.
- X-machines - correctness via testing. FACS Facts Mewsletter, 2004-02, 32-38.
- Computation and hypercomputation. MIND MACH, 13(1), 115-153.
- ARE THERE ASYMMETRIES IN UK CONSUMPTION - A TIME-SERIES ANALYSIS. APPL ECON, 27(8), 767-772.
- Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence.. FORM ASP COMPUT, 6, 696-715.
- Chaotic Programming Semantics. FACS Europe, 1(1).
- View this article in WRRO Codes (Dpeft!). Mathematical Spectrum, 24(3), 65-70.
- Abdications and Resignations in CSP. WoTUG Newsletter, 16, 42-43.
- Review of 'M. M. Coban & H. Attia, On the dimension of remainders of extensions of normal spaces. Topology and its Applications 6 (1990) 97-109'.
- Review of 'M. Sharples et al, Computers and Thought: A Practical Introduction to Artificial Intelligence, MIT Press (1989)'. AISB Quarterly, 76.
- Implications of "X-machines and the Halting Problem: Building a super-Turing machine" for Computational AI. AISB Quarterly, 74.
- X-Machines and the Halting Problem: Building a Super-Turing Machine.. FORM ASP COMPUT, 2, 331-341.
- THE G-COMPACTIFICATIONS OF A LOCALLY COMPACT HAUSDORFF SPACE. P ROY IRISH ACAD A, 90(1), 11-18.
- THE STONE-CECH COMPACTIFICATION OF THE RATIONAL WORLD. GLASGOW MATH J, 30, 181-188.
- REPRESENTATIONS OF SPACES AS FUNCTION-SPACES. GLASGOW MATH J, 30, 189-193.
- An organisational approach to decision-making in command systems. International Journal of Command and Control, Communications and Information Systems, 1, 23-34.
- Comment on Sternberg's Questioning and Intelligence. Questioning Exchange, 1, 227.
- View this article in WRRO Groups of Worldview Transformations Implied by Isotropy of Space. Journal of Applied Logic.
- Preface (pp. V-VI).
- Hypercomputational Models In Teuscher C & Hofstadter D (Ed.), Alan Turing: Life and Legacy of a Great Thinker (pp. 135-158). Springer Verlag
Conference proceedings papers
- 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
- 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
- Comparative Analysis of Statistical Model Checking Tools (pp 119-135) View this article in WRRO
- Deduplication on Finite Automata and Nested Duplication Systems.. UCNC, Vol. 10240 (pp 194-205)
- Platform Color Designs for Interactive Molecular Arrangements.. UCNC, Vol. 10240 (pp 69-81)
- Morphogenetic and Homeostatic Self-assembled Systems.. UCNC, Vol. 10240 (pp 144-159)
- Descrambling Order Analysis in Ciliates.. UCNC, Vol. 10240 (pp 206-219)
- Self-assembled DC Resistive Circuits with Self-controlled Voltage-Based Growth.. UCNC, Vol. 10240 (pp 129-143)
- Real-Time Computability of Real Numbers by Chemical Reaction Networks.. UCNC, Vol. 10240 (pp 29-40)
- Quantum-Dot Cellular Automata: A Clocked Architecture for High-Speed, Energy-Efficient Molecular Computing.. UCNC, Vol. 10240 (pp 56-68)
- Self-assembly of Shapes at Constant Scale Using Repulsive Forces.. UCNC, Vol. 10240 (pp 82-97)
- Self-Assembly of 4-Sided Fractals in the Two-Handed Tile Assembly Model.. UCNC, Vol. 10240 (pp 113-128)
- The Power of Analogue-Digital Machines - (Extended Abstract).. UCNC, Vol. 10240 (pp 3-7)
- Superposition as Memory: Unlocking Quantum Automatic Complexity.. UCNC, Vol. 10240 (pp 160-169)
- Solving the Bin-Packing Problem by Means of Tissue P System with 2-Division.. UCNC, Vol. 10240 (pp 170-181)
- Universal Matrix Insertion Grammars with Small Size.. UCNC, Vol. 10240 (pp 182-193)
- Towards Temporal Logic Computation Using DNA Strand Displacement Reactions.. UCNC, Vol. 10240 (pp 41-55)
- Ways to Compute in Euclidean Frameworks.. UCNC, Vol. 10240 (pp 8-25)
- Verification in Staged Tile Self-Assembly.. UCNC, Vol. 10240 (pp 98-112)
- View this article in WRRO Selection Criteria for Statistical Model Checking. Proc WMC 2016 (pp 55-57). Bradford University, 11 July 2016 - 15 July 2016.
- A Monitoring and Analysis Framework to Support Self-management in Cloud Application Platforms. USES
- An integrated model checking toolset for kernel P systems. Membrane Computing, Vol. 9504 (pp 153-170) View this article in WRRO
- 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)
- 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.
- 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.
- 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
- Using Topological Spaces to Control P Systems. Computability in Europe (CiE) 2012. Cambridge, 18 June 2012 - 23 June 2012.
- Computing via Physical Theories. http://www.cs.kent.ac.uk/people/staff/sjt/TuringsLegacy/. Kent, UK, 16 April 2012 - 19 April 2012.
- 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.
- 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.
- Future Trends in Hypercomputation. International Journal of Unconventional Computing, Vol. 5(3-4) (pp 191-388). Sheffield, 2006.
- Physical hypercomputation. Unconventional Computing 2007 (pp 193-215). Bristol, 12 July 2007 - 14 July 2007.
- Can Theory be made more attractive?. http://external.cis.strath.ac.uk/educ_grand_challenges/programme.html. Newcastle, 29 March 2004 - 31 March 2004.
- Complete Behavioural Testing (two extensions to state-machine testing). FATES 2002 (pp 51-64). Brno, Czech republic, 22 August 2002.
- Plug and Play Safely: Rules for Behavioural Compatibility. IASTED SEA 2002 (pp 263-268). Cambridge, MA
- Trace convergence over infinite alphabets II: Links with compactification theory. Bericht 4/92 (pp 72-81). Stuttgart
- Trace convergence over infinite alphabets I: Metric vs Order Convergence. Bericht 4/92 (pp 46-71). Stuttgart
- On Transfinite Traces. Bericht 4/92 (pp 123-157). Stuttgart
- Very High Level Functional Testing of VLSI - Preliminary Results. Fourth Technical Workshop on New Directions for IC Testing. Vancouver University
- 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.
- The Crossover Project. Learning Through Enquiry Alliance (LTEA). Sheffield, 25 June 2008 - 27 June 2008.
- Industrial Hypercomputation. http://www.cs.york.ac.uk/nature/workshop/papers.htm. York, 18 April 2005 - 19 April 2005.
- Method of Object Testing, Integration and Verification. FORTEST Workshop on testing. York, 13 September 2002.
- An Abstract Approach to VLSI Test. IEE Digest 1991/102, Vol. 102(10) (pp 1-3)
- View this article in WRRO Bitcoin Risk Analysis
Theses / Dissertations
- 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.
- 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
- 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