Skip to main content

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

Supervisor

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

Abstract

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.