Akka

The Scandinavian Logic Society

List of members

NOTE: This is an old list of members. Old members wishing to renew their membership should do so by filling out this form.

Aarne Ranta
Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg
http://www.cse.chalmers.se/~aarne/
Type Theory, Computational Linguistics, Functional Programming

Achraf
Philosophy student
Logic. Epistemology. Metaphysics.

Adam ó Conghaile
Computer Lab, University of Cambridge
Category theory, finite model theory, finite variable logics

Ahmed El Azhary
Independent Researcher
Arabic Logic, Cognitive Sciences, Pedagogical Studies

Ahti-Veikko Pietarinen
University of Helsinki
http://www.helsinki.fi/~pietarin/
Philosophical logic, Logic & Language, Logic & Cognition, History and Philosophy of Logic

Aleksandra Samonek
Université catholique de Louvain
algebra, recursion theory, logic programming

Aleksandra Samonek
Université catholique de Louvain
I don't have one.
algebra, recursion theory, logic programming

ALEXANDER COX

Alexandra Soskova
Sofia university
http://www.fmi.uni-sofia.bg/fmi/logic/asoskova/
Computability and effective model theory

Alexandre Costa-Leite
University of Brasilia
http://costaleite.info
Philosophical Logic, Philosophy of Logic

Alfred Askeljung
KTH, Stockholm and Mensa Sweden
quantum computing

Ali Enayat
American University (Washington, DC)
http://academic2.american.edu/~enayat/
Model Theory of Foundational Theories (PA, ZF, …)

Alireza Sayadmansour
MA Student of Philosophy at the University of Tehran & Assistant Editor of the Journal 'Ethical Research'
Ethics, Islamic Philosophy, Arabic and Medieval Logic

Allen L. Mann
Birkhäuser Science
Logic with imperfect information

Aman Tripathi
IIT Bombay
Logic, Philosophy of Science

Amir Hossein Rahdari
Tarbiat Modares University
amirrahdari.branded.me
Sustainability; CSR

Amir Mosavi
Adjunct Professor, Obuda University
http://www.bgk.uni-obuda.hu/mei/dolgozok.php
Logics, Machine Learning, Data Mining, Analytics

Anders Hellström
https://andersh3.keybase.pub

Anders Hellström
Gothenburg University
https://andersh3.keybase.pub
ai

Anders J. Schoubye
Carnegie Mellon University, Dept. of Philosophy
http://www.schoubye.net
Philosophy of Language, Epistemology, Philosophical Logic

Anders Märak Leffler
Linköping University

André Rognes
OsloMet
http://drrognes.no/
Tarskian algebraic logic, automated reasoning

Andrea Reichenberger
University Paderborn, Germany
under construction
Women in Logic, Mathematics and Physics

Andrea Strollo
university of helsinki
theories of truth meta-mathematics

Andreas Aabrandt
Technical University of Denmark
Category theory, topology, geometry, control theory

Andreas Fjellstad
University of Bergen

Andreas Herzig
University of Toulouse, IRIT, CNRS
http://www.irit.fr/~Andreas.Herzig
modal logic

Andreas Schmidt Jensen
Technical University of Denmark
http://www2.imm.dtu.dk/~ascje/

Andreas Stokke
Centre for the Study of Mind in Nature, University of Oslo
http://andreasstokke.net
Philosophy of language, semantics, philosophy of logic

Andrés Villaveces
Universidad Nacional de Colombia (Bogotá)
Model Theory, Set Theory, Non-Elementary Classes

Angel Nepomuceno
Universidad de Sevilla
http://investigacion.us.es/sisius/sis_showpub.php?idpers=2122
Non classical logics, formal epistemology

Ankit Shukla
Chennai mathematical institute
Mathematical Logic and Verification

Annika Siders
University of Helsinki
http://www.mv.helsinki.fi/kanckos/

Ansten Klev
Leiden University
http://sites.google.com/site/anstenklev/
Philosophy and history of logic and mathematics

Anton Setzer
Swansea University
http://www.cs.swan.ac.uk/~csetzer/
Proof theory, type theory, software verification

Antti Kuusisto
University of Tampere
http://mtl.uta.fi/~ak75987/
modal logic, finite model theory

Anupam Das
University of Copenhagen
http://www.anupamdas.com
Proof theory, Proof complexity, Rewriting theory

Anupam Das
University of Copenhagen
http://www.anupamdas.com
Proof theory

Arnold Beckmann
Swansea University
http://www.cs.swan.ac.uk/~csarnold/
Proof Theory, Bounded Arithmetic, Propositional Proof Complexity

Åsa Hirvonen
University of Helsinki
www.helsinki.fi/~asaekman
model theory, metric structures

Asger Törnquist
University of Copenhagen, Department of Mathematics
www.math.ku.dk/~asgert/
Descriptive set theory, applications of set theory to ergodic theory and operator algebras

Azadeh Neman
Model theory

