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
Niklaus Wirth
Edsger W. Dijkstra
Leslie Lamport
Dana Scott
Rudolf Berghammer
Cas Cremers
Ib Holm Sørensen
David Watt (computer scientist)
Martyn Thomas
Marta Kwiatkowska
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)
Latest Activity
Latest Events
Olcay Gulsen and Eelko van Kooten
Marriage - 11th Sep 2026
by missepticeye
Berget Lewis and Maurice Spek
Marriage - 11th Sep 2026
by missepticeye
Madlyn Ballatori and Colby Kissinger
Child - 10th Sep 2026
by Redhot79
Dotan and Grant Boone
Child - 9th Sep 2026
by missepticeye
see more
Follow WDW on Facebook
