EPSRC logo
Researcher Details
 
Name: Professor P Malacaria
Organisation: Queen Mary University of London
Department: Sch of Electronic Eng & Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing Human-Computer Interactions
Networks & Distributed Systems Software Engineering

Current EPSRC Support
EP/R004897/1 Customized and Adaptive approach for Optimal Cybersecurity Investment(P)
Previous EPSRC Support
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