|
| Name: |
Professor G Plotkin |
| Organisation: |
University of Edinburgh |
| Department: |
Sch of Informatics |
| Current EPSRC-Supported Research
Topics: |
|
| Current EPSRC Support |
| There is no current EPSRC Support |
| Previous EPSRC Support |
| EP/J019712/1 | Milner Symposium 2012 | (P) |
| EP/H043055/1 | The 2010 Federated Logic Conference | (P) |
| EP/E031161/1 | Linking Visual Formalisms and Specification Calculi for Biological Modeling | (P) |
| EP/D039045/1 | Mathematical Structural Operational Semantics | (P) |
| GR/T23367/01 | A Grainless Semantics for Shared Variable Concurrency | (P) |
| GR/S86372/01 | A Theory of Effects for Programming Languages | (P) |
| GR/S22097/01 | Models of Concurrency | (P) |
| GR/M56333/01 | THE STRUCTURE OF PROGRAMMING LANGUAGES: SYNTAX AND SEMANTICS | (P) |
| GR/M36694/01 | DIALGEBRAIC LOGICS | (C) |
| GR/L89532/01 | NOTIONS OF COMPUTABILITY FOR GENERAL DATATYPES | (C) |
| GR/J84205/01 | FRAMEWORKS FOR PROGRAMMING LANGUAGE SEMANTICS AND LOGIC | (P) |
| GR/G55471/01 | LOGICAL SYSTEMS AND LOGICAL FRAMEWORKS | (P) |
| GR/G58588/01 | LOGICAL AND SEMANTICAL FRAMEWORKS | (P) |
| GR/F91162/01 | THE DESIGN AND CONSTRUCTION OF PROOF DEVELOPMENT SYSTEMS | (P) |
| GR/F91018/01 | LAMBDA-CALCULUS AND DENOTATIONAL SEMANTICS | (P) |
| GR/F65408/01 | HYPERPROOF THEOREM PROVING AND SITUATION THEORY | (P) |
| GR/E78487/01 | COMPUTER ASSISTED FORMAL REASONING THE LOGICAL FRAMEWORK | (P) |
| GR/E82620/01 | COMPUTING FACILITY FOR THE LABORATORY FOR FOUNDATIONS OF COMPUTER SCIENCE | (C) |
| GR/E38801/01 | SYSTEMS DEVELOPMENT COORDINATION FOR THE LABORATORY FOR FOUNDATIONS OF COMPUTER SCIENCE | (C) |
| GR/D64629/01 | COMPUTER ASSISTED FORMAL RESONING: INTERACTIVE PROOF EITING | (C) |
| GR/D64612/01 | COMPUTER ASSISTED FORMAL RESONING: LOGICS AND MODULARIY | (C) |
|
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
| |
|
|
|
|