Photograph of Mike Stannett, May 2011.
 
 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, current) summary and initial results
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 Project Students

  • Rustem Dautov: An ontology-driven adaptation framework for self-management in cloud application platforms (jointly supervised with Dr Iraklis Paraskakis, SEERC)
  • James Ridgway: Video Steganography
  • Pavel Drozdov: Agent-based modelling of helicopter rotor wash in a sandy/dusty/snow-covered environment

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