Name:	Dr M Norrish
Organisation:	National ICT Australia
Department:	UNLISTED
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/C510712/1 NETSEM: Rigorous Semantics for Real Systems (R)

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