Department of Computing

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

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

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

[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 ]
[CHM05a]	David Clark, Sebastian Hunt, and Pasquale Malacaria. Quantified interference for a while language. Electronic Notes in Theoretical Computer Science, 112:149-166, January 2005. Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004). [ bib | http | .pdf | 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 ]

Funding

2005-2008. EPSRC.
Principal Investigator on 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).

External

Member of organising committee for First International Workshop on
Programming Language Interference and Dependence, Verona, Italy,
25 August 2004. Affiliated with LOPSTR, PEPM, PPDP, SAS.