User:Mike.stannett

From Wikipedia, the free encyclopedia

This is a Wikipedia user page.

This is not an encyclopedia article. If you find this page on any site other than Wikipedia, you are viewing a mirror site. Be aware that the page may be outdated and that the user to whom this page belongs may have no personal affiliation with any site other than Wikipedia itself. The original page is located at http://en.wikipedia.org/wiki/User:Mike.stannett.

Mike Stannett is a British computer scientist. He is best known for his work in hypercomputation theory,[1] but has also published academic work in macroeconomic forecasting,[2] concurrency theory,[3] software testing,[4] and the theory of X-machines.[5] He currently holds a lectureship in Computer Science at Sheffield University, and has served on both the management committee of BCS-FACS, and the Computer Science committee of the London Mathematical Society. He is Principal Investigator on the EPSRC-funded Hypercomputation Research Network,[6] and is associated with the IET/UKCRC Grand Challenge in Computing Research, Journeys in Non-Classical Computation.[7][8]


[edit] Wikipedian Activities

I am updating/generating a suite of Wikipedia pages describing applications of theoretical computer science, including

[edit] External Links


[edit] References

  1. ^ M. Stannett (2006) The case for hypercomputation. Applied Mathematics and Computation, vol. 178, pp. 8-24.
  2. ^ S. Holly and M. Stannett (1995) Are there asymmetries in UK consumption? A time series analysis. Applied Economics, vol. 27, pp. 767-772.
  3. ^ M. Stannett (1994) Infinite Concurrent Systems - I. The relationship between metric and order convergence. Formal Aspects of Computing, vol. 6, pp. 696-715.
  4. ^ M. Stannett (2006) Simulation Testing of Automata. Formal Aspects of Computing, vol. 18, pp. 31-41,
  5. ^ M. Stannett (2004) X-machines - correctness via testing. FACS FACTS, vol. 2004-02, pp. 32-38.
  6. ^ 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
  7. ^ 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.
  8. ^ 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.