Name:	Professor P Malacaria
Organisation:	Queen Mary University of London
Department:	Sch of Electronic Eng & Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/T026596/1 CHAI: Cyber Hygiene in AI enabled domestic life (P) EP/R004897/1 Customized and Adaptive approach for Optimal Cybersecurity Investment (P) EP/K032011/1 Compositional Security Analysis for Binaries (P) EP/K005820/1 Games and Abstraction: The Science of Cyber Security (P) EP/F023766/1 Model Checking and Program Analysis for Quantifying Interference (P) EP/F02309X/1 Extreme Reasoning (C) EP/C009967/1 Quantitative Information Flow (P) GR/L40403/01 TYPED CONCURRENT OBJECT-ORIENTED LANGUAGES: FOUNDATIONS,METHODS AND TOOLS (C) GR/L15081/01 GAME SEMANTICS FOR PROGRAMMING LANGUAGES (P)

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