返回导师列表
BB

Benedict Bunting

Lecturer · Department of Computer Science and Technology

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

简介

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.

代表成果

  • 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)

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。