Professor Andrzej Murawski MSc, DPhil

Professor Andrzej Murawski
Department of Computer Science
College office: 
Tutor in Computer Science
Research interests: 

My research centres around programming language semantics and software verification.It covers a broad spectrum of programming paradigms and benefits from a variety of automata-theoretic techniques.  In particular, I have extensive 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.