popular
trending
lists
login
Formal methods people
Edsger W. Dijkstra
Logic programming researchers
Tony Hoare
Radhia Cousot
Martyn Thomas
Ursula Martin
David Parnas
John McCarthy (computer scientist)
C. A. R. Hoare
Niklaus Wirth
Edsger W. Dijkstra
Leslie Lamport
Dana Scott
Sergiy Vilkomir
Rudolf Berghammer
Cas Cremers
Ib Holm Sørensen
David Watt (computer scientist)
Marta Kwiatkowska
Peter O'Hearn
Mark d'Inverno
Kaisa Sere
Steve Reeves (computer scientist)
Martin Henson
Fred B. Schneider
Nikil Dutt
Carl Hewitt
Latest Activity
Latest Events
Davina Michelle and Sebastiaan Brouwer
Engagement - 30th Oct 2026
by missepticeye
Beatrice Holloway and Rory Hinshelwood
Engagement - 27th Oct 2026
by missepticeye
Chrishell Stause and Georgia Flipo
Breakup - 26th Oct 2026
by annika_lb
Gabby Thomas and Spencer McManes
Marriage - 26th Oct 2026
by Redhot79
see more
Follow WDW on Facebook
