Prof Pasquale Malacaria
Information theory and program analysis, computer security, semantics of programming languages
Associate Editor For ACM "Computing Surveys"
Member of the editorial board for ACM "Computing Surveys"
SAS2005 program comittee member for Static Analysis Symposium 2005
PLID workshop (Verona, It, 2004) Program Committee member for PLID workshop (Verona, It, 2004)
EPSRC IGR panel meeting 8 October 2002
EPSRC Computer Science Panel Meeting 29th July 2004
ACM Computing Survey Associate Editor
Member EPSRC Peer Review College 1999-2004
QAPL 2006 Program Committee member for QAPL 2006
PLID workshop London 2005 Program Committee member for PLID workshop (Imperial College London 2005)
Member EPSRC Peer Review College 2006-2009