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

## Supervisor

## Suitable for

## 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.