View source for User:Mike.stannett

{{userpage}}

A [[British]] computer scientist, my work in Theoretical Computer Science focusses mainly on [[hypercomputation]] theory,<ref
  name="Case">
  M. Stannett (2006) 
  The case for hypercomputation. 
  ''Applied Mathematics and Computation'', vol. 178, pp. 8-24.</ref>
but I have also published academic work in 
[[macroeconomic]] [[forecasting]],<ref
  name="HollyStannett">S. Holly and M. Stannett (1995)
  Are there asymmetries in UK consumption? A time series analysis. 
  ''Applied Economics'', 
  vol. 27, pp. 767-772.</ref>
[[Concurrency_%28computer_science%29|concurrency theory]],<ref 
  name="StaConcurrency">
  M. Stannett (1994)
  Infinite Concurrent Systems - I. The relationship between metric and order convergence. 
  ''Formal Aspects of Computing'', 
  vol. 6, pp. 696-715.</ref>
[[software testing]],<ref 
  name="StaTesting">
  M. Stannett (2006)
  Simulation Testing of Automata. 
  ''Formal Aspects of Computing'', 
  vol. 18, pp. 31-41,</ref>
and the theory of [[X-machines]].<ref 
  name="StaXMachines">
  M. Stannett (2004)
  X-machines - correctness via testing. 
  ''FACS FACTS'', 
  vol. 2004-02, pp. 32-38.</ref>
Since January 2009, I have held a Senior Lectureship in [[Computer Science]] at [[Sheffield University]], and formerly served on both the management committee of [[BCS-FACS]], and the Computer Science committee of the [[London Mathematical Society]]. I am Principal Investigator on the [[EPSRC]]-funded Hypercomputation Research Network,<ref
  name="HyperNet">M. Stannett (2006)
  HyperNet (Hypercomputation Research Network) - Details of Grant EP/E064183/1.
  Swindon: EPSRC.
  [http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/E064183/1 http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/E064183/1]
  </ref>
and am associated with the [[Institution_of_Engineering_and_Technology|IET]]/[[UKCRC]] [[Grand Challenge]] in Computing Research, ''Journeys in [[Unconventional_computing|Non-Classical Computation]]''.<ref
  name="GC7">S. Stepney ''et al.'' (2005)
  Journeys in non-classical computation I: A grand challenge for computing research. 
  ''Parallel Algorithms Appl.'' 
  vol. 20, no. (1), pp. 5-19.</ref><ref
  name="StanGC7">
  M. Stannett (2005)
  "Industrial Hypercomputation". 
  In S. Stepney (ed.) (2005)
  ''The Grand Challenge in Non-Classical Computation International Workshop: 18-19th April 2005. York University, 2005.''
  Online: [http://www.cs.york.ac.uk/nature/workshop/papers.htm http://www.cs.york.ac.uk/nature/workshop/papers.htm].</ref>
I am Workshop Coordinator for the UC2009 Hypercomputation Workshop, part of the Unconventional Computing 2009 Conference, to be held in Ponta Delgada (the Azores, [[Portugal]]) in September 2009.

My current research is heavily influenced by the work of the Budapest Relativity Group in Hungary (comprising [[Hajnal Andréka]], [[István Németi]], and their colleagues): I am attempting to re-interpret the Bidirectional Model (a recent [[X-Machine]] model of quantum trajectories, which assumed Euclidean space and time) within a fully General Relativistic spacetime.


== Wikipedian Activities ==

Together with colleagues in the VT (Verification and Testing) Research Group at Sheffield, I am slowly updating/generating a number of Wikipedia pages describing applications of theoretical computer science, including
* [[X-machine]]s
* [[Stream X-Machine]]s
* [[X-Machine Testing|The Stream X-Machine Testing Methodology]] (SXMT) methodology
* [[Communicating X-Machine|Communicating Stream X-Machines]] (CSXMs)
* Hypercomputational Models

== External Links ==

* [http://www.dcs.shef.ac.uk/~mps Academic Homepage]
* [http://www.shef.ac.uk/dcs Sheffield University Computer Science Department]
* [http://www.hypercomputation.net Hypercomputation Research Network]


== References ==

<references/>


[[Category:Wikipedians by alma mater: University of Oxford|Mike.stannett]]
[[Category:Wikipedians by alma mater: University of Sheffield|Mike.stannett]]