معرفی
Prof. Nobuko Yoshida is the Christopher Strachey Chair of Computing at the University of Oxford's Department of Computer Science, leading the Programming Languages research theme. She joined Oxford in 2022 from Imperial College London, holding one of the oldest chairs in the department, previously held by Tony Hoare and Samson Abramsky. Her research focuses on session types, notably introducing Multiparty Session Types in 2008, which revolutionized protocol verification and earned the Most Influential POPL Paper Award (2018).
Her work spans concurrent and distributed systems, formal verification, and industry collaborations with companies like Red Hat, Google, and EDF Energy. She holds EPSRC funding, is an Honorary Fellow at Glasgow University, and serves on editorial boards for leading journals like ACM Transactions on Programming Languages and Systems. Her research group develops tools such as Scribble for runtime monitoring, deployed in projects like the US Ocean Observatories Initiative.
Awards include the British Computing Society Fellowship and EPSRC Established Career Fellowship. She mentors over 19 researchers who have secured academic and industry roles globally. Current students include Ari Hernawan, Kai Pischke, Jessica Richards, and Litu Zou.
