Professor Chris Hankin Department of Computing Imperial College London South Kensington Campus LONDON SW7 2AZ UK tel: fax: e-mail: +44 (0)207 594 8266 or +44 (0)207 594 5010 +44 (0)207 581 8024 clh@imperial.ac.uk

---

I am Professor of Computing Science. Since 1 June 2004 I have been Pro Rector (Research)

I am a member of the University of London Subject Area Board in Engineering and Technology and a member of the Senate of the University. I am a member of the Council of the City & Guilds of London Institute.

My research interests include:

program analysis safety critical systems coordination languages security

Recent research grants include:

Probabilistic Abstract Interpretation (EPSRC) Quantitative Analysis of Computational Resources (EPSRC) SecSafe (EU FET-Open project)

I am on the Editorial Boards of the following journals:

ACM Computing Surveys Journal of Logic and Computation (Oxford University Press) Journal of Autonomous Agents and Multi-Agent Systems (Kluwer) Journal of Software Tools for Technology Transfer (Springer)

Computability course material is available here.

A recent cv is here.