New! Submit a site
whatUseek Directory Site Listings:
Paul Taylor's Home Page  Includes papers on category theory.
Peckhaus, Volker  University of ErlangenNürnberg  history of logic.
Pedicini, Marco  Institute for Applied Calculus, Rome  Theoretical computer science, linear logic, geometry of interaction, optimal reductions.
Pfenning, Frank  Carnegie Mellon University  logic and programming languages, logical frameworks, type theory.
Pitts, Andrew  University of Cambridge  Interested in categorical logic, type theory, seamntics of programming languages and logic in computer science.
Portier, Natacha  ENS Lyon.
Pratt, Vaughan  Stanford University  Interested in linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing.
Prest, Mike  University of Manchester  Algebra and Model Theory.
Pym, David J.  Queen Mary and Westfield College  semantics of programming languages, type theory, proofsearch, logic programming, theorem proving.
Quigley, Peter  Manchester Metropolitan University  Computational Logic, Formal Methods, Formal Specification, Automated Reasoning and Proof Planning.
Rathjen, Michael  University of Leeds  proof theory.
Regnier, Laurent  University of Marseilles  Interested in linear logic, lambda calculus and abstract machine interpretations. Pioneer of the geometry of interaction approach to the semantics of linear logic.
Restall, Greg  Greg Restall's CV: downloadable publications on Philosophical Logic, Metaphysics, Philosophy of Language, Philosophy of Religion and related areas.
Restall, Greg  Greg Restall's CV: downloadable publications on Philosophical Logic, Metaphysics, Philosophy of Language, Philosophy of Religion and related areas.
Robinson, Edmund  Queen Mary and Westfield College  categorical logic and the semantics of programming languages and type theories.
Rubin, Jean E.  Purdue University  set theory, axiom of choice.
Scedrov, Andre  University of Pennsylvania  logic in computer science, linear logic.
Schmidt, Renate  University of Manchester  modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.
Scott, Dana  Carnegie Mellon University  model theory, set Theory, foundations of logic and mahematics, symbolic mathematical computation.
Setzer, Anton  Uppsala University  proof theory (ordinal analysis), MartinLöf type theory.
