Chris Hankin

CHRIS HANKIN was appointed Professor of Computing Science in the Department of Computing at Imperial College London in 1995 having joined the College as a Lecturer in Computing in 1984. He holds a first degree in Computer Science from City University (London) and a PhD in Computer Science from the University of London (1979). He is currently Director of the Institute for Security Science and Technology and has previously been Deputy Principal of Engineering (2006-2008), Pro Rector for Research (2004-2006) and Dean of City and Guilds College (2000-2003).

Professor Hankin has researched programming language semantics and semantics-based program analysis for over 20 years. He has done pioneering work on the static analysis of declarative programming languages, pointer usage in C-like languages, the analysis of protocols for ad hoc wireless networks and language-based security. He is co-author (with Nielson and Nielson) of the standard textbook on program analysis techniques. Recently he has developed (with Di Pierro and Wiklicky) a new approach to the static analysis of probabilistic systems and used this in quantifying the vulnerability of systems to certain kinds of attack and the identification and removal of covert channels. He has written three textbooks and published about 80 other journal and conference papers. He has held numerous Research Council and European Commission grants.

He is an appointed member of the IST Advisory Group (ISTAG) for the European Commission’s DG Information Societies and Media. He is an elected member of the UK Computing Research Committee (UKCRC) executive. He is Editor-in-Chief of ACM Computing Surveys.

Professor Hankin is a Chartered Engineeer (CEng) and a member of the British Computer Society (MBCS) and the Association of Computing Machinery. He is also a fellow of the Institute of Engineering and Technology (FIET), the City and Guilds Institute (FCGI) and the Royal Society of Arts, Commerce and Manufacture (FRSA).