This page is still under construction, so it is by no means complete.
For a better service to the mecanized
Reasoning community I will need your help, so please contribute!.
Send any links, suggestions, encouragement, or
donations by clicking
here.
Individual Researchers specializing on Mechanized Reasoning
Index
- Maria Paola Bonacina (University of Iowa)
- F. K. Hanna, University of Kent, UK
-
- Roger Jones
- David McAllester,
Massachusetts Institute of Technology, USA
- Tom Melham, University of Glasgow, UK
-
Michael Kohlhase, Universität des Saarlandes, Germany
-
Geoff Sutcliffe (Australia)
- Benjamin Shults
(University of Texas at Austin)
- Jim Grundy
(Abo Akademi University, Finland)
- John Harrison
(Abo Akademi University, Finland)
-
Christopher Lynch
(Clarkson University, USA)
- Robert Nieuwenhuis
(Technical University of Catalonia (UPC), Spain
-
David Barker-Plummer (Stanford University)
- Reiner H"ahnle
(University of Karlsruhe, Germany)
-
Mike Gordon
(University of Cambridge, UK)
-
Peter Andrews (CMU)
-
David Potts (University of Manchester)
This page comes to you courtesy of
Michael Kohlhase and
Carolyn Talcott.
Last updated 5 March 2001.