Skip to main content

Topics in Automata Theory, Program Verification, Lambda Calculus and Types


Suitable for

MSc in Mathematics and Foundations of Computer Science
MSc in Computer Science
Mathematics and Computer Science, Part C
Computer Science and Philosophy, Part C
Computer Science, Part C


Prof Murawski is willing to supervise in the area of automata theory, program verification, lambda calculus and types.

For a taste of potential projects, follow this link.