Logic

Suggested (co)author(s):

• Name: Dr. Andrey Voronkov
• Email: andrey@voronkov.com, voronkov@cs.man.ac.uk
• Affiliation: University of Manchester, UK
• URL: http://voronkov.com
• Comments: an long-time organizer of LPAR, http://dblp.uni-trier.de/db/indices/a-tree/v/Voronkov:Andrei.html
• Suggested by: User:Mokhov

---

• Name: Dr. Geoff Sutcliffe
• Email: geoff@cs.miami.edu
• URL: http://www.cs.miami.edu/~geoff/
• Affiliation: University of Florida, http://dblp.uni-trier.de/db/indices/a-tree/s/Sutcliffe:Geoff.html
• Comments: authored TPTP, longtime friend and collaborator of Dr. Voronkov
• Suggested by: User:Mokhov

---

• Name: Dr. Tobias Nipkow
• Email: nipkow@in.tum.de
• Affiliation: tum.de
• Comments: co-authored Isabelle for higher-order logic, editor in chief of JAR
• Suggested by: User:Mokhov

---

• Name: Dr. Lawrence Paulson
• Email: lp15@cam.ac.uk
• Affiliation: cam.ac.uk
• Comments: co-authored Isabelle, etc.
• Suggested by: User:Mokhov

---

• Name: Dr. Rene Lalement
• Email:
• Affiliation: Ecole Nationale des Ponts et Chaussees, Paris, France
• Comments: Wrote "Computation as Logic", ISBN: 0-13-770009-1
• Suggested by: User:Mokhov