Photograph of Mike Stannett, Oct 2014.
 
Teaching (see MOLE 2)
Mike Stannett's Academic Homepage
The University of Sheffield | Computer Science

Current Research Interests
Membrane Systems, Logics of Relativity Theory, Hypercomputation, General Topology, Unconventional Computing
Relevant Projects
Machine-Verification of First-Order Relativity Theories (Royal Society) JAR 52(4):361-378 (2014)
Hypercomputation Research Network (EPSRC) hypercomputation.net
Grand Challenge in Non-Classical Computation www.cs.york.ac.uk/nature/gc7
TYPES Research Project (EU Framework 6) www.cs.chalmers.se/Cs/Research/Logic/Types
Early Research
Asymmetry of Economic Times Series (1825 - 1993)

Current PhD Students

  • Rustem Dautov: An ontology-driven adaptation framework for self-management in cloud application platforms (jointly supervised with Dr Iraklis Paraskakis, SEERC)

Professional Activities

Mike is a member of and has reviewed material for Mike Stannett
Department of Computer Science
University of Sheffield
Regent Court, 211 Portobello
Sheffield S1 4DP
United Kingdom

Fax: +44/(0)114 222-1810