Professor Andrzej Murawski MSc, DPhil

Professor Andrzej Murawski
Professor of Computer Science; Department of Computer Science
College office: 
Bernard Sufrin Fellow and Tutor in Computer Science
Research interests: 

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.