UK Products and Services

Companies that offer products and services related to People should be in our directory which currently contains more than 2 million listings. We do our best to deliver results at uk.searchengine.com so you get the most relevant information available today in the UK for your search for People.

Top>Science>Math>Logic and Foundations>People>

1. Search for an Address or a Person

Search for people by name to find their address & telephone number instantly.
www.tracesmart.co.uk )

Click here to view additional sponsored listings

Aczel, Peter

University of Manchester - Philosophy and Foundations of Mathematics and Computing, Mathematical Logic, Categorical Logic.
(http://www.cs.man.ac.uk/~petera/)

Andrews, Peter B.

Carnegie Mellon University - type theory, automated theorem proving.
(http://www.cs.cmu.edu/afs/cs.cmu.edu/user/andrews/www/andrew)

Avigad, Jeremy

Carnegie Mellon University - proof theory, constructive mathematics, proof complexity, and the history and philosophy of mathematics.
(http://www.andrew.cmu.edu/~avigad/)

Awodey, Steve

Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
(http://www.andrew.cmu.edu/user/awodey/)

Baldwin, John T.

University of Illinois, Chicago - Model theory (finite and infinite).
(http://www.math.uic.edu/~jbaldwin/)

Barendregt, Henk

University of Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
(http://www.cs.kun.nl/~henk/)

Bartoszynski, Tomek

Boise State University - Set theory.
(http://diamond.boisestate.edu/~tomek/)

Bellin, Gianluigi

University of Leeds - Proof theory, the formulae-as-types correspondence and semantics of programming languages.
(http://www.amsta.leeds.ac.uk/~bellin/)

Berline, Chantal

University of Paris 7 - Lambda calculus.
(http://www.logique.jussieu.fr/www.berline/)

Blass, Andreas R.

University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
(http://www.math.lsa.umich.edu/~ablass/)

Bolotov, Alexander

Manchester Metropolitan University - Extension of the clausal temporal resolution method to branching-time temporal logics.
(http://www.doc.mmu.ac.uk/STAFF/A.Bolotov/)

Bouscaren, Elisabeth

CNRS / University of Paris 7 - Model theory and algebraic geometry.
(http://www.logique.jussieu.fr/www.elibou/)

Buechler, Steven

University of Notre Dame - Model theory.
(http://www.nd.edu/~steve/)

Burris, Stanley

University of Waterloo - Universal algebra, logic, computers.
(http://www.thoralf.uwaterloo.ca/)

Buss, Samuel R.

University of California, San Diego - Proof theory, computational complexity.
(http://math.ucsd.edu/~sbuss/)

Carlstrom, Jesper

Stockholm University - Constructive type theory and related mathematics.
(http://www.math.su.se/~jesper/)

Carnielli, Walter A.

State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.
(http://www.unicamp.br/cle/carniell.htm)

Chaitin, Gregory J.

IBM Research - Algorithmic information theory.
(http://www.cs.auckland.ac.nz/CDMTCS/chaitin/)

Chatzidakis, Zoé

CNRS/University of Paris 7 - Model theory.
(http://www.logique.jussieu.fr/www.zoe/)

Cholak, Peter

University of Notre Dame - Recursion theory.
(http://www.science.nd.edu/math/faculty/cholak.shtml)

Cummings, James

Carnegie Mellon University - Set theory.
(http://www.math.cmu.edu/users/jcumming/)

Danos, Vincent

University of Paris 7 - Proof theory, linear logic.
(http://www.logique.jussieu.fr/www.danos/)

Darnière, Luck

University of Angers, France - Model theory.
(http://math.univ-angers.fr/~darniere/home_uk.html)

Dixon, Clare

Manchester Metropolitan University - Resolution theorem proving, modal and temporal logics, automated reasoning, specification and verification of distributed and multi-agent systems.
(http://www.doc.mmu.ac.uk/STAFF/C.Dixon/)

Ebbinghaus, Heinz-Dieter

University of Freiburg - Finite model theory.
(http://logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.)

Edmundo, Mario

Oxford University - Cohomology, K-theory and sheaves.
(http://www.maths.ox.ac.uk/~edmundo/)

Enderton, Herbert B.

UCLA - Recursion theory, definability theory.
(http://www.math.ucla.edu/~hbe/)

Etchemendy, John

Stanford University - Philosophical logic, semantics, and philosophy of language.
(http://www-csli.stanford.edu/hp/etchemendy.html)

Feferman, Solomon

Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
(http://math.Stanford.EDU/~feferman/)

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.
(http://www.doc.mmu.ac.uk/STAFF/M.Fisher/)

Fitting, Melvin

City University of New York - Logic in computer science, mathematics, and philosophy.
(http://comet.lehman.cuny.edu/fitting/)

Flum, Jörg

University of Freiburg - Finite model theory.
(http://logik.mathematik.uni-freiburg.de/personen/Flum.html)

Font, Josep Maria

University of Barcelona - Algebraic logic.
(http://www.mat.ub.es/~font/)

Foreman, Matthew

UC Irvine - Set theory.
(http://www.math.uci.edu/faculty/mforeman.html)

Forster, T. E.

University of Cambridge - Set theory, type theory.
(http://www.dpmms.cam.ac.uk/~tf/)

Friedman, Harvey

Ohio State University.
(http://www.math.ohio-state.edu/foundations/)

Friedman, Sy D.

University of Vienna and MIT - Set theory.
(http://www-math.mit.edu/~sdf/)

Gardener, Tim

Oxford University - Model theory of the p-adics, group theory, algebraic geometry.
(http://www.maths.ox.ac.uk/~gardener/)

Gehrke, Mai

New Mexico State University - Nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices.
(http://www.math.nmsu.edu/mgehrke/mgehrke.html)

Gerla, Giangiacomo

University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.
(http://www.dmi.unisa.it/people/gerla/www/)

Ghidini, Chiara

Manchester Metropolitan University - Logics for federated databases and information integration, multi-agent systems, context-based reasoning, and belief contexts.
(http://www.doc.mmu.ac.uk/STAFF/C.Ghidini/)

Goldstern, Martin

University of Technology, Vienna - Set theory.
(http://info.tuwien.ac.at/goldstern/)

Grossberg, Rami

Carnegie Mellon University - Model theory.
(http://www.math.cmu.edu/users/rami/)

Hähnle, Reiner

Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification.
(http://www.cs.chalmers.se/~reiner/)

Herwig, Bernhard

University of Freiburg - Model theory.
(http://sunpool.mathematik.uni-freiburg.de/home/herwig/)

Hindley, J. R.

University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory.
(http://www-maths.swan.ac.uk:80/staff/jrh/)

Hjorth, Greg

UCLA - Descriptive set theory, countable models, definable equivalence relations.
(http://www.math.ucla.edu/~greg/)

Hodges, Wilfrid

University of London - Model theory.
(http://www.maths.qmw.ac.uk/~wilfrid/)

Holmes, Randall

Boise State University - Set theory: New Foundations, automated theorem proving.
(http://diamond.boisestate.edu/~holmes/)

Howard, Paul

Eastern Michigan University - Axiom of choice.
(http://www.emunix.emich.edu/~phoward/)

Hustadt, Ullrich

University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
(http://www.csc.liv.ac.uk/~ullrich/)

Hyland, J. Martin E.

University of Cambridge - Categorical logic, game semantics and logic in computer science.
(http://www.dpmms.cam.ac.uk/~martin/index.html)

Jech, Thomas

Pennsylvania State University - Set theory.
(http://www.math.psu.edu/jech/)

Jockusch, Carl G.

University of Illinois, Urbana Champaign - Recursion theory.
(http://www.math.uiuc.edu/~jockusch/)

Junker, Markus

University of Freiburg - Model theory.
(http://sunpool.mathematik.uni-freiburg.de/home/junker/Junker)

Kaiser, Klaus

University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.
(http://math.uh.edu/~klaus/)

Kanamori, Akihiro

Boston University - Set theory.
(http://math.bu.edu/people/aki/)

Kastermans, Bart

University of Michigan - Set theory.
(http://www.kastermans.nl/bart/)

Kaye, Richard

University of Birmingham - Model theory.
(http://for.mat.bham.ac.uk/R.W.Kaye/)

Kechris, Alexander S.

Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.
(http://www.math.caltech.edu/people/kechris.html)

Knight, Julia F.

University of Notre Dame - Recursion theory.
(http://www.science.nd.edu/math/faculty/knight.shtml)

Kunen, Kenneth

University of Wisconsin, Madison - Set theory.
(http://www.math.wisc.edu/~kunen/)

Lafont, Yves

University of Marseille II - Linear logic, lambda calculus, proof theory, term rewriting. Lafont invented the theory of interaction nets, an elegant theory of graph rewriting.
(http://iml.univ-mrs.fr/~lafont/welcome.html)

Larson, Jean A.

University of Florida - Set theory, combinatorics.
(http://www.math.ufl.edu/~jal/)

Lascar, Daniel

CNRS / University of Paris 7 - Model theory.
(http://www.logique.jussieu.fr/www.lascar/)

Lempp, Steffen

University of Wisconsin, Madison - Computability, recursion theory.
(http://www.math.wisc.edu/~lempp/)

Lessmann, Olivier

University of Illinois, Chicago - Model theory.
(http://www.math.uic.edu/~lessmann/)

Luo, Zhaohui

Durham University, UK - Type theory, theoretical computer science and semantics of natural languages.
(http://www.dur.ac.uk/~dcs0zl/)

Makowsky, Johann (Janos) A.

Technion, Israel - Logic in computer science, finite model theory.
(http://www.cs.technion.ac.il/~janos/index.html)

Marcos, João

State University of Campinas, Brazil - Interested in both mathematical and philosophical logic, and especially non-classical logics such as paraconsistent, many-valued and modal logics, as well as formal semantics to them, and combinations of logics.
(http://www.geocities.com/jm_logica/)

Marker, David

University of Illinois, Chicago - Model theory.
(http://www.math.uic.edu/~marker/)

Matiyasevich, Yuri

Steklov Institute, St. Petersburg - Algorithmical number theory.
(http://logic.pdmi.ras.ru/~yumat)

McKenzie, Ralph

Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.
(http://www.math.vanderbilt.edu/~mckenzie/)

Mileti, Joe

University of Illinois at Urbana-Champaign - Computability theory.
(http://www.math.uiuc.edu/~mileti/)

Miller, Dale

Penn State University - Linear logic, proof search and declarative programming languages.
(http://www.cse.psu.edu/~dale/)

Mitchell, William

University of Florida - Set theory.
(http://www.math.ufl.edu/~mitchell/)

Monk, Donald

University of Colorado, Boulder - Boolean algebras.
(http://www.Colorado.EDU/math/courses/monkd/)

Moreno, Javier

University of Illinois, Urbana-Champaign - Model theory and applications.
(http://www.math.uiuc.edu/~jamoreno)

Moschovakis, Yiannis N.

UCLA - Set theory, recursion theory.
(http://www.math.ucla.edu/~ynm/)

Nelson, Edward

Princeton University - Bounded arithmetic, automated proof verification (QED).
(http://www.math.princeton.edu/~nelson/index.html)

Nerode, Anil

Cornell University - Computability theory, logic in computer science, history of logic.
(http://www.math.cornell.edu/~anil/)

Nies, Andre

University of Chicago - Recursion theory.
(http://www.math.uchicago.edu/~nies/)

Ong, C.-H. Luke

Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
(http://web.comlab.ox.ac.uk/oucl/people/luke.ong.html)

Paris, Jeff

University of Manchester - Mathematical Logic, in particular uncertain reasoning.
(http://www.maths.man.ac.uk/mirror/www/hpage/jbp.htm)

Peckhaus, Volker

University of Erlangen-Nürnberg - History of logic.
(http://www.phil.uni-erlangen.de/~p1phil/personen/peckhaus/)

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)

Pfenning, Frank

Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
(http://www.cs.cmu.edu/~fp/)

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/)

Pollett, Chris

San Jose State University - Logic, bounded arithemtic, computational complexity and quantum computation.
(http://www.cs.sjsu.edu/faculty/pollett/)

Portier, Natacha

ENS Lyon.
(http://www.desargues.univ-lyon1.fr/home/portier/portiergb.ht)