Scholarly Index
Daan Leijen
Microsoft Research (United Kingdom); 2,143 total citations; 83 total publications; best world rank #25
Microsoft Research (United Kingdom)
2,143Total citations
83Total publications
26H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 156 | GB 20 | 97.60 |
| Formal Methods in Verification | Lifetime | 930 | GB 76 | 92.75 |
| Logic, programming, and type systems | 2021-2025 | 25 | GB 6 | 93.93 |
| Formal Methods in Verification | 2021-2025 | 139 | GB 10 | 87.15 |
| Parallel Computing and Optimization Techniques | 2021-2025 | 858 | GB 34 | 78.69 |