Gavin Bierman - Consulting Member Of Technical Staff
Gavin Bierman is a Consulting Member of Technical Staff based at Oracle Labs UK. He is a member of the Programming Language Research Group and is currently a member of the Java team helping design the next versions of Java.
His interests are 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.
Posts
- Finalizing in JDK 16 - Records on July 27, 2020 Amber JDK 16
- Finalizing in JDK 16 - Pattern matching for instanceof on July 27, 2020 Amber JDK 16
- Pattern Matching for Java on September 7, 2018 Amber
- Extending switch for pattern matching on April 1, 2017 Amber
Video
- Java Language Futures - Mid 2020 Edition on September 17, 2020