People

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.

138 visits Dec 11, 2024 Details

Lakemeyer, Gerhard

-i5.informatik.rwth-aachen.de

Aachen University of Technology - Knowledge-based systems.

480 visits Jul 2, 2025 Details

Larson, Jean A.

math.ufl.edu

University of Florida - Set theory, combinatorics.

475 visits May 10, 2024 Details

Leivant, Daniel

cs.indiana.edu

Indiana University - Computational complexity.

131 visits Feb 14, 2025 Details

Lempp, Steffen

math.wisc.edu

University of Wisconsin, Madison - Computability, recursion theory.

399 visits Jul 17, 2025 Details

Levesque, Hector

cs.toronto.edu

University of Toronto - Knowledge representation.

40 visits May 12, 2025 Details

Luo, Zhaohui

cs.rhul.ac.uk

University of London, UK - Type theory, theoretical computer science and semantics of natural languages.

384 visits Dec 26, 2023 Details

Maddy, Penelope

lps.uci.edu

University of California Irvine - Philosophy of logic and mathematics.

368 visits Mar 2, 2024 Details

Marcos, JoÃ£o

geocities.com

State University of Campinas, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics.

402 visits Nov 5, 2023 Details

Marker, David

math.uic.edu

University of Illinois, Chicago - Model theory.

495 visits Jan 30, 2026 Details

Matiyasevich, Yuri

logic.pdmi.ras.ru

Steklov Institute, St. Petersburg - Algorithmical number theory.

278 visits Sep 19, 2024 Details

Mileti, Joe

math.uiuc.edu

University of Illinois at Urbana-Champaign - Computability theory.

282 visits Oct 5, 2025 Details

Mitchell, William

math.ufl.edu

University of Florida - Set theory.

167 visits Sep 28, 2024 Details

People

Category Info