the scandinavian logic society

slideshow 1

List of members

Herman Ruge Jervell | Computer Science, University of Oslo
Proof theory
Jacopo Emmenegger | Department of mathematics, Stockholm University
Type theory, category theory, topology
Jakob Grue Simonsen | University of Copenhagen
Jakob Nordström | KTH Royal Institute of Technology
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
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
Epistemology, philosophical logic, metaphysics
Jens Kristian Dreyer Mathiasen | University of Southern Denmark
Knowledge Representation, Description Logics
Jens Ulrik Hansen
modal logic, epistemic logic, logic for rational interaction, formal and social epistemology
Joao Marcos | Federal University of Rio Grande do Norte, Brazil
universal logic, non-classical logics, formal philosophy
John Baldwin | University of Illinois at Chicago emeritus
model theory, philosophy of mathematics, mathematics education
John Gallagher | Roskilde University
logic programming, program verification/analysis/transformation
John T. Baldwin | University of Illinois at Chicago
model theory, philosophy of mathematical practice
John T. Baldwin | University of Illinois at Chicago
model theory, philosophy of mathematical practice
Jonne Mickelin Sätherblom | Former student at Uppsala and Stockholm University
Proof theory, metamathematics, verification, constructivism
Jonni Virtema | University of Tampere
modal logic, finite model theory
Joseph Kiniry | IT University of Copenhagen
applied formal methods
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
Finite model theory, descriptive complexity theory, and dependence logic
Jørgen Fischer Nilsson | DTU Informatics, Technical University of Denmark
Computational logic, logic programming, diagram logic, natural logic
Jørgen Villadsen | Technical University of Denmark
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
Philosophical and Computational Logic, Algebraic Methods, Philosophy of Mathematics
Klaus Frovin Joergensen | Roskilde University
Mathematical logic, philosophical logic, philosophy of mathematics
Klaus Robering | Syddansk Universitet - Instiut for Fagsprog, Kommunikation og Informationsvidenskab
modallogik, substructural logics, proof theory, non-classical set-theories
Lars Birkedal | IT University of Copenhagen
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
Mathmatical logic, computability theory, complexity theory, programming langauges, theoretical computer scjence
Lauri Hella | School of Information Sciences, University of Tampere
finite model theory, modal logic, generalized quantifiers
LegasteloisB | UPMC - LIP6, Paris
Non-classical logics, logic in artifical intelligence, modal logic, proof theory
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
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
Concurrency Theory, Programming Languages, Type Theory, Logic, Verification
Marija Slavkovik | University of Bergen
Computational Social Choice, Multi-agent Systems, Machine Ethics
Marija Slavkovik | University of Bergen
Multi-agent Systems, Computational Logic, Computational Social Choice
marika bouchon
human and physical representations; topology
Mario Piazza | University of Chieti-Pescara
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
Dynamic Epistemic Logic, Planning, Doxastic Logics, Belief Revision
Martin Kaså | University of Gothenburg
Martin Mose Bentzen | Roskilde University
Deontic Logic, Modal Logic, Philosophical Logic, Alternative Logics
Martin Ziegler | TU Darmstadt
Real Number Computability and Complexity
Mathias Winther Madsen | Institute for Logic, Language, and Computation, University of Amsterdam
General linguistics, game-theoretical pragmatics and game-theoretical semantics, information theory
Meeri Kesälä | University of Helsinki
model theory, non-elementary classes
mehdi shahani
provability logic and type theory
Michael Haene | ASL
limits of logic, incompleteness, self-reference, set theory
Michael R. Hansen | DTU Informatics, Technical University of Denmark
Verification, temporal logic, interval logic
Miika Hannula | University of Helsinki
Dependence logic
Mikko Männikkö | University of Helsinki, University Consortium of Seinäjoki
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
Logic in Computer Science, Semantics
Morten Heine Sørensen | Formalit
Lambda-calculus, type theory, proof theory, the Curry-Howard isomorphism, dialogues in logic
Muniraja Gopal | Bangalore University, Bangalore, India

none

Nonlinear Dynamics, Foundations of Mathematics, Philosophy of Science
Neil Barton | Birkbeck College, University of London
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
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
Epistemology, truth, philosophy of logic and mathematics.
Nina Gierasimczuk | Technical University of Denmark
Mathematical Logic, Epistemology, Learning Theory, Artificial Intelligence
Oğuz Akçelik | METU
Philosophical Logic, Epistemic Logic
Ole Thomassen Hjortland | Munich Center for Mathematical Philosophy (MCMP), LMU
Philosophy of logic, proof theory, formal epistemology
Ole Torp Lassen | Roskilde University
Cognition, Language , AI, machine-learning
Olga Kosheleva | University of Texas at El Paso
constructive mathematics, teaching
Oliver Kutz | Research Center on Spatial Cognition, University of Bremen, Germany
Logic, Philosophy, Artificial Intelligence
Olle Torstensson | Uppsala University
Otávio Bueno | University of Miami (USA)
Philosophy of logic, philosophy of mathematics, philosophical logic, non-classical logics, paraconsistent logic
Ove Ahlman | Uppsala University
Mathematical Logic, Finite model theory, Combinatorics
Panu Raatikainen | Department of Philosophy, History, Culture and Art Studies; University of Helsinki
the foundations of mathematics
Patrick Bahr | University of Copenhagen
term rewriting, functional programming, type theory
Patrick Blackburn | Roskilde University, Denmark
Modal Logic, Higher-order logic, Natural Language Semantics and Pragmatics, Formal Epistemology
Patrick Blackburn | Roskilde University (RUC), Denmark
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
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
Type theory, constructive logic
Peter M. Schuster | Dipartimento di Informatica, Università degli Studi di Verona, Italia
Proof Theory, Constructive Mathematics, Hilbert's Programme
Peter Nicholas Erik Sørensen | Victoria University of Wellington, New Zealand
Philosophy, language, syntax, formal systems, logic, QT=, meaning, semantics
Peter Øhrstrøm | Aalborg University
temporal logic, tense logic, modal logic, the history of logic
Philip David Welch | University of Bristol
Set Theory, Foundations of Mathematics
Philip Welch | University of Bristol
Set Theory, Inner Model Theory, Determinacy, Theories of Truth, Transfinite Computational Models
Pietro Galliani | Universiteit van Amsterdam
Dependence Logic, Game-theoretic Semantics, Imperfect Information
Piotr Kaźmierczak | Bergen University College
Normative systems, verification of multi-agent systems, tableau methods, functional programming.
Radhakrishnan Delhibabu | RWTH Aachen
Application of Mathematical Logic
Radu Mardare | Aalborg University, Denmark
Modal and Coalgebraic Logics, Temporal Logics, Mu-Calculus, Markovian and Probabilistic Logics, Theories of Bisimulation
Raja Natarajan | Tata Institute of Fundamental Research
Interactive Theorem Proving, Semantics of Computation, Foundations of Mathematics, Philosophy of Computer Science, Modal Logics

Pages

 Photo of Mount Akka / Àhkka massif seen from the high plateau Maukojaureh north-east of it by Tobias Radeskog / CC BY 3.0.