EPSRC logo
Researcher Details
 
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