Scholarly Index
Dimitrios Vytiniotis
Google DeepMind (United Kingdom); 2,284 total citations; 94 total publications; best world rank #240
Google DeepMind (United Kingdom)
2,284Total citations
94Total publications
23H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 240 | GB 32 | 96.69 |
| Formal Methods in Verification | Lifetime | 830 | GB 69 | 93.40 |
| Security and Verification in Computing | Lifetime | 721 | GB 45 | 90.96 |