Name:	Dr E Ritter
Organisation:	University of Birmingham
Department:	School of Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/S013008/1 A coalgebraic framework for reductive logic and proof-search (ReLiC) (C) EP/I000062/1 Midlands Graduate School in the Foundations of Computing Science 2010 (P) EP/F033540/1 Verifying Interoperability Requirements in Pervasive Systems (C) EP/E052797/1 Midlands Graduate School in the Foundations of Computing Science 2007-2009 (P) GR/M21768/01 COMPUTATIONAL INVESTIGATION OF FULL INTUITIONISTIC LINEAR LOGIC (C) GR/L28296/01 XSLAM - THE EXPLICIT SUBSTITUTION LINEAR ABSTRACT MACHINE (P)

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