Name:	Dr R Crole
Organisation:	University of Leicester
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/H051643/1 Midlands Graduate School in the Foundations of Computing Science 2010 (P) EP/E06180X/1 Midlands Graduate School in the Foundations of Computing Science 2007-2009 (P) GR/M98555/01 MECHANIZED OPERATIONAL SEMANTICS (P)

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