Gavin Bierman
Consulting Member of Technical Staff
Gavin Bierman
Gavin Bierman is a Consulting Member of Technical Staff. He is a member of the Programming Language Research Group and works in the Java Platform Group helping design the next versions of the Java Programming Language and Virtual Machine. He is currently the editor of the Java Language Specification.
His research interests are more broadly in the areas of programming language design and formalisation. He has published papers on Java, C#, TypeScript, databases (object-oriented, XML and noSQL), type systems, operational semantics, separation logic, dynamic software updating, relational algebra, lambda calculus, control operators, modal logic, proof theory and category theory.
He joined Oracle in March 2014. Previously he was a senior researcher at Microsoft Research Cambridge from March 2004 until March 2014. Before that he was a lecturer at the University of Cambridge Computer Laboratory and a Fellow, College Lecturer and Director of Studies at St John's College, Cambridge. He has a PhD from the University of Cambridge, and a BSc from Imperial College.
Papers and talks can be found here.