معرفی
Benedict Bunting is a Doctoral Student in the Department of Computer Science at the University of Oxford, concurrently serving as a College Lecturer. He is affiliated with St John's College and Keble College. His research focuses on programming languages, formal semantics, and theoretical computer science, particularly in areas such as algorithmic game semantics and concurrency theory. Bunting's work explores foundational aspects of programming languages through operational and denotational approaches.
- Supervisor: Andrzej Murawski
His research themes include state and control mechanisms in programming languages, nested data structures, and the application of game semantics to program equivalence. He has published at leading conferences such as the ACM/IEEE Symposium on Logic in Computer Science (LICS).
