Scholarly Index
Andrew M. Pitts
University of Cambridge; 3,614 total citations; 101 total publications; best world rank #113
University of Cambridge
3,614Total citations
101Total publications
24H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 127 | GB 14 | 98.08 |
| Logic, Reasoning, and Knowledge | Lifetime | 161 | GB 31 | 97.57 |
| Advanced Algebra and Logic | Lifetime | 395 | GB 23 | 94.36 |
| Formal Methods in Verification | Lifetime | 817 | GB 68 | 93.48 |
| Homotopy and Cohomology in Algebraic Topology | Lifetime | 486 | GB 37 | 93.49 |
| semigroups and automata theory | Lifetime | 765 | GB 49 | 88.43 |
| Logic, programming, and type systems | 2021-2025 | 113 | GB 16 | 81.67 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 388 | GB 34 | 66.03 |