Scholarly Index

Logic, programming, and type systems

2021-2025 World Top1000 Scholar ranking for Logic, programming, and type systems.

World rank	Scholar	Impact score	Total citations	Total publications
1	Lars Birkedal	99.62	5,033	193
2	Robbert Krebbers	99.60	1,912	64
3	Derek Dreyer	99.30	4,780	135
4	Andrew W. Appel	98.49	7,492	170
5	Nobuko Yoshida	98.27	7,866	225
6	Azadeh Farzan	97.45	787	48
7	Geoff Sutcliffe	96.99	2,659	141
8	Giuseppe De Giacomo	96.67	13,258	326
9	Nicolas Tabareau	96.64	916	57
10	Jonathan Immanuel Brachthäuser	96.51	324	35
11	Ningning Xie	96.36	159	30
12	Amin Timany	96.22	589	39
13	Péter Müller	95.85	2,421	159
14	Daniel Gratzer	95.72	207	19
15	Dominique Devriese	95.24	1,255	91
16	Bruno C. d. S. Oliveira	94.74	1,115	100
17	Filippo Bonchi	94.74	1,119	80
18	Sam Lindley	94.68	1,391	78
19	Sam Staton	94.68	796	63
20	Adrian Francalanza	94.52	727	98
21	Hiroshi Unno	94.45	722	47
22	Benjamin Lucien Kaminski	94.31	788	32
23	Michael Sammler	94.02	324	18
24	Rupak Majumdar	93.93	10,701	254
25	Daan Leijen	93.93	2,143	83
26	Shawn Standefer	93.71	188	33
27	Adam Chlipala	93.64	2,554	96
28	Ugo Dal Lago	93.40	1,159	107
29	Anton Lorenzen	93.02	48	10
30	François Pottier	92.86	1,971	108
31	Jules Jacobs	92.80	160	17
32	Nicolas Wu	92.59	518	64
33	Marcelo Fiore	92.16	1,856	82
34	Ranjit Jhala	92.11	8,639	129
35	Roberto Giacobazzi	92.02	1,792	112
36	Steve Zdancewic	91.61	6,246	136
37	Ben Greenman	91.34	409	35
38	Heinrich Wansing	91.25	2,165	133
39	Markus Hecher	91.12	261	57
40	Jørgen Villadsen	91.01	1,316	88
41	Laura Kovács	90.95	637	77
42	Artur Korniłowicz	90.79	934	75
43	Hitoshi Omori	90.32	634	82
44	Takeshi Tsukada	90.26	893	103
45	Bruno Da Ré	90.13	173	26
46	Moshe Y. Vardi	90.06	25,743	551
47	Amal Ahmed	89.97	1,931	79
48	Simon Spies	89.52	130	12
49	Zhong Shao	89.38	3,374	151
50	Dan Frumin	89.23	122	10