https://e-sygoing.link Latest links in the People category en-us Tue, 09 Jun 2026 19:50:13 -0400 https://e-sygoing.link/link/5285082-buss-samuel-r University of California, San Diego - Proof theory, computational complexity. Wed, 06 May 2026 23:44:40 -0400 https://e-sygoing.link/go/5285082 https://e-sygoing.link/link/5285074-aczel-peter University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic. Fri, 01 May 2026 14:25:29 -0400 https://e-sygoing.link/go/5285074 https://e-sygoing.link/link/5285191-japaridze-giorgi Villanova University - computability logic, game semantics, provability logic. Tue, 03 Mar 2026 02:56:00 -0500 https://e-sygoing.link/go/5285191 https://e-sygoing.link/link/5285129-nelson-edward Princeton University - Bounded arithmetic, automated proof verification (QED). Sat, 31 Jan 2026 00:01:30 -0500 https://e-sygoing.link/go/5285129 https://e-sygoing.link/link/5285121-marker-david University of Illinois, Chicago - Model theory. Fri, 30 Jan 2026 04:00:04 -0500 https://e-sygoing.link/go/5285121 https://e-sygoing.link/link/5285104-hustadt-ullrich University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic. Sat, 10 Jan 2026 03:32:28 -0500 https://e-sygoing.link/go/5285104 https://e-sygoing.link/link/5285198-avigad-jeremy Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics. Mon, 29 Dec 2025 04:27:22 -0500 https://e-sygoing.link/go/5285198 https://e-sygoing.link/link/5285144-scott-dana Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation. Sun, 28 Dec 2025 08:33:26 -0500 https://e-sygoing.link/go/5285144 https://e-sygoing.link/link/5285134-pitts-andrew University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science. Wed, 05 Nov 2025 06:20:20 -0500 https://e-sygoing.link/go/5285134 https://e-sygoing.link/link/5285170-mileti-joe University of Illinois at Urbana-Champaign - Computability theory. Sun, 05 Oct 2025 14:39:46 -0400 https://e-sygoing.link/go/5285170