New! Submit a site
whatUseek Directory Site Listings:
Danos, Vincent  University of Paris 7  proof theory, linear logic.
Darnière, Luck  University of Angers  model theory.
Dixon, Clare  Manchester Metropolitan University  Resolution theorem proving, modal and temporal logics, automated reasoning, specification and verification of distributed and multiagent systems.
Dunn, J. Michael  Indiana University  algebra of logic, constructive and substructural logic, philosophical logic.
Ebbinghaus, HeinzDieter  University of Freiburg  finite model theory.
Edmundo, Mario  Oxford University  Cohomology, Ktheory and sheaves.
Enderton, Herbert B.  UCLA  recursion theory, definability theory.
Etchemendy, John  Stanford University  philosophical logic, semantics, and philosophy of language.
Feferman, Solomon  Stanford University  proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
Fisher, Michael  Manchester Metropolitan University  Distributed artificial intelligence and multiagent systems, programming language design, formal specification and verification, parallel and agentbased theoremproving, temporal and modal theoremproving techniques.
Fitting, Melvin  City University of New York  logic in computer science, mathematics, and philosophy.
Flum, Jörg  University of Freiburg  finite model theory.
Font, Josep Maria  University of Barcelona  Algebraic logic.
Foreman, Matthew  UC Irvine.
Forster, T. E.  University of Cambridge  set theory, type theory.
Friedman, Harvey  Ohio State University.
Friedman, Sy D.  MIT and University of Vienna  set theory.
Gardener, Tim  Oxford University  Model theory of the padics, group theory, algebraic geometry.
Gehrke, Mai  New Mexico State University  nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices.
Ghidini, Chiara  Manchester Metropolitan University  logics for federated databases and information integration, multiagent systems, contextbased reasoning, and belief contexts.
