Directory: Top/Science/Math/Logic_and

Top / Science / Math / Logic_and_Foundations / People /

Carlstrom, Jesper
Stockholm University - Constructive type theory and related mathematics.
http://www.math.su.se/~jesper/
Su.se ~ Site Info Whois Trace Route RBL Check

Pollett, Chris
San Jose State University - Logic, bounded arithemtic, computational complexity and quantum computation.
http://www.cs.sjsu.edu/faculty/pollett/
Sjsu.edu ~ Site Info Whois Trace Route RBL Check

Guglielmi, Alessio
Technische Universitaet Dresden - Proof Theory.
http://alessio.guglielmi.name/
Guglielmi.name ~ Site Info Whois Trace Route RBL Check

Plotkin, Gordon
Institute for Communicating and Collaborative Systems, UK - denotational and operational semantics of programming languages, type theory; domain-theoretic and categorical analyses of computation, proof theory, the semantics of natural language, process
http://www.inf.ed.ac.uk/people/staff/Gordon_Plotkin.html
Ed.ac.uk ~ Site Info Whois Trace Route RBL Check

Parikh, Rohit
Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language.
http://www.sci.brooklyn.cuny.edu/cis/parikh/
Cuny.edu ~ Site Info Whois Trace Route RBL Check

Van Benthem, Johan
University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic.
http://staff.science.uva.nl/~johan/
Uva.nl ~ Site Info Whois Trace Route RBL Check

Beklemishev, Lev
Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.
http://www.phil.uu.nl/~lev/
Uu.nl ~ Site Info Whois Trace Route RBL Check

Lindell, Steven
Haverford College - Finite model theory, descriptive complexity.
http://www.haverford.edu/cmsc/slindell/
Haverford.edu ~ Site Info Whois Trace Route RBL Check

Leivant, Daniel
Indiana University - Computational complexity.
http://www.cs.indiana.edu/~leivant/
Indiana.edu ~ Site Info Whois Trace Route RBL Check

Dosen, Kosta
University of Belgrade - Proof theory, category theory.
http://www.mi.sanu.ac.yu/~kosta/
Ac.yu ~ Site Info Whois Trace Route RBL Check