User:Mike.stannett: Difference between revisions
Content deleted Content added
m →Wikipedian Activities: fixed changed link |
Annual update |
||
| Line 1: | Line 1: | ||
{{userpage}} |
{{userpage}} |
||
A [[British]] computer scientist, my work in Theoretical Computer Science focusses mainly on [[hypercomputation]] theory,<ref |
|||
name="Case"> |
name="Case"> |
||
M. Stannett (2006) |
M. Stannett (2006) |
||
The case for hypercomputation. |
The case for hypercomputation. |
||
''Applied Mathematics and Computation'', vol. 178, pp. 8-24.</ref> |
''Applied Mathematics and Computation'', vol. 178, pp. 8-24.</ref> |
||
but |
but I have also published academic work in |
||
[[macroeconomic]] [[forecasting]],<ref |
[[macroeconomic]] [[forecasting]],<ref |
||
name="HollyStannett">S. Holly and M. Stannett (1995) |
name="HollyStannett">S. Holly and M. Stannett (1995) |
||
| Line 30: | Line 30: | ||
''FACS FACTS'', |
''FACS FACTS'', |
||
vol. 2004-02, pp. 32-38.</ref> |
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) |
name="HyperNet">M. Stannett (2006) |
||
HyperNet (Hypercomputation Research Network) - Details of Grant EP/E064183/1. |
HyperNet (Hypercomputation Research Network) - Details of Grant EP/E064183/1. |
||
| Line 36: | Line 36: | ||
[http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/E064183/1 http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/E064183/1] |
[http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/E064183/1 http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/E064183/1] |
||
</ref> |
</ref> |
||
and |
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) |
name="GC7">S. Stepney ''et al.'' (2005) |
||
Journeys in non-classical computation I: A grand challenge for computing research. |
Journeys in non-classical computation I: A grand challenge for computing research. |
||
| Line 47: | Line 47: | ||
''The Grand Challenge in Non-Classical Computation International Workshop: 18-19th April 2005. York University, 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> |
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 == |
== Wikipedian Activities == |
||
I am updating/generating a |
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 |
* [[X-machine]]s |
||
* [[Stream 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 |
* Hypercomputational Models |
||
== External Links == |
== External Links == |
||
* [http://www.dcs.shef.ac.uk/~mps |
* [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] |
|||
Revision as of 20:46, 23 June 2009
| This is a Wikipedia user page. This is not an encyclopedia article or the talk page for 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 whom this page is about may have no personal affiliation with any site other than Wikipedia. The original page is located at https://en.wikipedia.org/wiki/User:Mike.stannett. |
A British computer scientist, my work in Theoretical Computer Science focusses mainly on hypercomputation theory,[1] but I have also published academic work in macroeconomic forecasting,[2] concurrency theory,[3] software testing,[4] and the theory of X-machines.[5] 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,[6] and am associated with the IET/UKCRC Grand Challenge in Computing Research, Journeys in Non-Classical Computation.[7][8] 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-machines
- Stream X-Machines
- The Stream X-Machine Testing Methodology (SXMT) methodology
- Communicating Stream X-Machines (CSXMs)
- Hypercomputational Models
External Links
- Academic Homepage
- Sheffield University Computer Science Department
- Hypercomputation Research Network
References
- ^ M. Stannett (2006) The case for hypercomputation. Applied Mathematics and Computation, vol. 178, pp. 8-24.
- ^ S. Holly and M. Stannett (1995) Are there asymmetries in UK consumption? A time series analysis. Applied Economics, vol. 27, pp. 767-772.
- ^ M. Stannett (1994) Infinite Concurrent Systems - I. The relationship between metric and order convergence. Formal Aspects of Computing, vol. 6, pp. 696-715.
- ^ M. Stannett (2006) Simulation Testing of Automata. Formal Aspects of Computing, vol. 18, pp. 31-41,
- ^ M. Stannett (2004) X-machines - correctness via testing. FACS FACTS, vol. 2004-02, pp. 32-38.
- ^ 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
- ^ 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.