B.N.
Logic
Logic

Bahareh Afshari
University of Gothenburg
http://www.gu.se/omuniversitetet/personal/?userId=xafsba
Proof Theory, Formal Language Theory, Fixpoint and Modal Logics

Bartosz Janik
Jagiellonian University
http://jagiellonian.academia.edu/BartoszJanik
legal logic

Bartosz Więckowski
Goethe University Frankfurt
http://www.uni-frankfurt.de/49561986/Wieckowski_Bartosz
Logic, Philosophy of Language

Bengt Nordström
Chalmers
http://www.cse.chalmers.se/~bengt/
semantics of natural language, type theory, dialogues,

Bernd Buldt
IPFW
http://users.ipfw.edu/buldtb/
Logic and Philosophy of Mathematics

Berwanger
CNRS, ENS Cachan, France
http://www.lsv.ens-cachan.fr/~dwb/
Descriptive Complexity, Graph Structure Theory, Game Theory, Independence Logic

Bruno Rigonato Mundim
Type Theory, Proof-theory, Philosophy of logic and mathematics

Camillo Fiorentini
Department of Computer Science, Universita' degli Studi di Milano

Carroline Dewi Puspa Kencana Ramli
DTU

Carsten Schürmann
IT University of Copenhagen
www.itu.dk/~carsten
Programming languages, Type Theory, Logical Frameworks, Electronic Elections

Casper Bach Poulsen
Swansea University
http://cs.swansea.ac.uk/~cscbp
Programming Languages, Semantics, Type Theory, Static Analysis

Casper Storm Hansen
University of Aberdeen
http://www.abdn.ac.uk/philosophy/nip/members/member?id=hansen
Semantic and set theoretic paradoxes, constructive matematics

Cezary Cieslinski
University of Warsaw
http://www.filozofia.uw.edu.pl/cieslinski/
mathematical and philosophical logic, truth theory, model theory

Charles Grellois
University of Dundee
http://research.grellois.fr
linear logic, denotational semantics, game semantics, higher-order model-checking, coinductive rewriting, differential privacy

Christian Espíndola
Stockholm university
Foundations - Set theory - Model theory - Metamathematics - Category theory

Christian Theil Have
Roskilde University
http://akira.ruc.dk/~cth/

Christoph Benzmueller
FU Berlin
http://christoph-benzmueller.de
Classical higher order logic as universal logic, embeddings of non-classical logics, automation

Claes Strannegård
University of Gothenburg
http://www.flov.gu.se/english/contact/staff/claes-strannegard/
human reasoning

Claudio Animato
University of Naples "Federico II", Department of Philosophy
Mathematical Logic and Foundations of Mathematics

Constantin E. Dumitrescu
Independent
http://www.rexlogic.net
Logic, Ontology etc

Cristian Prisacariu
Department of Informatics, University of Oslo
http://heim.ifi.uio.no/~cristi/index.shtml
modal logics, deontic/temporal/dynamic logics, universal algebra and rewriting theory, logics for concurrency

Crystal Chang Din
University of Oslo
http://www.mn.uio.no/ifi/english/people/aca/crystald/index.html
Logic, Specification, Verification

Cynthia M. Grund
University of Southern Denmark
www.cynthiamgrund.dk
Semantics, Philosophy of Language, Logic and Music

Dag Normann
The University of Oslo
http://folk.uio.no/~dnormann
Computability Theory

Dag Prawitz
Department of Philosophy, Stockholm University
www.philosophy.su.se/eng/prawitz.htm
Proof theory, Theory of meaning

Daisuke Ikegami
University of California, Berkeley
http://math.berkeley.edu/~daisuke/
Set Theory

Dan Saattrup Nielsen
University of Bristol
www.dsnielsen.com
Set theory, inner model theory

Dan Saattrup Nielsen
University of Bristol
www.dsnielsen.com
Set theory, inner model theory

David Ross
University of Hawaii
http://www.math.hawaii.edu/~ross/
Nonstandard analysis; model theory

David Sabonis
TU Munich & University of Copenhagen
Quantum Logic

David Sabonis
TU Munich & University of Copenhagen

David Sherratt
University of Bath
http://people.bath.ac.uk/drs32/
Logic, Computation, Proof Theory.

Denitsa
Logic, analytical metaphysics, contemporary phiosophy

Denitsa
Logic

Dirk Pattinson
Imperial College London
http://www.doc.ic.ac.uk/~dirk/
Applied Logic, Automated Reasoning

Donald Edward Stahl
Washington University in St. louis
https://independent.academia.edu/DonaldStahl
Political Entification, International Affairs

Douglas Sutherland Bridges
University of Canterbury
http://www.math.canterbury.ac.nz/~d.bridges/
constructive analysis, topology, and reverse mathematics

