Scholarly Index
Neel Krishnaswami
University of Cambridge; 281 total citations; 18 total publications; best world rank #215
University of Cambridge
281Total citations
18Total publications
8H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 215 | GB 26 | 73.24 |
| Formal Methods in Verification | 2021-2025 | 519 | GB 45 | 67.10 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 795 | GB 69 | 45.50 |