Professor Andrzej Murawski MSc, DPhil
My research revolves around programming language semantics and software verification. I am interested in the whole spectrum of programming paradigms and like to blend research in semantics with automata-theoretic methods. In particular, I have expertise in modelling logical systems and programming languages using games, an area known as game semantics. I especially enjoy obtaining results that bridge gaps between semantics and other fields.