|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.