Professor Andrzej Murawski MSc, DPhil
Subjects:
Department:
Department of Computer Science
College office:
Bernard Sufrin Fellow 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.