Celebrity Lists » formal methods people

popular
trending
lists
login

Formal methods people

Edsger W. Dijkstra
Logic programming researchers
Tony Hoare
Radhia Cousot
Martyn Thomas
Ursula Martin
David Parnas
John McCarthy (computer scientist)
C. A. R. Hoare
Niklaus Wirth
Edsger W. Dijkstra
Leslie Lamport
Dana Scott
Sergiy Vilkomir
Rudolf Berghammer
Cas Cremers
Ib Holm Sørensen
David Watt (computer scientist)
Marta Kwiatkowska
Peter O'Hearn
Mark d'Inverno
Kaisa Sere
Steve Reeves (computer scientist)
Martin Henson
Fred B. Schneider
Nikil Dutt
Carl Hewitt

Latest Activity

Latest Events

Chrishell Stause and Georgia FlipoBreakup - 26th Oct 2026by annika_lb

Gabby Thomas and Spencer McManesMarriage - 26th Oct 2026by Redhot79

Efton Chism and Devynn WarnsEngagement - 24th Oct 2026by Redhot79

Sean Hannity and Ainsley EarhardtMarriage - 24th Oct 2026by Redhot79

Follow WDW on Facebook

0.429

whosdatedwho.com

copyright - terms - privacy