Dr. Mustafa Hashmi
Mälardalen University, Västerås, Sweden
http://www.es.mdh.se/staff/3353-Mustafa__Hashmi
Logic Programming, Non-Reasoning, Classical Logic, Model and Defeasible Logics

Dr. Mustafa Hashmi
Mälardalen University, Västerås, Sweden
http://www.es.mdh.se/staff/3353-Mustafa__Hashmi
Logic Programming, Non-Reasoning, Classical Logic, Model and Defeasible Logics

Dr.Stenly Djatah
Universitas Pelita Harapan, Lippo Karawaci, Banten INDONESIA
http://www.uph.edu
Aristotelian Logic, Syncategomatic, Predicate logic, Ethics

Ebba Gullberg
Umeå University
Philosophy of mathematics

Eliya Cohen
Princeton University

Erik Palmgren
Stockholm University, Department of Mathematics
http://www.math.su.se/~palmgren
Mathematical Logic and Foundations

Frode Bjørdal
Department of Philosophy, Classics, History of Art and Ideas, The unibversity of Oslo, Norway
http://www.hf.uio.no/ifikk/personer/vit/fbjordal/index.html
Set theory, foundations of mathematics, paradoxes, modal logics, philosophical logic

Gianluca Paolini
Department of Mathematics and Statistics, University of Helsinki
http://www.mv.helsinki.fi/home/gianpaol/homepage.html
Model theory, extensions of first-order logic, foundations of mathematics

Giovanni Sambin
University of Padua (Italy)
www.math.unipd.it/~sambin
non-classical logics, constructive mathematics, type theory, philosophy of mathematics

Giuseppina Ronzitti
http://sites.google.com/site/giuseppinaronzitti/home
intuitionistic mathematics, philosophy of mathematics, vagueness, metaphysics, Erik Stenius

Göran Sundholm
Leiden university, Chair of Logic
https://openaccess.leidenuniv.nl/browse?value=Sundholm%2C+B.G.&type=author
philosophy of logic and mathematics, constructivism, modern history of logic

Graham E Leigh
University of Gothenburg
http://flov.gu.se/english/about/staff?languageId=100001&userId=xleigr
Proof Theory, Theories of Truth, Modal µ-calculus

Gunnar Johansson
Göteborgs Universitet
Foundations of Mathematics, Mereology

Håkon Robbestad Gylterud
Stockholms Universitet
logic, category theory, type theory, computer science

Hanne Riis Nielson
DTU Informatics
http://www2.imm.dtu.dk/~riis/
static analysis, model checking, process calculi, security

Hans Bugge Grathwohl
Aarhus University
Type theory, lambda calculus, proof theory, categorical logic

Hans Christian Nordtveit Kvernenes
Université de Lille 3
https://univ-lille3.academia.edu/HansChristianNordtveit
Logic, Analogy, Legal Reasoning

Hans Götzsche
Aalborg University
http://www.cfl.hum.aau.dk/Organisation/Hans+Gotzsche/
logic and language, formal systems, formal semantics

Heinrich Wansing
Dept. of Philosophy II, Ruhr University Bochum, Germany
http://www.ruhr-uni-bochum.de/philosophy/logic/
non-classical logics, in particular modal and constructive logics; applications of logic in philosophy; epistemology

Helmut Schwichtenberg
Mathematisches Institut der Universitaet Muenchen
http://www.mathematik.uni-muenchen.de/~schwicht/
Proof theory, program extraction from proofs

Henrik Forssell
University of Oslo
Categorical logic, logic in computer science.

Herman Ruge Jervell
Computer Science, University of Oslo
http://heim.ifi.uio.no/herman/
Proof theory

Jacopo Emmenegger
Department of mathematics, Stockholm University
Type theory, category theory, topology

Jakob Grue Simonsen
University of Copenhagen
www.diku.dk/~simonsen

Jakob Nordström
KTH Royal Institute of Technology
http://www.csc.kth.se/~jakobn/
Theoretical computer science, proof complexity, computational complexity, SAT solving

James Leslie
Edinburgh University
Pure Mathematics, Mathematical Logic, Proof Theory, Model Theory, Category Theory

Jan Lundorff.Rasmussen
Privat
Modal logic, epistemic logic, doxastic logic

Jan von Plato
University of Helsinki
http://www.helsinki.fi/~vonplato/

Jani Isohanni
Tampere University of Technology
Logic in computer science

Jendrik Stelling
Rostock University, Germany
philosophy of mathematics, algebraic logic, philosophy of logic, manyvalued logics

Jens Christian Bjerring
Aarhus University
https://sites.google.com/site/jcbjerringswebsite/
Epistemology, philosophical logic, metaphysics

Jens Kristian Dreyer Mathiasen
University of Southern Denmark
Knowledge Representation, Description Logics

Jens Ulrik Hansen
www.ruc.dk/~jensuh/
modal logic, epistemic logic, logic for rational interaction, formal and social epistemology

Joao Marcos
Federal University of Rio Grande do Norte, Brazil
http://sequiturquodlibet.googlepages.com
universal logic, non-classical logics, formal philosophy

John Baldwin
University of Illinois at Chicago emeritus
http://homepages.math.uic.edu/~jbaldwin/model11.html
model theory, philosophy of mathematics, mathematics education

John Gallagher
Roskilde University
http://www.ruc.dk/~jpg/
logic programming, program verification/analysis/transformation

John T. Baldwin
University of Illinois at Chicago
http://homepages.math.uic.edu/~jbaldwin/mathed.html
model theory, philosophy of mathematical practice

John T. Baldwin
University of Illinois at Chicago
http://homepages.math.uic.edu/~jbaldwin/
model theory, philosophy of mathematical practice

Jonne Mickelin Sätherblom
Former student at Uppsala and Stockholm University
https://ljhms.se
Proof theory, metamathematics, verification, constructivism

Jonni Virtema
University of Tampere
http://mtl.uta.fi/~jv76817/
modal logic, finite model theory

Joost Jacob Vecht
University of Oslo
https://www.hf.uio.no/ifikk/english/people/aca/philosophy/temporary/joos…
Philosophy of mathematics, philosophy of science, conceptual engineering

Joseph Kiniry
IT University of Copenhagen
http://www.itu.dk/~josr/
applied formal methods

Jostein Aanderaa
Wrote a thesis in mathematical logic many ears ago, 1994 UiO Cand. Scient. In resent years, spare time work on mathematical prob
Complexity theory, implicit complexity, type theory, functional programming, game theory, provable security, pi-1-2 logic.

Jouko Väänänen
Department of Mathematics and Statistics, University of Helsinki, and ILLC, University of Amsterdam
mathstat.helsinki.fi/logic/people/jouko.vaananen/
set theory, model theory, dependence logic, foundations of mathematics

Juha Kontinen
University of Helsinki
http://www.helsinki.fi/~jkontine/
Finite model theory, descriptive complexity theory, and dependence logic

Julie Goncharov
The Arctic University of Norway
epistemology, belief updates, intentions

Julie Goncharov
The Arctic University of Norway
epistemology, belief revisions, intentions

Julie Goncharov

Julie Goncharov

Julie Goncharov
The Arctic University of Norway

Jørgen Fischer Nilsson
DTU Informatics, Technical University of Denmark
http://www2.imm.dtu.dk/~jfn/
Computational logic, logic programming, diagram logic, natural logic

Jørgen Villadsen
Technical University of Denmark
http://imm.dtu.dk/~jv
Logic in Computer Science and Artificial Intelligence

Karoliina Lehtinen
University of Edinurgh
Modal mu, logic, games, automata, computation, model-checking

Kasper Højbjerg Christensen
Victoria University of Wellington
Philosophy of Logic, Metaphysics.

Katalin Lazar

Kerkko Luosto
University of Tampere
mathstat.helsinki.fi/~kluosto
finite and abstract model theory, discrete mathematics

Kevin Wilkinghoff
MSc Student in Mathematics, University of Bonn (Germany)
Mathematical Logic, Set Theory

Kim Solin
Dept. of Philosophy, Uppsala University
http://www.anst.uu.se/kimso473/index_e.html
Philosophical and Computational Logic, Algebraic Methods, Philosophy of Mathematics

Klaus Frovin Joergensen
Roskilde University
http://akira.ruc.dk/~frovin
Mathematical logic, philosophical logic, philosophy of mathematics

Klaus Robering
Syddansk Universitet - Instiut for Fagsprog, Kommunikation og Informationsvidenskab
http://www.sdu.dk/ansat/robering
modallogik, substructural logics, proof theory, non-classical set-theories

Lars Birkedal
IT University of Copenhagen
www.itu.dk/people/birkedal
Logic in computer science, categorical logic

Lars Gundersen
Aarhus University
http://pure.au.dk/portal/en/persons/lars-bo-gundersen
(cfa849bb-afef-47f1-b20b-1d48dc42ecdd).html
philosophy of logic, epistemology, metaphysics

Lars Kristiansen
Department of Mathematics, University of Oslo
http://folk.uio.no/larsk/
Mathmatical logic, computability theory, complexity theory, programming langauges, theoretical computer scjence

Lauri Hella
School of Information Sciences, University of Tampere
http://www.uta.fi/sis/yhteystiedot/henkilokunta/laurihella.html
finite model theory, modal logic, generalized quantifiers

LegasteloisB
UPMC - LIP6, Paris
http://webia.lip6.fr/~legasteloisb/
Non-classical logics, logic in artifical intelligence, modal logic, proof theory

Lennart Berg
Independent researcher
Unprovability

Lewis Hammond
University Of Warwick
Mathematical Logic, Philosophical Logic, Philosophy Of Mathematics, History Of Logic And Mathematics

Lewis Hammond
University Of Warwick / Uppsala Universitet
Mathematical Logic, Philosophical Logic, Philosophy Of Mathematics, History Of Logic And Mathematics

Li Zhang
Division of Philosophy, KTH Royal Institute of Technology
Belief Revision, Modal Logic

Lucian Zagan
ILLC, University of Amsterdam & CSMN, University of Oslo
http://sites.google.com/site/lucianzagan/
Philosophical Logic, Philosophy of Language, Semantics and Pragmatics

Maciej Kleczek
The University of Bielefeld
first order logic, modal logic

Marco Carbone
IT University of Copenhagen
http://www.itu.dk/people/maca
Concurrency Theory, Programming Languages, Type Theory, Logic, Verification

Marija Slavkovik
University of Bergen
http://www.uib.no/personer/Marija.Slavkovik
Computational Social Choice, Multi-agent Systems, Machine Ethics

Marija Slavkovik
University of Bergen
http://www.uib.no/personer/Marija.Slavkovik
Multi-agent Systems, Computational Logic, Computational Social Choice

marika bouchon
http://sites.google.com/site/basicoptions/on-representations
human and physical representations; topology

Mario Piazza
University of Chieti-Pescara
https://www.researchgate.net/profile/Mario_Piazza/?ev=hdr_xprf
proof-theory; computation theory; philosophy of mathematics

Martin Filin Karlsson
Göteborg University
Formal semantics for natural languages (quantification in particular)

Martin Giese
University of Oslo
semantic technologies, automated reasoning, analytic tableaux, program verification

Martin Holm Jensen
Technical University of Denmark
http://www2.imm.dtu.dk/~mhje/
Dynamic Epistemic Logic, Planning, Doxastic Logics, Belief Revision

Martin Kaså
University of Gothenburg

Martin Mose Bentzen
Roskilde University
www.martinmosebentzen.dk
Deontic Logic, Modal Logic, Philosophical Logic, Alternative Logics

Martin Ziegler
TU Darmstadt
http://www.mathematik.tu-darmstadt.de/~ziegler
Real Number Computability and Complexity

Mathias Barra
Akershus University Hospital (Ahus)
Sykehusveien 25

Mathias Winther Madsen
Institute for Logic, Language, and Computation, University of Amsterdam
http://home.medewerker.uva.nl/m.w.madsen/
General linguistics, game-theoretical pragmatics and game-theoretical semantics, information theory

Mattias Granberg Olsson
Göteborgs universitet

Meeri Kesälä
University of Helsinki
http://www.helsinki.fi/~mzviljan/
model theory, non-elementary classes

mehdi shahani
provability logic and type theory

Merv Hammer
Independent researcher
Mathematical Logic, Foundations of Mathematics, Model Theoryx

Merv Hammer
Independent researcher
Logic, Mathematical Logic, Foundations of Mathematics, Proof Theory, Model Theory

Merv Hammer
Independent researcher
Logic, Mathematical Logic, Foundations of Mathematics, Proof Theory, Model Theory

Michael Haene
ASL
limits of logic, incompleteness, self-reference, set theory

Michael R. Hansen
DTU Informatics, Technical University of Denmark
www.imm.dtu.dk/~mrh
Verification, temporal logic, interval logic

Miika Hannula
University of Helsinki
Dependence logic

Mikko Männikkö
University of Helsinki, University Consortium of Seinäjoki
http://www.netikka.net/mikkomannikko/index.htm
Logic, Game Theory

Mirja Hartimo
University of Tampere
History and philosophy of mathematics

Mirko Tagliaferri
University of Urbino
Logic; trust; probability

Mohammad Jabbari
student
category theory

Mohammad Mousavi
Halmstad University
http://ceres.hh.se/mediawiki/index.php/Mohammad_Mousavi
Logic in Computer Science, Semantics

Morten Heine Sørensen
Formalit
www.formalit.dk
Lambda-calculus, type theory, proof theory, the Curry-Howard isomorphism, dialogues in logic

Muhammad Usama Sardar
Technische Universität Dresden (TU Dresden), Germany
https://www.linkedin.com/in/usama-sardar/
Formal verification, Model checking, Automated reasoning, Temporal logic, Hardware security

Muniraja Gopal
Bangalore University, Bangalore, India
none
Nonlinear Dynamics, Foundations of Mathematics, Philosophy of Science

Neil Barton
Birkbeck College, University of London
http://birkbeck.academia.edu/NeilBarton
Philosophy of Mathematics, Foundations of Mathematics, Philosophy of Science, Logic, Set Theory,

Neil Barton
Birkbeck College, University of London
birkbeck.academia.edu/NeilBarton
Philosophy, Set Theory, Mathematical Logic

Neil Deaton Jones
University of Copenhagen
www.diku.dk/~neil
Computability, complexity, finite models, model checking

Nemi Pelgrom
Stockholm University
Philosophy of logic, philosophy of mathematics, foundations of mathematics

Nikolaj Jang Lee Linding Pedersen
Underwood International College, Yonsei University
http://www.nikolajpedersen.com
Epistemology, truth, philosophy of logic and mathematics.

Nina Gierasimczuk
Technical University of Denmark
www.ninagierasimczuk.com
Mathematical Logic, Epistemology, Learning Theory, Artificial Intelligence

Nobuko Yoshida
Imperial College London
http://mrg.doc.ic.ac.uk/people/nobuko-yoshida/
Theoretical Computer Science, Programming Languages

Oğuz Akçelik
METU
Philosophical Logic, Epistemic Logic

Ole Thomassen Hjortland
Munich Center for Mathematical Philosophy (MCMP), LMU
https://sites.google.com/site/olehjortland/
Philosophy of logic, proof theory, formal epistemology

Ole Torp Lassen
Roskilde University
www.ruc.dk/~otl
Cognition, Language , AI, machine-learning

Olga Kosheleva
University of Texas at El Paso
http://www.cs.utep.edu/vlaidk/olgavita.html
constructive mathematics, teaching

Oliver Kutz
Research Center on Spatial Cognition, University of Bremen, Germany
http://www.informatik.uni-bremen.de/~okutz/
Logic, Philosophy, Artificial Intelligence

Olle Torstensson
Uppsala University

Otávio Bueno
University of Miami (USA)
http://www.as.miami.edu/personal/obueno
Philosophy of logic, philosophy of mathematics, philosophical logic, non-classical logics, paraconsistent logic

Ove Ahlman
Uppsala University
http://www.math.uu.se/~ove
Mathematical Logic, Finite model theory, Combinatorics

Paal Antonsen
University of Bergen
https://www.uib.no/personer/P%C3%A5l.Antonsen
Philosophy of language, philosophy of logic, philosophy of mind

Panu Raatikainen
Department of Philosophy, History, Culture and Art Studies; University of Helsinki
http://www.mv.helsinki.fi/home/praatika/
the foundations of mathematics

Patrick Bahr
University of Copenhagen
www.diku.dk/~paba/
term rewriting, functional programming, type theory

Patrick Blackburn
Roskilde University, Denmark
http://www.patrickblackburn.org/
Modal Logic, Higher-order logic, Natural Language Semantics and Pragmatics, Formal Epistemology

Patrick Blackburn
Roskilde University (RUC), Denmark
http://www.patrickblackburn.org/
Modal logic, applied logic, philosophical logic

Paul Gorbow
University of Gothenburg
Set theory, Stratified set theory, Category theory, Applications to Philosophy

Paula Quinon
Philosophy Department Lund University
lu.academia.org/paulaquinon
philosophy of mathematics, axiomatic arithmetic

Pelle Guldborg Hansen
Inst. for Marketing & Management, University of Southern Denmark
www.pelleonline.org
Game theory, justification logic

Per Martin-Löf
Stockholm University
Logic

Peter Arndt
Mathematische Fakultät, University of Regensburg
Categorical Logic, Abstract Logic, Homotopy Type Theory

Peter Dybjer
Chalmers University of Technology
http://www.cse.chalmers.se/~peterd/
Type theory, constructive logic

Peter Fritz
University of Oslo
https://www.hf.uio.no/ifikk/english/people/aca/philosophy/tenured/peteraf/
modal logic, higher-order logic

Peter M. Schuster
Dipartimento di Informatica, Università degli Studi di Verona, Italia
http://www.di.univr.it/?ent=persona&id=21404&lang=en
Proof Theory, Constructive Mathematics, Hilbert's Programme

Peter Nicholas Erik Sørensen
Victoria University of Wellington, New Zealand
www.facebook.com/sorenspete
Philosophy, language, syntax, formal systems, logic, QT=, meaning, semantics

Peter Øhrstrøm
Aalborg University
www.hum.aau.dk/~poe
temporal logic, tense logic, modal logic, the history of logic

Philip David Welch
University of Bristol
www.maths.bris.ac.uk/~mapdw
Set Theory, Foundations of Mathematics

Philip Welch
University of Bristol
http://www.maths.bris.ac.uk/~mapdw/
Set Theory, Inner Model Theory, Determinacy, Theories of Truth, Transfinite Computational Models

Pietro Galliani
Universiteit van Amsterdam
www.dependencelogic.org/galliani
Dependence Logic, Game-theoretic Semantics, Imperfect Information

Piotr Kaźmierczak
Bergen University College
http://soundandcomplete.com
Normative systems, verification of multi-agent systems, tableau methods, functional programming.

Radhakrishnan Delhibabu
RWTH Aachen
Application of Mathematical Logic

Radu Mardare
Aalborg University, Denmark
http://people.cs.aau.dk/~mardare
Modal and Coalgebraic Logics, Temporal Logics, Mu-Calculus, Markovian and Probabilistic Logics, Theories of Bisimulation

Raja Natarajan
Tata Institute of Fundamental Research
http://www.tcs.tifr.res.in/~raja/
Interactive Theorem Proving, Semantics of Computation, Foundations of Mathematics, Philosophy of Computer Science, Modal Logics

Rasmus Blanck
Göteborgs universitet
arithmetized metamathematics, philosophy of mathematics

Rasmus K. Rendsvig
Roskilde University
http://vince-inc.com/rendsvig
epistemic logic, quantified modal logic, social epistemology

Rasmus K. Rendsvig

Richard Dietz
University of Tokyo
http://richarddietz.net
Philosophical Logic

Rineke Verbrugge
University of Groningen
http://www.ai.rug.nl/~rineke
modal logics (epistemic, provability); logic and cognition

Robert Rothenberg
University of St Andrews, Scotland
Proof Theory, Type Theory

Robin Cooper
University of Gothenburg
http://www.ling.gu.se/~cooper
logic for natural language

Robin Kaarsgaard
University of Copenhagen
logic in computer science, type theory, proof theory

Roger Antonsen
Department of Informatics, University of Oslo
http://www.mn.uio.no/ifi/english/people/aca/rantonse/index.html
sequent calculi, analytic tableaux, automated reasoning, modal logic

Roman Kossak
City University of New York
Model Theory, Nonstandard Models of Arithmetic

Roussanka Loukanova
unemployed
Logic and Linguistics, Logic and Computer Science

Roy Dyckhoff
University of St Andrews
http://www.cs.st-andrews.ac.uk/~rd/
proof theory, type theory, semantics of natural language, intuitionistic logic, modal logic, multi-agent logic

Ryan Burgess
The University of Chicago

Ryan Burgess
The University of Chicago
N/A
Philosophical and Mathematical Logic, Model Theory, Proof " ", Computation " ", Category " ", Information " ", Metamathematics

Ryan Burgess
The University of Chicago

Ryan Burgess
The University of Chicago

Ryan Burgess
The University of Chicago

Ryan Burgess
The University of Chicago

Saeed Salehi
University of Tabriz, Iran
http://saeedsalehi.ir/
Mathematical Logic (Godel Theorems and Arithmetics) and Theoretical Computer Science (Forma Tree Automata and Languages))

Sam Roberts
University of Oslo
https://samrroberts.net/
Set theory, logic, philosophy of maths

Sampo Haavasoja
Finite Model Theory, Turing Machines, Paradoxes, Restrained philosophical interpretations

Sanderson Molick Silva
Undergrad Student - Federal University of Rio Grande do Norte/Brazil
Proof theory, non-classical logics and game theory

Sankha S. Basu
Assistant Professor, Indraprastha Institute for Information Technology, New Delhi, India
intuitionistic logic, paraconsistent logics, non-classical logics

Sara Negri
University of Helsinki
http://www.helsinki.fi/~negri/
Proof theory, non-classical logics, formal epistemology, constructive foundations

Satyendr Singh
BML Munjal University, Gurgaon, India
http://www.satyendrsingh.webs.com/
Natural Language Processing, Machine Learning, Logic in Computer Science

Sebastian Enqvist
Lund University
http://www.fil.lu.se/persons/person.asp?filpers=790
modal logic, non-classical logics, categorical logic, constructive mathematics, foundations of mathematics, universal logic

Semiha Akinci
Anadolu University-Eskisehir-Turkey
Logic, Philosophy of Language

Sergii Tropanets
Odessa National University
Proof theory, Modal logics, Truth theories, Formal philosophy

Sine Zambach
Roskilde University
Knowledge representation, applied logics

Staffan Angere
University of Bristol
Philosophical logic, metaphysics, philosophy of mathematics, philosophy of physics

Stefán Jökulsson
Archives Henri Poincaré, Université de Lorraine
Philosophy of logic, philosophical logic, metaphilosophy, epistemology and philosophy of language

Sten Lindström
Department of Historical, Philosophical and Religious Studies, Umeå University
http://www.idesam.umu.se/om/personal/filosofi/sten-lindstrom/
Philosophical logic, Philosophy of mathematics

Stig Andur Pedersen
Roskilde University
http://akira.ruc.dk/~sap/
Foundations of Mathematics, Philosophy of Science

Sumanta Sarathi Sharma
Shri Mata Vaishno Devi University, Katra, J&K, India
Syllogistic Logic, Diagrammatic Reasoning

Sven Ove Hansson
Royal Institute of Technology, Stockholm
http://home.abe.kth.se/~soh/
Belief revision, formal epistemology, preference logic, deontic logic, logic of probability, philosophy of logic

Syeda Fatima
Loughborough University
http://www.lboro.ac.uk/departments/compsci/staff/academic-teaching/shahe…
Artificial Intelligence, Multiagent systems

Sylvie Saget
CLASP, FLOV, University of Gothenburg
Pragmatics, Spoken Dialog Systems, Logic and Linguistics, Logic in AI and Multi-Agent Systems, Logics of Games, Axiomatic The

Sylvie Saget
CLASP, FLOV, University of Gothenburg
Pragmatics, Spoken Dialog Systems, Logic and Linguistics, Logic in AI and Multi-Agent Systems

Tero Tulenheimo
Department of Philosophy, University of Lille 3, France
http://www.tulenheimo.webs.com/
philosophy of logic, expressivity, decidability, modal logic, extensions of first-order logic, logic & games, model theory

Thomas Ågotnes
University of Bergen
http://folk.uib.no/nmita/
Modal logic, in particular multi-agent logics, game logic, action logic, epistemic logic, deontic logic…

Thomas Bolander
Technical University of Denmark
http://www.imm.dtu.dk/~tb
Modal logics, hybrid logics, epistemic logics, logic-based AI

Toby Meadows
University of Aberdeen
https://sites.google.com/site/tobymeadows/
Set theory, philosophy of mathematics

Tomoyuki Suzuki
University of Leicester
mathematical logic

Torben Braüner
Roskilde University
http://akira.ruc.dk/~torben/
Non-classical logics, mainly modal and hybrid logics. Application of logic in CS, AI, and philosophy.

Torbjörn Lager

Tore Fjetland Øgaard
University of Bergen
https://www.uib.no/personer/Tore.Fjetland.%C3%98gaard
Philosophical logic

Tudor Jebelean
Johannes Kepler University of Linz, Austria
www.risc.jku.at
automatic reasoning

Tuomo Lempiäinen
Aalto University
http://users.ics.aalto.fi/tuomolem/

Ulrich Kohlenbach
Department of Mathematics, TU Darmstadt, Germany
http://www.mathematik.tu-darmstadt.de/~kohlenbach
Proof Theory with Applications to Nonlinear Analysis and Ergodic Theory

Ulrik Buchholtz
Stanford University
http://math.stanford.edu/~utb/
proof theory,constructive mathematics,type theory

Umang Mathur
University Of Illinois, Urbana Champaign
umathur3@illinois.edu
Formal methods

Vadim Kulikov
Kurt Gödel Research Center
www.vadimkulikov.com
descriptive set theory, knot theory, forcing, definability, games, model theory, recreational mathematics,

Valentin Goranko
Technical University of Denmark
http://www2.imm.dtu.dk/~vfgo/
mathematical, philosophical, and applied logic; mainly: logic in CS, AI and multi-agent systems

Valeria C. V. de Paiva
Rearden Commerce
https://sites.google.com/a/valeriadepaiva.org/www/
Linear Logic, Intuitionisitic Logic, Constructive modal Logics, Hybrid Logics

Valeria C V de Paiva
Nuance Communications
http://vcvpaiva.github.io/
proof theory, categorical logic, semantics of languages

Valeria de Paiva
Rearden Commerce

Valeria de Paiva
Nuance Communications
http://vcvpaiva.github.io/
categorical logic, type theory, proof theory, semantics of NL, semantics of PLs

Vera Koponen
Department of Mathematics, Uppsala University
http://www.math.uu.se/~vera
logic, model theory, combinatorics

Viggo Stoltenberg-Hansen
Uppsala University
www.math.uu.se/~viggo
Mathematical logic

Vladik Kreinovich
University of Texas at El Paso
http://www.cs.utep.edu/vladik
constructive logic

William F Fearon
Hungarian Academy of Sciences
Artificial Intelligence, Artificial Life, Logic Theorems of Uncertainty

Yassine Ammar
Secondary Mathematics Teacher
Mathematics Didactics - Complexity in Mathematics teaching/learning - Proof construction - Teaching Logic.

Yì Nicholas Wáng
Bergen University College
http://home.hib.no/ansatte/ynw/
Dynamic Epistemic Logic, Logic for Multiagent systems, Modal Logic

Yoshihiro Maruyama
University of Oxford
http://researchmap.jp/ymaruyama/
Categorical Logic, Philosophical Logic

Zhaohui Luo
RHUL, UK
http://www.cs.rhul.ac.uk/home/zhaohui/
Type theory, proof assistants, system verification, linguistic semantics

Zhiguang Zhao
Institute for Logic, Language and Computation
Modal Logic, Model theory

Zuzanna Gnatek
Trinity College Dublin
https://tcd.academia.edu/ZuzannaGnatek

Zuzanna Gnatek
Trinity College Dublin
https://tcd.academia.edu/ZuzannaGnatek
reference, self-reference, higher order quantification, abstraction principles, neo-Fregeanism, truth and paradox

Zuzanna Gnatek
Trinity College Dublin
reference, self-reference, higher order quantification, abstraction principles, neo-Fregeanism, truth and paradox

Øystein Linnebo
University of Oslo
Dept Of Philosophy, Ifikk
philosophical logic, philosophy of mathematics, higher-order logic, logicism