New! Submit a site
whatUseek Directory Site Listings:
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.
Larson, Jean A.  University of Florida  set theory, combinatorics.
Lascar, Daniel  CNRS / University of Paris 7  model theory.
Lempp, Steffen  University of Wisconsin, Madison  computability, recursion theory.
Lessmann, Olivier  University of Illinois, Chicago  model theory.
Luo, Zhaohui  Durham University, UK  semantics of programming languages, type theory, theoretical computer science and semantics of natural languages. Formulated the Extended Calculus of Constructions.
Makowsky, Johann  The Technion  Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.
Marker, David  University of Illinois, Chicago  model theory.
Matiyasevich, Yuri  Steklov Institute, St. Petersburg  algorithmical number theory.
McKenzie, Ralph  Vanderbildt University and UC Berkeley  algebra, logic, combinatorics.
Miller, Dale  Penn State University  Interested in linear logic, proof search and declarative programming languages.
Mitchell, William  University of Florida  set theory.
Monk, Donald  University of Colorado, Boulder  Boolean algebras.
Moschovakis, Yiannis N.  UCLA.
Nelson, Edward  Princeton University  bounded arithmetic, automated proof verification (QED).
Nerode, Anil  Cornell University  computability theory, logic in computer science, history of logic.
Nies, Andre  University of Chicago  recursion theory.
Odifreddi, Piergiorgio  University of Torino  recursion theory, intuitionistic logic, philosophy of mathematics.
Ong, C.H. Luke  Merton College, Oxford  Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
Paris, Jeff  University of Manchester  Mathematical Logic, in particular uncertain reasoning.
