computer science

	STAFF — Andrzej Murawski  MSc (Toruń), DPhil (Oxon) Lecturer in Computer Science
	G8 Computer Science Building Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH. T: +44 (0)116 252 3440 F: +44 (0)116 252 3604 E: firstname.lastname@le.ac.uk

Research Interests

• Programming Languages
• Software Verification
• Denotational Semantics
• Complexity Theory

My research interests lie broadly in the field of semantics of programming languages. Most recently my efforts have concentrated on applying game semantics to program verification with the aim of establishing it as a robust foundation for analysing modern programs.

Each year the Department of Computer Science advertises a number of studentships and teaching assistantships to support suitably qualified doctoral students. Do get in touch if you would be interested in pursuing a PhD with me! Here is some information about the kind of projects I would particularly like to supervise.

• Andrzej Murawski:

• Biography
• Funding
• Publications
• Roles

Author: Andrzej Murawski (firstname.lastname@le.ac.uk), T: +44 (0)116 252 3440.
© University of Leicester. Last modified: 6th February 2012, 16:12:25.
CS Web Maintainer. Any opinions expressed on this page are those of the author.