popular
trending
lists
login
Formal methods people
Logic programming researchers
Gérard Huet
Yuri Gurevich
Matt Kaufmann
Jane Hillston
Michael Hinchey
Nancy Leveson
Liu Zhiming
Rod Burstall
Jan Bergstra
John V. Tucker
Michael Butler (computer scientist)
J. Anthony Hall
Tom Maibaum
Ian Bayley
John Guttag
Jawed Siddiqi
Robert S. Boyer
Matthew Hennessy
Lawrence Paulson
Harlan Mills
Jim Woodcock
Don Sannella
Gerard J. Holzmann
Ralph-Johan Back
Latest Activity
Latest Events
Grant Williams and Kiki Milloy
Engagement - 28th Apr 2026
by Redhot79
Jaylon Jones and Jaden Jones
Marriage - 25th Apr 2026
by missepticeye
Ryan Weathers and Thayer Hall
Child - 22nd Apr 2026
by missepticeye
Ilkay Gündogan and Sara Arfaoui
Child - 21st Apr 2026
by annika_lb
see more
Follow WDW on Facebook
