EPSRC logo
Researcher Details
 
Name: Dr J Laird
Organisation: University of Bath
Department: Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/K037633/1 Semantic Types for Verified Program Behaviour(P)
EP/H023097/1 Semantic Structures for Higher-Order Information Flow(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator