Scholarly Index
Zhengyao Lin
Carnegie Mellon University; 30 total citations; 11 total publications; best world rank #400
Carnegie Mellon University
30Total citations
11Total publications
3H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | 2021-2025 | 550 | US 118 | 65.90 |
| Logic, programming, and type systems | 2021-2025 | 400 | US 77 | 61.28 |