Dominic is a lecturer and researcher in the Programming Languages and Systems group at the University of Kent. His research centers on programming language approaches to reasoning, often leveraging types in a functional setting. His lecturing typically spans functional programming, logic, and theory.