About
Dr. Sebastian Hunt is a Senior Lecturer in the Department of Computing at City St George's, University of London. He has been a faculty member since 1992, progressing from Lecturer to Senior Lecturer in 2005. His academic foundation includes a BSc in Physics and Philosophy from the University of Bristol and an MSc and PhD in Computing from Imperial College London.
Research Interests: His primary research lies in Software and Systems Engineering, with a strong emphasis on information flow security, semantics of security policies, and enforcement mechanisms. He investigates how security policies can be formally defined and enforced in programming languages, particularly focusing on information erasure, termination-insensitive noninterference, and quantitative information flow. His work bridges theoretical computer science with practical security concerns in software systems.
Publication Trends: His recent publications, spanning from 2001 to 2023, demonstrate a consistent focus on formal methods in security. He frequently publishes in high-impact venues like PACMPL, IEEE CSF, and ESOP. A key trend is the evolution from qualitative to quantitative models of information flow, culminating in recent work that reconciles Shannon's information theory with Scott's domain theory for a more robust model of computable information.
- Scientific Awards and Memberships:
- Educational Affiliate Employee, British Computer Society (2011–present)
- Programme Committee Member, 14th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2013)
- Programme Committee Member, 8th International Conference on Information Systems Security (ICISS 2012)
Advising and Grants: While specific advisees are not listed, his long-standing research collaborations with prominent figures like David Sands and Isabella Mastroeni suggest a strong mentoring role. His research has been supported by funding bodies such as the Swedish Science Council (SSF), as acknowledged in his recent work. His program committee roles indicate significant service to the academic community.
Labs and Teams: The provided text does not mention specific labs or research teams. However, his extensive collaborative work, particularly with researchers from other institutions, suggests active participation in international research networks focused on programming languages and security.
