Gordon Plotkin – Projects — University of Edinburgh Research Explorer

View Scopus Profile

Phone+44 (0) 131 650 5158
Emailgdpinf.ed.acuk
Websitehttp://homepages.inf.ed.ac.uk/gdp

If you made any changes in Pure these will be visible here soon.

13 results

Finished
RULE
Danos, V. & Plotkin, G.
EU government bodies
1/02/13 → 31/01/18
Project: Research
Milner Symposium 2012
Plotkin, G., Fourman, M., Gilmore, S. & Hillston, J.
BBSRC
16/04/12 → 15/01/13
Project: Research
The 2010 Federated Logic Conference
Plotkin, G., Bundy, A. & Libkin, L.
EPSRC
1/02/10 → 31/10/10
Project: Research
SynthSys; formerly CSBE: Centre for Systems Biology at Edinburgh
Millar, A., Beggs, J., Ghazal, P., Goryanin, I., Hillston, J., Plotkin, G., Tollervey, D., Walton, A. & Robertson, K.
BBSRC
8/01/07 → 31/12/12
Project: Research
Linking visual formalisms and specification calculi for biological modelling
Plotkin, G. & Stevens, P.
EPSRC
1/01/07 → 31/07/08
Project: Research
Studentship Michael Pederson
Plotkin, G.
UK industry, commerce and public corporations
1/09/06 → 30/09/09
Project: Research
Mathematical Structural Operational Semantics
Plotkin, G.
EPSRC
15/02/06 → 14/02/08
Project: Research
Royal Society Wolfson Research Merit Award
Morris, R. & Plotkin, G.
Other (Learned Society)
1/11/05 → 31/12/10
Project: Research
A Grainless Semantics for Shared Variable Concurrency.
Plotkin, G.
EPSRC
9/08/04 → 8/08/05
Project: Research
A Theory of Effects for Programming Languages
Plotkin, G.
EPSRC
1/03/04 → 31/10/08
Project: Research
Models of Concurrency
Plotkin, G.
EPSRC
1/09/03 → 31/05/04
Project: Research
The Structure of Programming Languages: Syntax and Semantics
Plotkin, G.
EPSRC
1/03/99 → 28/02/03
Project: Research
F/SHIP - DR DANIELE TURI
Plotkin, G.
EU government bodies
19/06/97 → 18/06/99
Project: Research