Name:	Professor MP Fourman
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 (C) EP/G009228/1 Alan Bundy Symposium (C) EP/E009069/1 Copy of Copy of Symposium in Honour of Gordon Plotkin (C) GR/N64571/01 A PROOF SYSTEM FOR CORRECT PROGRAM DEVELOPMENT (P) GR/N31894/01 PROPOSITIONAL PLANNING (P) GR/L89532/01 NOTIONS OF COMPUTABILITY FOR GENERAL DATATYPES (P) GR/J11850/01 SHARED ENVIRONMENTS FOR DISTRIBUTED COMPUTING (P) GR/G55457/01 THE FORMALLY CERTIFIED INFUSION OF CONCURRENCY AND COMMUNICATION INTO PROGRAMMS (C) GR/F31199/01 FORMALLY BASED SYSTEM DESIGN TOOLS (P) GR/F91001/01 DECLARATIVE LANGUAGES AND APPLIED SEMANTICS (C) GR/F35890/01 FORMAL SYSTEM DESIGN (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator