Concepedia

Gavin Bierman

GB

32

Publications

2.2K

Citations

21

H-Index

1992

Active since

Affiliations

Microsoft Research (United Kingdom)(Current)

University of Cambridge

Microsoft (United States)

University of Maryland, College Park

University of Birmingham

Gavin Bierman is an author at Microsoft Research (United Kingdom) specializing in engineering, computer science, and formal methods.

Top concepts

Publications per year

1992–2021

32

Publications

32

LINQ

Erik Meijer, Brian Beckman, Gavin Bierman · 2006 · 367 citations

, , +14

Separation logic and abstraction

Matthew Parkinson, Gavin Bierman · 2005 · 305 citations

, , +17

On an Intuitionistic Modal Logic

Gavin Bierman, Valeria de Paiva · Studia Logica · 2000 · 144 citations

Separation logic, abstraction and inheritance

Matthew Parkinson, Gavin Bierman · 2008 · 139 citations

, , +21

MJ: An imperative core calculus for Java and Java with effects

Gavin Bierman, Matthew Parkinson, Andrew M. Pitts · Clinical Rheumatology · 2021 · 108 citations · Full text

Rows per page

1–5 of 32