Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Pasquale Malacaria Home Page
Pasquale Malacaria, Department of Computer Science,
Queen Mary University of London, Mile End Road, E1 4NS
+44 020 7 8825231
pm@dcs.qmul.ac.uk
My main research interest is in
Information Theory and its uses in computer security.
For example, suppose someone stole your cash card (but doesn't know your pin number). How much information about your pin number can he get by inserting your card in a cash machine?
Here is a poster describing
in simple terms the basis of this work.
There have been some exciting recent developments presented at POPL 2007. Here are the slides from the talk.
This work has now been extended to multithreaded languages ( PLAS 2007).
I am
principal investigator in the EPSRC project "Quantitative Information Flow",
( Click here for details.)
principal investigator in the EPSRC project "Model Checking and Program Analysis for Quantifying Interference".
co-investigator in the EPSRC platform grant "Extreme Reasoning".
I am also interested in applications of information theory to
machine learning in particular
Adaboost. Adaboost significantly boosts the performance of
classifiers, which are algorithms that allow to classify new cases based on previous cases. An example could be a program which classify if a patient has/has not cancer given the symptoms based on a database of previous cases (this database is called the training set). Adaboost was the recipient of the Godel prize 2003.
To know more you can find a paper here ; in this paper we significantly simplify Adaboost.
In the past I have been working on game semantics and its algorithmic applications.
Game semantics provides a very fine graded analysis of computation. It has been used to successfully answer some open questions in the semantic of programming languages (Full abstraction for PCF, see publication sections).
Here are some motivations for that work. Dan Ghica is currently doing some excellent work on algorithmic applications of games.
Corrado Bohm supervised my master thesis on second order lambda calculus. Another remarkable scientist,
Jean-Yves Girard supervised my PhD on Stone duality.