معرفی
Professor Andrzej Murawski is a Tutorial Fellow at Worcester College, affiliated with the University of Oxford Department of Computer Science. His research spans the semantics of programming languages, automata theory, and software verification, integrating game semantics and probabilistic computation for modeling complex systems.
- Education: D.Phil., University of Oxford (2001)
His work addresses higher-order recursion, concurrent programs, and probabilistic verification, including differential privacy and machine learning applications. Recent publications focus on reachability analysis, contextual equivalence, and automata over infinite alphabets.
Key activities include organizing SIGLOG (Vice-Chair), editing SIGLOG News, and serving on LICS, POPL, and CONCUR program committees. Awards include the POPL 2025 Distinguished Paper Award.
Students: Current advisees include Benedict Bunting and Haoxuan Yin; past students include Fabian Zaiser and David Hopkins.
