Prof Pasquale Malacaria
Professor of Computer Science
School of Electronic Engineering and Computer Science
Queen Mary University of London
Research
information theory and program analysis, computer security, semantics of programming languages
Interests
I am interested in both the theoretical foundations of computer science and the practical implications and applications of the theoretical foundations.
In particular, my theoretical interests focus on the use of information theory, logic and game theory to understand how information is transformed and leaked in computational processes.
On the applications side, I have worked on program analysis and the use of model-checkers to detect and quantify information leakage in programs and in side channels.
Grants
Grants of specific relevance to the Centre for Fundamentals of AI and Computational Theory
Unrestricted donation: Formal verification of privacy propertiesPasquale Malacaria£58,029
Meta Platforms Inc01-10-2022 - 31-12-2030
CHAI: Cyber Hygiene in AI enabled domestic lifePasquale Malacaria£329,505
EPSRC Engineering and Physical Sciences Research Council01-12-2020 - 30-11-2023 Optimal Cybersecurity InvestmentPasquale Malacaria£388,777
EPSRC Engineering and Physical Sciences Research Council01-08-2017 - 31-07-2021
Research Group
News
June 2026
1 June 2026
Pasquale Malacaria and Yunxiao Zhang have a paper published in a top security journal, IEEE Transactions on Information Forensics and Security (TIFS), on Strategic Decision-Making in Uncertain Turn-Based Security Games.
The paper studies the problem of cybersecurity decision making. It extends previous Leader-Follower game-theoretical models where the leader is the ... [more]
