|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 multi-agent systems.
Dunn, J. Michael - Indiana University - algebra of logic, constructive and substructural logic, philosophical logic.
Ebbinghaus, Heinz-Dieter - University of Freiburg - finite model theory.
Edmundo, Mario - Oxford University - Cohomology, K-theory 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 multi-agent systems, programming language design, formal specification and verification, parallel and agent-based theorem-proving, temporal and modal theorem-proving 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 p-adics, 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, multi-agent systems, context-based reasoning, and belief contexts.