Name:	Professor JP Bowen
Organisation:	London South Bank University
Department:	School of Engineering
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/D506735/1 Network: VSR-net: A Network for the Verified Software Repository (C) GR/S22004/01 FMnet: Formal Methods Network for Engineering Technologies (P) GR/R43150/01 NETWORK: Formal Methods and Testing (FORTEST) (C) GR/F36491/01 DEMONSTRATION OF THE POSSIBILITY OF TOTALLY VERIFIED SYSTEMS - IED PROPOSAL 1108 (C)

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