Scholarly Index
Sam Lindley
University of Edinburgh; 1,391 total citations; 78 total publications; best world rank #18
University of Edinburgh
1,391Total citations
78Total publications
21H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 262 | GB 34 | 96.46 |
| Logic, programming, and type systems | 2021-2025 | 18 | GB 3 | 94.68 |
| Parallel Computing and Optimization Techniques | 2021-2025 | 789 | GB 32 | 79.91 |
| Formal Methods in Verification | 2021-2025 | 707 | GB 56 | 60.33 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 870 | GB 77 | 42.53 |