Name:	Dr M Fairtlough
Organisation:	University of Sheffield
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/L86180/01 LAX LOGIC APPLIED TO FORMAL SYSTEM DESIGN (P)

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