Prof Pasquale Malacaria

Pasquale Malacaria

Professor of Computer Science

School of Electronic Engineering and Computer Science
Queen Mary University of London
www.qmul.ac.uk/eecs/people/profiles/malacariapasquale.html
Centre for Fundamentals of AI and Computational Theory
Google Scholar

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.