معرفی
Pasquale Malacaria is a Professor of Computer Science at Queen Mary University of London, affiliated with the School of Electronic Engineering and Computer Science. He serves as a faculty member in the Centre for Fundamental Computing and AI and is part of the Leadership Team for academics.
His research interests span the theoretical foundations of computer science and their practical applications, with particular focus on information theory, logic, and game theory applied to understanding information transformation and leakage in computational processes. He has made significant contributions to program analysis and the use of model-checkers for detecting and quantifying information leakage in programs and side channels.
Analysis of his recent publications reveals a strong trend toward cybersecurity decision support, with emphasis on quantitative methods for risk assessment, security investment optimization, and attack graph analysis. His work bridges theoretical information theory with practical security applications, particularly in areas like smart home security, healthcare cybersecurity, and industrial control systems. The research demonstrates a consistent evolution from foundational work on information flow to applied cybersecurity frameworks.
Research funding includes significant grants from major organizations:
- "Unrestricted donation: Formal verification of privacy properties" from Meta Platforms Inc (£58,029, 2022-2025)
- "CHAI: Cyber Hygiene in AI enabled domestic life" from EPSRC (£329,505, 2020-2023)
- "Optimal Cybersecurity Investment" from EPSRC (£388,777, 2017-2021)
Professor Malacaria teaches Logic in Computer Science at the postgraduate level, covering propositional logic, temporal logics, predicate logic, and program logics with practical applications using SAT solvers and model checkers. He also teaches Object-Oriented Programming at the undergraduate level, focusing on core concepts like classes, objects, methods, and inheritance in practical software development contexts.
