popular
trending
lists
login
Formal methods people
Logic programming researchers
Moshe Y. Vardi
Jeannette Wing
John Michael Spivey
David Gries
Faron Moller
Kevin Lano
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
Niklaus Wirth
Martyn Thomas
Maarten van Emden
Michael W. Shields
Latest Activity
Latest Events
Ilkay Gündogan and Sara Arfaoui
Child - 21st Apr 2026
by annika_lb
Natalie McQueen and Josh Groban
Engagement - 21st Apr 2026
by Redhot79
Anna Sitar and Josh Brubaker
Engagement - 20th Apr 2026
by missepticeye
Austin Hedges and Lexi Dickinson
Engagement - 19th Apr 2026
by Redhot79
see more
Follow WDW on Facebook
