Name:	Professor R Burstall
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

GR/K63795/01 VERIFYING SPECIFIED PROGRAMMES (C) GR/J85509/01 APPLICATIONS OF A TYPE THEORY BASED PROOF ASSISTANT (P) GR/G55792/01 CONSTRUCTIVE LOGIC AS A BASIS FOR MATHEMATICAL DEVELOPMEN OF SOFTWARE (P) GR/F07866/01 COMPUTER ASSISTED FORMAL REASONING PROOF DEVELOPMENT FOR FORMAL SYSTEMS (P) GR/E82620/01 COMPUTING FACILITY FOR THE LABORATORY FOR FOUNDATIONS OF COMPUTER SCIENCE (P) GR/E59134/01 ML LANGUAGE DEVELOPMENT: MODULES, CONCURRENCY AND INTERFACING. (C) GR/E38801/01 SYSTEMS DEVELOPMENT COORDINATION FOR THE LABORATORY FOR FOUNDATIONS OF COMPUTER SCIENCE (P) GR/D64629/01 COMPUTER ASSISTED FORMAL RESONING: INTERACTIVE PROOF EITING (P) GR/D64612/01 COMPUTER ASSISTED FORMAL RESONING: LOGICS AND MODULARIY (P)

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