The Full Wiki

More info on Formal methods people

Formal methods people: Trending topics

Advertisements
  

The following are the current most viewed articles on Wikipedia within Wikipedia's Formal methods people category. Think of it as a What's Hot list for Formal methods people. More info »

This is a beta release and so the figures may be a day or two out of date. We'd love to get your thoughts.

Rank Topic Wikipedia views
1 Edsger W. Dijkstra 792 Sparkline of topic views for 2 weeks
2 John McCarthy (computer scientist) 541 Sparkline of topic views for 2 weeks
3 C. A. R. Hoare 377 Sparkline of topic views for 2 weeks
4 Niklaus Wirth 341 Sparkline of topic views for 2 weeks
5 Leslie Lamport 195 Sparkline of topic views for 2 weeks
6 David Parnas 158 Sparkline of topic views for 2 weeks
7 Bertrand Meyer 139 Sparkline of topic views for 2 weeks
8 Robin Milner 123 Sparkline of topic views for 2 weeks
9 Dana Scott 115 Sparkline of topic views for 2 weeks
10 Michael A. Jackson 94 Sparkline of topic views for 2 weeks
11 Ole-Johan Dahl 87 Sparkline of topic views for 2 weeks
12 Amir Pnueli 63 Sparkline of topic views for 2 weeks
13 Robert Floyd 62 Sparkline of topic views for 2 weeks
14 Robert Kowalski 56 Sparkline of topic views for 2 weeks
15 Carl Adam Petri 48 Sparkline of topic views for 2 weeks
16 Yuri Gurevich 45 Sparkline of topic views for 2 weeks
17 Christopher Strachey 42 Sparkline of topic views for 2 weeks
18 E. Allen Emerson 39 Sparkline of topic views for 2 weeks
19 Moshe Y. Vardi 34 Sparkline of topic views for 2 weeks
20 Samson Abramsky 32 Sparkline of topic views for 2 weeks
21 Gordon Plotkin 31 Sparkline of topic views for 2 weeks
22 Zhou Chaochen 30 Sparkline of topic views for 2 weeks
23 David May (computer scientist) 30 Sparkline of topic views for 2 weeks
24 Carl Hewitt 30 Sparkline of topic views for 2 weeks
25 Donald A. MacKenzie 29 Sparkline of topic views for 2 weeks
26 Ian Bayley 28 Sparkline of topic views for 2 weeks
27 Jeannette Wing 27 Sparkline of topic views for 2 weeks
28 Adriaan van Wijngaarden 26 Sparkline of topic views for 2 weeks
29 Joseph Goguen 26 Sparkline of topic views for 2 weeks
30 Michael J. C. Gordon 26 Sparkline of topic views for 2 weeks
31 John Guttag 26 Sparkline of topic views for 2 weeks
32 Charles Leonard Hamblin 26 Sparkline of topic views for 2 weeks
33 He Jifeng 24 Sparkline of topic views for 2 weeks
34 Jonathan Bowen 23 Sparkline of topic views for 2 weeks
35 Jean-Raymond Abrial 23 Sparkline of topic views for 2 weeks
36 David Gries 23 Sparkline of topic views for 2 weeks
37 David Harel 22 Sparkline of topic views for 2 weeks
38 Bill Roscoe 20 Sparkline of topic views for 2 weeks
39 John C. Reynolds 20 Sparkline of topic views for 2 weeks
40 Eric Hehner 19 Sparkline of topic views for 2 weeks
41 J Strother Moore 18 Sparkline of topic views for 2 weeks
42 Dines Bjørner 18 Sparkline of topic views for 2 weeks
43 Egon Börger 17 Sparkline of topic views for 2 weeks
44 Nikil Dutt 17 Sparkline of topic views for 2 weeks
45 David Watt (computer scientist) 17 Sparkline of topic views for 2 weeks
46 J. Anthony Hall 17 Sparkline of topic views for 2 weeks
47 John Alan Robinson 17 Sparkline of topic views for 2 weeks
48 Rod Burstall 17 Sparkline of topic views for 2 weeks
49 Nancy Leveson 17 Sparkline of topic views for 2 weeks
50 Daniel Jackson (computer scientist) 17 Sparkline of topic views for 2 weeks
51 Matthew Hennessy 16 Sparkline of topic views for 2 weeks
52 F. X. Reid 16 Sparkline of topic views for 2 weeks
53 Cliff Jones (computer scientist) 15 Sparkline of topic views for 2 weeks
54 Mark Harman (computer scientist) 15 Sparkline of topic views for 2 weeks
55 Evert Willem Beth 14 Sparkline of topic views for 2 weeks
56 Robert S. Boyer 14 Sparkline of topic views for 2 weeks
57 Martyn Thomas 14 Sparkline of topic views for 2 weeks
58 Richard Bornat 13 Sparkline of topic views for 2 weeks
59 Klaus Samelson 13 Sparkline of topic views for 2 weeks
60 Andrew Martin (computer scientist) 13 Sparkline of topic views for 2 weeks
61 Harlan Mills 12 Sparkline of topic views for 2 weeks
62 Chris Tofts 12 Sparkline of topic views for 2 weeks
63 Jim Horning 11 Sparkline of topic views for 2 weeks
64 Gerard J. Holzmann 11 Sparkline of topic views for 2 weeks
65 Lawrence Paulson 11 Sparkline of topic views for 2 weeks
66 Jawed Siddiqi 11 Sparkline of topic views for 2 weeks
67 Michael Fourman 11 Sparkline of topic views for 2 weeks
68 Faron Moller 11 Sparkline of topic views for 2 weeks
69 Michael Hinchey 11 Sparkline of topic views for 2 weeks
70 Rajeev Alur 11 Sparkline of topic views for 2 weeks
71 John Rushby 10 Sparkline of topic views for 2 weeks
72 Ralph-Johan Back 10 Sparkline of topic views for 2 weeks
73 Jim Woodcock 10 Sparkline of topic views for 2 weeks
74 Michael Butler (computer scientist) 10 Sparkline of topic views for 2 weeks
75 Matt Kaufmann 10 Sparkline of topic views for 2 weeks
76 Joe Stoy 9 Sparkline of topic views for 2 weeks
77 Jan Bergstra 7 Sparkline of topic views for 2 weeks
78 Steve Reeves (computer scientist) 7 Sparkline of topic views for 2 weeks
79 Mark d'Inverno 7 Sparkline of topic views for 2 weeks
80 G. Mike Reed 6 Sparkline of topic views for 2 weeks
81 Don Sannella 6 Sparkline of topic views for 2 weeks
82 John V. Tucker 6 Sparkline of topic views for 2 weeks
83 Ursula Martin 6 Sparkline of topic views for 2 weeks
84 Jane Hillston 6 Sparkline of topic views for 2 weeks
85 Manfred Broy 6 Sparkline of topic views for 2 weeks
86 Peter Mosses less than 5 views
87 Fred B. Schneider less than 5 views
88 Andrew D. Gordon less than 5 views
89 John Fitzgerald (computer scientist) less than 5 views
90 Tom Maibaum less than 5 views
91 Liu Zhiming less than 5 views
92 Jim Davies (computer scientist) less than 5 views
93 Martin Henson less than 5 views
94 Kaisa Sere less than 5 views

Subcategories

Parent categories


Encyclopedia

From Wikipedia, the free encyclopedia

People involved with formal methods. See also Who's Who in Formal Methods.

Subcategories

This category has the following 2 subcategories, out of 2 total.

L

O

Pages in category "Formal methods people"

The following 92 pages are in this category, out of 92 total. This list may not reflect recent changes (learn more).

A

B

D

E

F

G

H

H cont.

J

K

L

M

P

R

S

T

V

W

Z


Advertisements






Got something to say? Make a comment.
Your name
Your email address
Message