popular
trending
lists
login
Formal methods people
Logic programming researchers
Radhia Cousot
Ursula Martin
David Parnas
John McCarthy (computer scientist)
C. A. R. Hoare
Edsger W. Dijkstra
Leslie Lamport
Dana Scott
Cas Cremers
Ib Holm Sørensen
David Watt (computer scientist)
Martyn Thomas
Peter O'Hearn
Mark d'Inverno
Kaisa Sere
Steve Reeves (computer scientist)
Fred B. Schneider
Nikil Dutt
Carl Hewitt
Daniel Jackson (computer scientist)
Charles Leonard Hamblin
Joseph Sifakis
E. Allen Emerson
Edmund M. Clarke
Latest Activity
Latest Events
Alaina Marie Scott and Matt Moeller
Child - 14th Apr 2026
by missepticeye
Lane Johnson and Kelsey Holmer
Marriage - 12th Apr 2026
by missepticeye
Jessie Cave and Alfie Brown (i)
Engagement - 12th Apr 2026
by missepticeye
Chase McWhorter and Hallie Batchelder
Hookup - 12th Apr 2026
by missepticeye
see more
Follow WDW on Facebook
