Name:	Professor R Bornat
Organisation:	Middlesex University
Department:	Faculty of Science & Technology
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/C523997/1 A verified packet-forwarder on leading-edge hardware (P) GR/R17034/01 Local Reasoning About State (C) GR/M06581/01 VISUALISATION IN THE SOFTWARE DEVELOPMENT PROCESS (C) GR/L54578/01 VERIFIED BYTECODE (P)

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