Professor Andrzej Murawski
Bernard Sufrin Fellow & Tutor in Computer Science
Associate Professor of Programming Languages
Education
MSc (Nicolaus Copernicus), DPhil (Oxford)
My research concerns the semantics of programing languages and its applications in software verification. I am interested in a broad spectrum of programming paradigms. Some recent examples include higher-order recursion, probabilistic computation, first- and higher-order state, concurrency, exceptions and objects.
Much of my work is based on game semantics, a modelling theory that uses games to model computation (a brief introduction to the area can be found here).
I like to blend research in semantics with automata theory. The latest examples are collapsible pushdown automata, automata over infinite alphabets and tree-stack automata. I am also interested in probabilistic systems in the context of differential privacy and machine learning. For more details, please see my publications page.
I’m involved in the activities of SIGLOG and currently serve as its Vice-Chair. Between 2014 and 2022 I was the Editor of SIGLOG News, which features highly readable surveys of research relevant to SIGLOG. I am also on the Steering Committee of FoSSaCS.