Department of Computing

City "/> School of Informatics "/>People "/>Sebastian Hunt

I am a member of the Programming Languages and Systems research group.

Arrange a meeting

If you would like to arrange a meeting with me, please check my calendar and then email with some suggested times.

Research interests

My research interests include: language-based security; information flow; semantics and logic of computation; program
analysis; abstract interpretation; type systems; programming languages.

Selected publications

[HS06]	Sebastian Hunt and David Sands. On flow-sensitive security types. In Proc. Principles of Programming Languages, 33rd Annual ACM SIGPLAN - SIGACT Symposium (POPL'06), pages 79-90, Charleston, South Carolina, USA, January 2006. ACM Press. [ bib | .pdf | Abstract ]
[CHM05b]	David Clark, Sebastian Hunt, and Pasquale Malacaria. Quantitative information flow, relations and polymorphic types. Journal of Logic and Computation, Special Issue on Lambda-calculus, type theory and natural language, 18(2):181-199, 2005. [ bib | http | Abstract ]
[CHM02]	David Clark, Sebastian Hunt, and Pasquale Malacaria. Quantitative analysis of the leakage of confidential data. Electronic Notes in Theoretical Computer Science, 59(3):1-14, November 2002. QAPL'01, Quantitative Aspects of Programming Laguages (Satellite Event for PLI 2001). [ bib | http | .pdf | Abstract ]
[CHH02]	David Clark, Chris Hankin, and Sebastian Hunt. Information flow for algol-like languages. Computer Languages, 28(1), 2002. [ bib | Abstract ]

QIF Project

2005-2008. EPSRC.
Principal Investigator Quantitative Information Flow (start date 1 October 2005, duration 42 months).
Joint Project with David Clark (Kings College) and Pasquale Malacaria (Queen Mary).
Total value: £272,734 (£96,357 at City).