Gavin Bierman is a University Lecturer (Associate Professor) at the University of Cambridge Computer Laboratory. His research interests include the semantics of programming languages, type systems, database query languages, semi structured data, and proof theory.