Directory: Top/Science/Math/Logic_and

Top / Science / Math / Logic_and_Foundations / People /

Nerode, Anil
Cornell University - Computability theory, logic in computer science, history of logic.
http://www.math.cornell.edu/~anil/
Cornell.edu ~ Site Info Whois Trace Route RBL Check

Pedicini, Marco
Institute for Applied Calculus, Rome - Theoretical computer science, linear logic, geometry of interaction, optimal reductions.
http://www.iac.rm.cnr.it/~marco/html
Cnr.it ~ Site Info Whois Trace Route RBL Check

Pfenning, Frank
Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
http://www.cs.cmu.edu/~fp/
Cmu.edu ~ Site Info Whois Trace Route RBL Check

Pitts, Andrew
University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science.
http://www.cl.cam.ac.uk/~amp12/
Cam.ac.uk ~ Site Info Whois Trace Route RBL Check

Prest, Mike
University of Manchester - Algebra and model theory.
http://www.maths.man.ac.uk/~mprest/
Man.ac.uk ~ Site Info Whois Trace Route RBL Check

Quigley, Peter
Manchester Metropolitan University - Computational logic, formal methods, formal specification, automated reasoning and proof planning.
http://www.doc.mmu.ac.uk/STAFF/P.Quigley/
Mmu.ac.uk ~ Site Info Whois Trace Route RBL Check

Rathjen, Michael
University of Leeds - Proof theory.
http://www.amsta.leeds.ac.uk/Pure/staff/rathjen/rathjen.html
Leeds.ac.uk ~ Site Info Whois Trace Route RBL Check

Regnier, Laurent
University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.
http://iml.univ-mrs.fr/~regnier/
Univ-mrs.fr ~ Site Info Whois Trace Route RBL Check

Robinson, Edmund
Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.
http://www.dcs.qmw.ac.uk/~edmundr/
Qmw.ac.uk ~ Site Info Whois Trace Route RBL Check

Scedrov, Andre
University of Pennsylvania - Logic in computer science, linear logic.
http://www.cis.upenn.edu/~scedrov/
Upenn.edu ~ Site Info Whois Trace Route RBL Check