Name:	Dr M Berger
Organisation:	University of Sussex
Department:	Sch of Engineering and Informatics
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/T04236/01 Program Analysis and the Pi-Calculus: Foundations and Applications to Security (R) GR/S55538/01 Towards Semantics-Preserving Secure Language Infrastructure: Foundations & Applications to Secure Information Flow (R) GR/S55545/01 Towards Semantics-Preserving Secure Language Infrastructure: Foundations & Applications to Secure Information Flow (R)

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