Professor Stephen Gilmore
School of Informatics
The University of Edinburgh
Informatics Forum (Room 3.47)
10 Crichton Street
Edinburgh EH8 9AB
Email: Stephen.Gilmore@ed.ac.uk
Phone: +44 (0)131 650 5189
Biography — Projects — Publications —
Students — Teaching — Conferences — Family — DBLP
Projects
At present I am working on the following projects:
- QUANTICOL with Jane Hillston, Mirco Tribastone, Mieke Massink, Luca Bortolussi, Rocco De Nicola
and Nicolas Gast.
- SysMIC with Geraint Thomas.
- PEPA with Jeremy Bradley, Jane Hillston, Leila Kloul, Mirco Tribastone, and Nigel
Thomas.
- Bio-PEPA with Jane Hillston and Vashti Galpin.
Previous projects have included:
- SBSI with Richard Adams, Allan Clark and Nikos Tsorman.
- Cellular signalling pathways in process algebra with Muffy
Calder, Jane Hillston, Oana Andrei, Andrea Degasperi, Dimitrios Milios and Vashti Galpin.
- Sensoria (wiki) with
Martin Wirsing, Flemming Nielson, Pierpaolo Degano, Mirco Tribastone and many others.
- SRMC with Allan Clark and Mirco Tribastone.
- ipc with Jeremy Bradley and Allan Clark.
- ENHANCE with Anne Benoit, Murray Cole, Jane Hillston and Greg Yaikhom.
Last updated: Monday, 16 March 2015 — Validate this
page.