Directory
Encyclopedia

NodeWorks
                              WEB DIRECTORY

Link Checker
Home
Top : Science : Math : Logic & Foundations :

People

   ( 130 )
Websites of active academic logicians.
[thumbnail]
 1. Avigad, Jeremy - Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
[thumbnail]
 2. Barendregt, Henk - Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
[thumbnail]
 3. Friedman, Sy D. - University of Vienna - Set theory.
[thumbnail]
 4. Japaridze, Giorgi - Villanova University - computability logic, game semantics, provability logic.
[thumbnail]
 5. Luo, Zhaohui - University of London, UK - Type theory, theoretical computer science and semantics of natural languages.
[thumbnail]
 6. Maddy, Penelope - University of California Irvine - Philosophy of logic and mathematics.
[thumbnail]
 7. Sieg, Wilfried - Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.
[thumbnail]
 8. Vickers, Steven - University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.
[thumbnail]
 9. Welch, Philip - University of Bristol - Set theory, inner models, descriptive set theory.
10. Aczel, Peter - University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
11. Andrews, Peter B. - Carnegie Mellon University - Type theory, automated theorem proving.
12. Artemov, Sergei - City University of New York Graduate Center - Proof theory, logic of proofs.
13. Awodey, Steve - Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
14. Baldwin, John T. - University of Illinois, Chicago - Model theory (finite and infinite).
15. Bartoszynski, Tomek - Boise State University - Set theory.
16. Beklemishev, Lev - Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.
17. Blass, Andreas R. - University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
18. Bouscaren, Elisabeth - CNRS / University of Paris 7 - Model theory and algebraic geometry.
19. Buechler, Steven - University of Notre Dame - Model theory.
20. Burris, Stanley - University of Waterloo - Universal algebra, logic, computers.
21. Buss, Samuel R. - University of California, San Diego - Proof theory, computational complexity.
22. Carlstrom, Jesper - Stockholm University - Constructive type theory and related mathematics.
23. Carnielli, Walter A. - State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.
24. Chaitin, Gregory J. - IBM Research - Algorithmic information theory.
25. Chatzidakis, Zoé - CNRS/University of Paris 7 - Model theory.
26. Cholak, Peter - University of Notre Dame - Recursion theory.
27. Cummings, James - Carnegie Mellon University - Set theory.
28. Danos, Vincent - University of Paris 7 - Proof theory, linear logic.
29. Darnière, Luck - University of Angers, France - Model theory.
30. Detlefsen, Michael - University of Notre Dame - Formal logic, philosophy of mathematics.
31. Dosen, Kosta - University of Belgrade - Proof theory, category theory.
32. Ebbinghaus, Heinz-Dieter - University of Freiburg - Finite model theory.
33. Enderton, Herbert B. - UCLA - Recursion theory, definability theory.
34. Etchemendy, John - Stanford University - Philosophical logic, semantics, and philosophy of language.
35. Feferman, Solomon - Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
36. Fitting, Melvin - City University of New York - Logic in computer science, mathematics, philosophy.
37. Flum, Jörg - University of Freiburg - Finite model theory.
38. Foreman, Matthew - UC Irvine - Set theory.
39. Forster, T. E. - University of Cambridge - Set theory, type theory.
40. Gehrke, Mai - New Mexico State University - Nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices.
41. Gerla, Giangiacomo - University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.
42. Goldstern, Martin - University of Technology, Vienna - Set theory.
43. Grossberg, Rami - Carnegie Mellon University - Model theory.
44. Guglielmi, Alessio - Technische Universitaet Dresden - Proof Theory.
45. Herwig, Bernhard - University of Freiburg - Model theory.
46. Hindley, J. R. - University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory.
47. Hjorth, Greg - UCLA - Descriptive set theory, countable models, definable equivalence relations.
48. Hodges, Wilfrid - University of London - Model theory.
49. Holmes, Randall - Boise State University - Set theory: New Foundations, automated theorem proving.
50. Howard, Paul - Eastern Michigan University - Axiom of choice.
51. Hustadt, Ullrich - University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
52. Hyland, J. Martin E. - University of Cambridge - Categorical logic, game semantics and logic in computer science.
53. Hähnle, Reiner - Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification.
54. Jech, Thomas - Pennsylvania State University - Set theory.
55. Jockusch, Carl G. - University of Illinois, Urbana Champaign - Recursion theory.
56. Junker, Markus - University of Freiburg - Model theory.
57. Kaiser, Klaus - University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.
58. Kanamori, Akihiro - Boston University - Set theory.
59. Kastermans, Bart - University of Michigan - Set theory.
60. Kaye, Richard - University of Birmingham - Model theory.
61. Kechris, Alexander S. - Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.
62. Knight, Julia F. - University of Notre Dame - Recursion theory.
63. Kunen, Kenneth - University of Wisconsin, Madison - Set theory.
64. 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.
65. Lakemeyer, Gerhard - Aachen University of Technology - Knowledge-based systems.
66. Larson, Jean A. - University of Florida - Set theory, combinatorics.
67. Lascar, Daniel - CNRS / University of Paris 7 - Model theory.
68. Leivant, Daniel - Indiana University - Computational complexity.
69. Lempp, Steffen - University of Wisconsin, Madison - Computability, recursion theory.
70. Lessmann, Olivier - University of Illinois, Chicago - Model theory.
71. Levesque, Hector - University of Toronto - Knowledge representation.
72. Lindell, Steven - Haverford College - Finite model theory, descriptive complexity.
73. Makowsky, Johann (Janos) A. - Technion, Israel - Logic in computer science, finite model theory.
74. Marcos, João - State University of Campinas, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics.
75. Marker, David - University of Illinois, Chicago - Model theory.
76. Matiyasevich, Yuri - Steklov Institute, St. Petersburg - Algorithmical number theory.
77. McKenzie, Ralph - Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.
78. Mileti, Joe - University of Illinois at Urbana-Champaign - Computability theory.
79. Miller, Dale - Penn State University - Linear logic, proof search and declarative programming languages.
80. Mitchell, William - University of Florida - Set theory.
81. Monk, Donald - University of Colorado, Boulder - Boolean algebras.
82. Moreno, Javier - University of Illinois, Urbana-Champaign - Model theory and applications.
83. Moschovakis, Yiannis N. - UCLA - Set theory, recursion theory.
84. Moss, Lawrence - Indiana University - Applied logic.
85. Nelson, Edward - Princeton University - Bounded arithmetic, automated proof verification (QED).
86. Nerode, Anil - Cornell University - Computability theory, logic in computer science, history of logic.
87. Ong, C.-H. Luke - Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
88. Ono, Hiroakira - Japan Advanced Institute of Science and Technology - Nonclassical logic, substructural logics, logic of knowledge and belief, cumulative reasoning.
89. Parikh, Rohit - Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language.
90. Pedicini, Marco - Institute for Applied Calculus, Rome - Theoretical computer science, linear logic, geometry of interaction, optimal reductions.
91. Pfenning, Frank - Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
92. Pitts, Andrew - University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science.
93. Plotkin, Gordon - Institute for Communicating and Collaborative Systems, UK - denotational and operational semantics of programming languages, type theory; domain-theoretic and categorical analyses of computation, proof theory, the semantics of natural language, process calculi, computational biology.
94. Pollett, Chris - San Jose State University - Logic, bounded arithemtic, computational complexity and quantum computation.
95. Pratt, Vaughan - Stanford University - Linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing.
96. Prest, Mike - University of Manchester - Algebra and model theory.
97. Pym, David J. - University of Bath, UK - Semantics of programming languages, type theory, proof-search, logic programming, theorem proving.
98. Quigley, Peter - Manchester Metropolitan University - Computational logic, formal methods, formal specification, automated reasoning and proof planning.
99. Rathjen, Michael - University of Leeds - Proof theory.
100. Regnier, Laurent - University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.
101. Restall, Greg - Macquarie University - Philosophy of logic, substructural logics.
102. Robinson, Edmund - Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.
103. Rubin, Jean E. - Purdue University - Set theory, axiom of choice.
104. Scedrov, Andre - University of Pennsylvania - Logic in computer science, linear logic.
105. Schmidt, Renate - University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.
106. Scott, Dana - Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
107. Setzer, Anton - Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.
108. Shore, Richard A. - Cornell University - Recursion theory.
109. Simpson, George - Penn State University - Fuondations of mathematics and logic.
110. Sipser, Michael - MIT - Complexity theory.
111. Slaman, Theodore A. - University of California, Berkeley - Recursion theory.
112. Soare, Robert I. - University of Chicago - Recursion theory.
113. Solovay, Robert M. - University of California, Berkeley - Proof theory.
114. Statman, Richard - Carnegie Mellon University - Theory of computation, lambda calculus, combinatory logic.
115. Stewart, Charles - Technische Universität Berlin, Theory and Formal Specifications group - Proof theoretic semantics, lambda calculus, linear logic, theoretical computer science, philosophy of language.
116. Taylor, Paul - Queen Mary and Westfield College, London - Foundations of Mathematics and Computation.
117. Van Benthem, Johan - University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic.
118. Van Dalen, Dirk - Utrecht University - Historical aspects of logic, philosophy of mathematics.
119. Vereshchagin, Nikolai - Moscow State University - Theory of computation, Intuitionistic logic
120. Vlad, Serban E. - Independent scholar, Bucharest - Asynchronous automata and binary valued mathematical analysis.
121. Wansing, Heinrich - Institute of Logic and the Philosophy of Science, Leipzig - Substructural and non-classical logics, modal logic, proof-theoretic semantics, philosophy of logic, philosophy of language.
122. Wehmeier, Kai - UC Irvine - semantics and proof theory of intuitionistic arithmetic, logical analysis of modal discourse, the logic of Gottlob Frege.
123. White, Graham - Queen Mary and Westfield College, London - Philosophy and linear logic.
124. Wilkie, Alex - Oxford University - Models of arithmetic.
125. Zach, Richard - University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic.
126. Ziegler, Martin - University of Freiburg - Model theory.
127. Zilber, Boris - University of Oxford - Model theory.

NodeWorks boosts web surfing!
Page Returned in 0.217 seconds - HTML Compressed 87.4%

Help build the largest human-edited directory on the web.
Submit a Site - Update a Site - Open Directory Project - Become an Editor
 Free thumbnail preview by Thumbshots.org
© 2008 Chamas Enterprises Inc.