Topics in Automata Theory, Program Verification and Programming Languages (including lambda calculus and categorical semantics)
Supervisor
Suitable for
Abstract
Prof Murawski is willing to supervise in the area of automata theory, program verification and programming languages (broadly construed, including lambda calculus and categorical semantics).
For a taste of potential projects, follow this link.