Regular biography
Andrzej Murawski is a Professor of Computer Science at the University of Oxford, Department of Computer Science. His research interests include the semantics of programming languages, automata theory, and software verification. He is particularly interested in a broad spectrum of programming paradigms, including higher-order recursion, probabilistic computation, and concurrency. His work often combines semantic research with automata theory and explores probabilistic systems, especially in the context of differential privacy and machine learning. He is actively involved in the SIGLOG community and serves as its Vice-Chair. He has also contributed to various academic events and journals.
Scholar-generated biography
Andrzej Murawski is a Professor of Computer Science at the University of Oxford, specializing in Programming Languages, Semantics, and Verification. His research focuses on the theoretical foundations of programming languages, particularly in the areas of semantics, concurrency, and verification. He has contributed significantly to the understanding of recursion schemes, probabilistic programs, and compositional modeling. His work explores the intersection of game semantics, nominal techniques, and formal verification, with applications in software modeling and automated reasoning. Murawski's publications address challenges in language equivalence, program refinement, and the decidability of formal systems.