Scholarly Index

Logic, programming, and type systems

Lifetime World Top1000 Scholar ranking for Logic, programming, and type systems.

World rank	Scholar	Impact score	Total citations	Total publications
1	Moshe Y. Vardi	99.90	25,743	551
2	Thomas A. Henzinger	99.78	27,972	341
3	Philip Wadler	99.75	14,497	165
4	Luca Cardelli	99.75	14,387	181
5	Rajeev Alur	99.71	25,110	223
6	Matthias Felleisen	99.71	10,770	248
7	Simon Peyton Jones	99.71	11,026	402
8	Leslie Lamport	99.71	42,018	196
9	Benjamin C. Pierce	99.68	10,405	248
10	John C. Mitchell	99.67	21,208	344
11	Alex Aiken	99.61	17,694	294
12	Gordon Plotkin	99.61	14,343	149
13	Amir Pnueli	99.59	19,396	186
14	Zohar Manna	99.50	7,812	131
15	Frank Pfenning	99.48	7,595	215
16	Andrew W. Appel	99.48	7,492	170
17	José Meseguer	99.47	13,722	259
18	Robert Harper	99.43	6,886	216
19	Craig Chambers	99.42	8,789	133
20	Joseph Y. Halpern	99.40	23,822	409
21	Dexter Kozen	99.38	10,327	203
22	Thomas Reps	99.38	15,486	255
23	Martin Rinard	99.36	15,166	341
24	Grigore Roşu	99.36	7,661	230
25	Matthew Hennessy	99.32	7,123	127
26	Sumit Gulwani	99.31	10,635	235
27	Joseph A. Goguen	99.30	14,725	152
28	Nobuko Yoshida	99.29	7,866	225
29	Naoki Kobayashi	99.29	6,699	327
30	Xavier Leroy	99.28	13,138	471
31	Jens Palsberg	99.27	5,365	249
32	Vaughan Pratt	99.23	13,141	113
33	Cormac Flanagan	99.22	7,172	113
34	Patrick Cousot	99.21	16,073	130
35	C. A. R. Hoare	99.21	22,872	129
36	Paul Hudak	99.20	8,923	107
37	Georg Gottlob	99.19	16,822	350
38	Martin Odersky	99.17	6,297	163
39	Martı́n Abadi	99.17	29,858	156
40	E. Allen Emerson	99.14	12,825	92
41	Bart Jacobs	99.13	4,652	230
42	Lawrence C. Paulson	99.10	3,975	148
43	Peter W. O’Hearn	99.08	6,112	92
44	Robin Milner	99.05	15,945	106
45	Greg Morrisett	99.03	6,662	117
46	Bertrand Meyer	99.02	32,624	677
47	Derek Dreyer	99.01	4,780	135
48	Thomas Eiter	99.01	12,714	327
49	Dale Miller	98.97	4,958	160
50	Deepak Kapur	98.96	4,073	160