Andrzej Murawski

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 draws on game semantics, a modelling framework that uses games to represent computational processes. (You can find a brief introduction to the area here.) I enjoy combining semantic research with automata theory. Recent examples of this include work on collapsible pushdown automata, automata over infinite alphabets, and tree-stack automata. I’m also exploring probabilistic systems, particularly in the context of differential privacy and machine learning. For more on this, please see my publications page. I’m actively involved in the SIGLOG community and currently serve as its Vice-Chair. From 2014 to 2022, I was Editor-in-Chief of SIGLOG News, which publishes accessible surveys of research relevant to SIGLOG. I also serve on the Steering Committee of FoSSaCS, the Editorial Board of Information and Computation, and the Advisory Boards of LMCS and TheoretiCS.