popular
trending
lists
login
Formal methods people
Edsger W. Dijkstra
Logic programming researchers
Tony Hoare
Radhia Cousot
Ursula Martin
David Parnas
John McCarthy (computer scientist)
C. A. R. Hoare
Edsger W. Dijkstra
Leslie Lamport
Dana Scott
Cas Cremers
Ib Holm Sørensen
David Watt (computer scientist)
Martyn Thomas
Peter O'Hearn
Mark d'Inverno
Kaisa Sere
Steve Reeves (computer scientist)
Martin Henson
Fred B. Schneider
Nikil Dutt
Carl Hewitt
Daniel Jackson (computer scientist)
Charles Leonard Hamblin
Joseph Sifakis
E. Allen Emerson
Latest Activity
Latest Events
Thea Booysen and Jim Donaldson
Marriage - 20th Jul 2026
by TrickyBaby
J. D. Vance and Usha Vance
Child - 19th Jul 2026
by Phoebe
Melanie C and Chris Dingwall (Model)
Marriage - 18th Jul 2026
by Redhot79
Matthew Healy and Gabbriette Bechtel
Marriage - 18th Jul 2026
by TrickyBaby
see more
Follow WDW on Facebook
