popular
trending
lists
login
Formal methods people
Logic programming researchers
Eike Best
Tim Denvir
Hussein Zedan
Sergiy Vilkomir
Robert France
Anders P. Ravn
Joost-Pieter Katoen
Ernst-Rüdiger Olderog
Peter Lucas (computer scientist)
David L. Dill
Greg Nelson (computer scientist)
Helmut Veith
Rudolf Berghammer
Gunther Schmidt
Bernhard Steffen (computer scientist)
Juan Pavón
Marta Kwiatkowska
Carroll Morgan (academic)
Andrew Martin (computer scientist)
Martin Henson
Jim Davies (computer scientist)
Mark Harman (computer scientist)
Chris Tofts
Manfred Broy
Latest Activity
Latest Events
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
Natalie McQueen and Josh Groban
Engagement - 21st Apr 2026
by Redhot79
see more
Follow WDW on Facebook
