User:Mike.stannett

A British computer scientist, my work in Theoretical Computer Science focusses mainly on hypercomputation theory, M. Stannett (2006) The case for hypercomputation. Applied Mathematics and Computation, vol. 178, pp. 8-24. but I have also published academic work in macroeconomic forecasting,S. Holly and M. Stannett (1995) Are there asymmetries in UK consumption? A time series analysis. Applied Economics, vol. 27, pp. 767-772. concurrency theory, software testing, and the theory of X-machines. Since January 2009, I have held a Senior Lectureship in Computer Science at Sheffield University, and have 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,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 and am associated with the IET/UKCRC Grand Challenge in Computing Research, Journeys in Non-Classical Computation.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.  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. I have coordinated various international workshops, and have been a member of the editorial board of the International Journal of Unconventional Computing since 2009.

My current research is heavily influenced by the work of the Algebraic Logic Group at the Alfréd Rényi Institute of Mathematics in Hungary (especially Hajnal Andréka, István Németi, and their colleagues). I am also involved in joint work with Marian Gheorghe on computational aspects of P systems.

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-machines
 * Stream X-Machines
 * The Stream X-Machine Testing Methodology (SXMT) methodology
 * Communicating Stream X-Machines (CSXMs)
 * Hypercomputational Models