People
The following are some of the researchers actively working in the area of automated reasoning.
Peter Aczel
Peter Andrews
Alessandro Armando
Jurgen Avenhaus
Arnon Avron
Franz Baader
Matthias Baaz
Leo Bachmair
Henk Barendregt
David Basin
Joseph L. Bates
Peter Baumgartner
Michael Beeson
Christoph Benzmuller
Wolfgang Bibel
Armin Biere
Maria Paola Bonacina
Robert Boyer
E. Bryant
Alan Bundy
Rod Burstall
Ricardo Caferra
Muffy Calder (nee Thomas)
Jacques Calmet
Domenico Cantone
Alessandro Cimatti
Ed Clarke
Tony Cohn
Simon Colton
Robert L. Constable
David Crocker
Ingo Dahn
Martin Davis
Nachum Dershowitz
David L. Dill
Clare Dixon
Gilles Dowek
Thomas Eiter
Uwe Egly
William Farmer
Amy Felty
Michael Fisher
Ulrich Furbach
Didier Galmiche
Harald Ganzinger
Jurgen Giesl
Giunchiglia
Fausto Giunchiglia
Eugene Goldber
Andrew Gordon
Michael J.C. Gordon
Rajeev Gore
Jean Goubault-Larrecq
Bernhard Gramlich
Philippe de Groote
Reiner Haehnle
John Harrison
Ryuzo Hasegawa
Lawrence Henschen
Thomas A. Henzinger
Miki Hermann
Andreas Herzig
Patricia Hill
Sir Tony Hoare
Steffen Holldobler
Ian Horrocks
Jieh Hsiang
Gerard Huet
Dieter Hutter
Andrew Ireland
Daniel Jackson
Deepak Kapur
Matt Kaufmann
Claude Kirchner
Helene Kirchner
Michael Kohlhase
Thomas Kolbe
Robert Kowalski
Christoph Kreitz
Kim Guldstrand Larsen
Alexander Leitsch
Pierre Lescanne
Reinhold Letz
John Lloyd
Ewing L. Lusk
Chris Lynch
David McAllester
Willian McCune
Sharad Malik
Zohar Manna
Ursula Martin
Fabio Massacci
Marta Cialdea Mayer
Tom Melham
Aart Middeldorp
Dale Miller
John C. Mitchell
Ralf Moeller
J Strother Moore
Neil V. Murray
Paliath Narendran
Bernhard Nebel
Greg Nelson
Ilkka Niemela
Robert Nieuwenhuis
Tobias Nipkow
Andreas Nonnengart
Hans-Juergen Ohlbach
Ross Overbeek
Leszek Pacholski
Peter F. Patel-Schneider
Lawrence C. Paulson
Jeff Pelletier
Nicolas Peltier
Luis Pereira
Frank Pfenning
David A. Plaisted
David Pym
Uday Reddy
Erik Rosenthal
John Rushby
Michael Rusinowitch
Ulrike Sattler
Manfred Schmidt-Schauss
Stephan Schulz
Peter H. Schmitt
Carsten Schurmann
Roberto Sebastiani
Natarajan Shankar
Jorg H. Siekmann
John Slaney
Doug Smith
Wayne Snyder
Volker Sorge
Viorica Sofronie-Stokkermans
Mark Stickel
Geoff Sutcliffe
Ralf Treinen
Carolyn Talcott
Cesare Tinelli
Ashish Tiwari
Klaus Truemper
Moshe Y. Vardi
Andrei Voronkov
Richard Waldinger
Toby Walsh
Christoph Walther
Christoph Weidenbach
Wolfgang Windsteiger
Larry Wos
Hantao Zhang
Sponsored by:
