Proof Theory

Richard Zach

University of Calgary

Faculty Member

Philosophy Department

Analytic Philosophy, Applied Philosophy, Computability Theory, and Computational Complexity Theory

Giuseppe Primiero

Ghent University

Post-Doc

Philosophy and Moral Sciences Department

Artificial Intelligence, Computational Logic, Computer Science, and Epistemic Logic

Michael De

Utrecht University

Post-Doc

Philosophy Department

Computability Theory, Computational Logic, Computer Science, and Epistemology

Jurgis Skilters

University of Latvia

Faculty Member

Communication Sciences / Center for Cognitive Sciences and Semantics

Cognition, Cognitive Semantics, Communication, and Languages and Linguistics

Ezra Cook

Northwestern University

Graduate Student

Philosophy Department

A Priori Knowledge, Abstraction, Contextualism, and Epistemic Justification

Dennis Potter

Utah Valley University

Faculty Member

Philosophy and Humanities Department

Baruch Spinoza, Doctrine of God, Gödel's Incompleteness Theorems, and Infinity

Bruno Woltzenlogel Paleo

Institut National de Recherche en Informatique et Automatique (INRIA)

Post-Doc

INRIA Nancy--Grand-Est Department

Automated Deduction, Computability Theory, Computational Linguistics, and Computational Logic

João Marcos

UFRN

Faculty Member

DIMAp Department

Algebraic (Symbolic) Computation, Computability Theory, Computational Logic, and Computational Mathematics

Mihai Maruseac

"Politehnica" University of Bucharest

Undergraduate

Faculty of Automatic Control and Computer Science

AI Planning (Artificial Intelligence), Agent Based, Algorithm Analysis, and Algorithms

Wilfried Sieg

Carnegie Mellon University

Faculty Member

Philosophy Department

Cognitive Science, Philosophy of Mind, Philosophy of Science, Logic, Natural (Naturalised) Philosophy, and Philosophy

Ekaterina Lebedeva

Institut National de Recherche en Informatique et Automatique (INRIA)

Graduate Student

INRIA Nancy--Grand-Est Department

Discourse, Discourse Analysis, Logic And Foundations Of Mathematics, and Pragmatics

Ronald de Haan

Vienna University of Technology

Graduate Student

Faculty of Informatics

Algorithms, Artificial Intelligence, Automata Theory (Formal Languages), and Automated Deduction

Sara Negri

University of Helsinki

Faculty Member

Department of Philosophy, History, Culture and Art Studies

Constructivism, Formal Epistemology, Logic And Foundations Of Mathematics, and Proof Theory

Joanna Golińska-Pilarek

University of Warsaw

Faculty Member

Institute of Philosophy

Analytic Philosophy, Computational Logic, Fuzzy Logic, and Linear Logic

Edward Dean

Carnegie Mellon University

Graduate Student

Philosophy Department

Computability Theory, Ergodic Theory, History of Logic, and History of Mathematics

Dejan Jovanović

New York University

Graduate Student

Computer Science Department

Abstract Interpretation, Algorithms, Automated Deduction, and Automated reasoning

Jon Litland

Harvard University

Graduate Student

Philosophy Department

Computability Theory, Metaontology, Metaphysics, and Philosophical Logic

Joshua Cason

University of Washington

Graduate Student

Linguistics Department

Analytic Philosophy, Analytic Philosophy of Religion, Analytic Theology, and Automated Deduction

Andrei - Horia Mogos

"Politehnica" University of Bucharest

Faculty Member

Faculty of Automatic Control and Computer Science

AI Planning (Artificial Intelligence), Algebraic (Symbolic) Computation, Algorithmic Algebra, and Algorithms

Jon Hall

The Open University

Faculty Member

Research in Computing Department

Computational Logic, Computer Science, Concurrency Theory, and Design Theoretics

Chris Worth

Ohio State University

Graduate Student

Linguistics Department

Computational Linguistics, Logic, Morphology, and Phonology

Irving Anellis

Indiana University-Purdue University Indianapolis

Department Member

Institute for American Thought

Algebra and Topology, Bertrand Russell, Charles S. Peirce, and General Algebra

Michael Chary

Mount Sinai School of Medicine

Graduate Student

Neuroscience Department

Agent-Based Computational Economics, Artificial Intelligence, Artificial Neural Network, and Automata Theory (Formal Languages)

Marco Solieri

Paris Nord XIII

Graduate Student

Laboratoire d'Informatique de Paris-Nord

Computer Science, Implicit Computational Complexity, Linear Logic, and Programming Languages
x

Log In

or reset password

Reset Password

Enter the email address you signed up with, and we'll send a reset password email to that address

Academia © 2012