Dr
Mike
Stannett
PhD
School of Computer Science
Honorary Research Fellow
Sustainability Lead
Full contact details
School of Computer Science
Regent Court (CS)
- 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 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
-
There has been a problem showing this information. Please try again later.
- Research group
-
Foundations of Computation research group
- 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
-
- Member of the London Mathematical Society
- Visiting Fellow (2012), Isaac Newton Institute
- Professional organisations: AISB, LMS, CiE, ASL.