 |
|  |
||||||||||
 |
||||||||||||
  |
||||||||||||
|
Matiyasevich, Yuri
Steklov Institute, St. Petersburg - Algorithmical number theory.
Mileti, Joe
University of Illinois at Urbana-Champaign - Computability theory.
Paris, Jeff
University of Manchester - Mathematical Logic, in particular uncertain reasoning.
Rubin, Jean E.
Purdue University - Set theory, axiom of choice.
Robinson, Edmund
Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.
Makowsky, Johann (Janos) A.
Technion, Israel - Logic in computer science, finite model theory.
Chatzidakis, Zoé
CNRS/University of Paris 7 - Model theory.
Hustadt, Ullrich
University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
Foreman, Matthew
UC Irvine - Set theory.
Andrews, Peter B.
Carnegie Mellon University - Type theory, automated theorem proving.
More People Sites
|
|
||
 |
|||