Back to advisors
BB

Benedict Bunting

Lecturer · Department of Computer Science and Technology

University of Cambridge · United Kingdom
Programming Languages, Semantics and Verification

About

I am the the Sultan Qaboos Early Career Research Fellow & College Lecturer in Computer Science at Corpus Christi College, and a Visitor to the department. Prior to joining Corpus Christi, I studied for a DPhil in Computer Science at Keble College, Oxford, where I previously completed an undergraduate Master of Computer Science degree. From 2023-2025, I was a College Lecturer at St John’s College, Oxford.

Selected publications

  • Reachability Types‚ Traces and Full Abstraction Benedict Bunting and Andrzej S. Murawski In 40th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2025‚ Singapore‚ June 23−26‚ 2025. Pages 1–13. IEEE. 2025. DOI (10.1109/LICS65433.2025.00046)
  • Contextual Equivalence for State and Control via Nested Data Benedict Bunting and Andrzej S. Murawski In Pawel Sobocinski‚ Ugo Dal Lago and Javier Esparza, editors, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2024‚ Tallinn‚ Estonia‚ July 8−11‚ 2024. Pages 19:1–19:14. ACM. 2024. DOI (10.1145/3661814.3662109)
  • Operational Algorithmic Game Semantics Benedict Bunting and Andrzej S. Murawski In 38th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2023‚ Boston‚ MA‚ USA‚ June 26−29‚ 2023. Pages 1–13. IEEE. 2023. DOI (10.1109/LICS56636.2023.10175791)

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.