Scholarly Index
Gavin Bierman
University of Cambridge; 2,232 total citations; 59 total publications; best world rank #230
University of Cambridge
2,232Total citations
59Total publications
21H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 230 | GB 30 | 96.84 |
| Formal Methods in Verification | Lifetime | 730 | GB 64 | 94.10 |
| Logic, programming, and type systems | 2021-2025 | 618 | GB 73 | 49.55 |