|
| Name: |
Professor P Malacaria |
| Organisation: |
Queen Mary University of London |
| Department: |
Sch of Electronic Eng & Computer Science |
| Current EPSRC-Supported Research
Topics: |
|
Artificial Intelligence
|
Cognitive Psychology
|
|
Fundamentals of Computing
|
Human-Computer Interactions
|
|
Networks & Distributed Systems
|
Social Psychology
|
|
Software Engineering
|
|
|
| Current 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) |
|
| 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
|
| |
|
|
|
|