popular
trending
lists
login
Formal methods people
Edsger W. Dijkstra
Logic programming researchers
Tony Hoare
Edmund M. Clarke
Moshe Y. Vardi
Jeannette Wing
John Michael Spivey
K. Mani Chandy
David Gries
Faron Moller
Michael Butler (computer scientist)
Kevin Lano
Jan L. A. van de Snepscheut
David Harel
Richard Bird (computer scientist)
He Jifeng
Philip Wadler
G. Mike Reed
John Rushby
Donald A. MacKenzie
Dines Bjørner
Jonathan Bowen
Aad van Wijngaarden
Christopher Strachey
Amir Pnueli
Carl Adam Petri
Michael A. Jackson
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
