Name:	Professor D Sannella
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/K032666/1 App Guarden: Resilient Application Stores (C) EP/G006032/1 Resource Static Analysis (C) EP/D046769/1 Links: Linking Theory to Practice for the Web (C) EP/C537068/1 ReQueST: Resource Quantification in e-Science Technologies (P) GR/N31672/01 PRE-LOGICAL RELATIONS IN FIXPOINT CALCULI (P) GR/N28436/01 TYPE SYSTEMS FOR RESOURCE-BOUNDED PROGRAMMING AND COMPILATION (C) GR/M89591/01 SHAPE-BASED COMPUTATION: THEORY AND PRACTICE (P) GR/M36694/01 DIALGEBRAIC LOGICS (P) GR/K63795/01 VERIFYING SPECIFIED PROGRAMMES (P) GR/J07303/01 FORMAL DEVELOPMENT OF MODULAR PROGRAMS IN EXTENDED ML (P) GR/H73103/01 ALGEBRAIC AND LOGICAL FOUNDATIONS OF FORMAL SOFTWARE DEVELOPMENT (P) GR/J07693/01 FORMAL DEVELOPMENT OF MODULAR PROGRAMS FROM ALGEBRAIC SPECIFICATIONS: COMPUTING SUPPORT (P) GR/H76739/01 STRUCTURED SOFTWARE SYSTEMS, SPECIFICATIONS AND LOGICAL SYSTEMS (P) GR/E78463/01 COMPUTER ASSISTED FORMAL REASONING FORMAL DEVELOPMENT OF PROGRAMS FROM SPECIFICATIONS (P) GR/E78487/01 COMPUTER ASSISTED FORMAL REASONING THE LOGICAL FRAMEWORK (C)

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