Directory: Top/Science/Math/Logic_and

Top / Science / Math / Logic_and_Foundations / People /

Avigad, Jeremy
Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
http://www.andrew.cmu.edu/user/avigad/
Cmu.edu ~ Site Info Whois Trace Route RBL Check

Sieg, Wilfried
Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.
http://www.hss.cmu.edu/philosophy/faculty-sieg.php
Cmu.edu ~ Site Info Whois Trace Route RBL Check

Luo, Zhaohui
University of London, UK - Type theory, theoretical computer science and semantics of natural languages.
http://www.cs.rhul.ac.uk/~zhaohui/
Rhul.ac.uk ~ Site Info Whois Trace Route RBL Check

Friedman, Sy D.
University of Vienna - Set theory.
http://www.logic.univie.ac.at/~sdf/
Univie.ac.at ~ Site Info Whois Trace Route RBL Check

Vickers, Steven
University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.
http://www.cs.bham.ac.uk/~sjv/
Bham.ac.uk ~ Site Info Whois Trace Route RBL Check

Vereshchagin, Nikolai
Moscow State University - Theory of computation, Intuitionistic logic
http://lpcs.math.msu.su/~ver/
Msu.su ~ Site Info Whois Trace Route RBL Check

Moss, Lawrence
Indiana University - Applied logic.
http://www.indiana.edu/~iulg/moss/
Indiana.edu ~ Site Info Whois Trace Route RBL Check

Kastermans, Bart
University of Michigan - Set theory.
http://www.bartk.nl/
Bartk.nl ~ Site Info Whois Trace Route RBL Check

Herwig, Bernhard
University of Freiburg - Model theory.
http://home.mathematik.uni-freiburg.de/herwig/
Uni-freiburg.de ~ Site Info Whois Trace Route RBL Check

Artemov, Sergei
City University of New York Graduate Center - Proof theory, logic of proofs.
http://web.cs.gc.cuny.edu/~sartemov/
Cuny.edu ~ Site Info Whois Trace Route RBL Check