Name:	Professor R Milner
Organisation:	University of Cambridge
Department:	Computer Science and Technology
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/N24872/01 WIDE-AREA PROGRAMMING: LANGUAGE, SEMANTICS AND INFRASTRUCTURE DESIGN (C) GR/L62290/01 CALCULI FOR INTERACTIVE SYSTEMS: THEORY AND EXPERIMENT (P) GR/K38403/01 ACTION STRUCTURES AND THE PI-CALCULUS (P) GR/H16056/01 VERIFICATION OF INFINITE STATE SYSTEMS-THEORY METHOD AND APPLICATIONS (C) GR/F91001/01 DECLARATIVE LANGUAGES AND APPLIED SEMANTICS (P) GR/F07866/01 COMPUTER ASSISTED FORMAL REASONING PROOF DEVELOPMENT FOR FORMAL SYSTEMS (C) GR/E78487/01 COMPUTER ASSISTED FORMAL REASONING THE LOGICAL FRAMEWORK (C) 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