ABCDEFGHIJKLMNO
1
PLEASE NOTE THAT THERE ARE VARIOUS TABS, ONE PER CONTINENT AND ONE FOR GRADUATE STUDENTS.
2
3
Given nameInstitution (country)PositionWebsiteEmailAreas (separate by commas)
4
AyhanSara Ruhr University Bochum, GermanyPost-Dochttps://sites.google.com/view/sara-ayhan/sara.ayhan@rub.deProof-theoretic semantics, proof theory, bilateralism, philosophical logic, non-classical logics
5
AlechinaNatashaUniversity of NottinghamAssociate Professorhttps://scholar.google.co.uk/citations?user=J1ThCVcAAAAJnza@cs.nott.ac.ukModal logics and multiagent systems
6
AloniMariaILLC -- University of Amsterdam (Netherlands)Associate Professorhttp://maloni.humanities.uva.nl/(see website)Formal Semantics and pragmatics, Philosophy of language, indefinite reference, dynamic semantics
7
AlvesSandraUniversity of PortoAssistant professorhttp://www.dcc.fc.up.pt/-sandra(see website)Type theory, Programming Languages, Fornal methods
8
AndersonGabrielleUniversity of Aberdeen (UK)Research postdocg.a.anderson@abdn.ac.ukmodal logics and process calculi
9
ArndtDörtheTU Dresden (Germany)Postdochttps://iccl.inf.tu-dresden.de/web/D%C3%B6rthe_Arndtdoerthe.arndt@tu-dresden.deknowledge representation and reasoning, Rule-based reasoning
10
BalzerStephanieCarnegie Mellon University (USA)Assistant Research Professorhttps://www.cs.cmu.edu/~balzers/balzers@cs.cmu.eduType theory, Programming Languages, Security
11
BelardinelliGaiaUniversity of Copenhagen (Denmark)PhD Studenthttps://sites.google.com/view/gaiabelardinelli/homebelardinelli@hum.ku.dkEpistemic Logic, Cognitive Logics, Logical Dynamics
12
BeslerGabrielaDepartment of Philosophy, University of Silesia, Polandassistant professorgabriela.besler@us.edu.plphilosophy of logic, history of logic, (neo)logicism, number's concept, G. Frege's logic
13
BiernackaMalgorzataInstitute of Computer Science, Univerisity of Wroclaw, Polandassistant professormabi@cs.uni.wroc.plcomputational logic
14
BilkovaMartaCzech Academy of Sciences (Czech rep.)Researcherhttps://sites.google.com/view/martabilkovabilkova@cs.cas.czLogic in computer science, Non-classical logics, Modal, substructural and paraconsistent logics, Coalgebraic logic
15
BobzienSusanneAll Souls College, University of Oxford and Yale UniversityProfessor and Senior researcherhttp://www.all-souls.ox.ac.uk/people.php?personid=2155susanne.bobzien@philosophy.ox.ac.ukHistory of logic, ancient & 19th century logic including G. Frege, philosophical logic, application of modal logic (vagueness)
16
BoritchevMariaLoria, Inria Nancy Grand-Est (France)PhD Student, Lecturerhttps://members.loria.fr/MBoritchev/maria.boritchev@loria.frFormal semantics, pragmatics, computational linguistics
17
BrownCarolynIndustryChief Information Officerhttp://www.cio.co.uk/cio100/carolyntbrown@gmail.com
18
Campbell-MooreCatrinUniversity of Bristol (UK)Researcher (Lecturer)www.ccampbell-moore.co.ukcatrin@ccampbell-moore.co.ukphilosophical logic, formal epistemology, self-referential probabilities (theories of truth), epistemic utility theory; philosophy of probability
19
CanavottoIlariaILLC -University of Amsterdam (Netherlands)Postdoctoral researcherhttps://sites.google.com/view/ilariacanavotto/ilaria.canavotto@gmail.comphilosophical logic, deontic logic, logics of actions
20
ChristoffZoéUniversity of Groningen (NL) Assistant professor & Rosalind Franklin Fellowwww.zoechristoff.comz.l.christoff@rug.nl zoe.christoff@gmail.comLogics for social networks, Philosophical logic, Dynamic Epistemic Logic, Judgment aggregation theory, social epistemology, formal epistemology, social network analysis.
21
CiabattoniAgataInstitute of Computer Languages (TU Wien, Austria)Full Professorhttp://www.logic.at/staff/agata/agata@logic.atNon-classical logic, Proof Theory
22
CompagnoniAdrianaStevens Institute of TechnologyAssociate Professorhttps://scholar.google.com/citations?user=S-zXJGUAAAAJ&hl=enadriana.compagnoni@gmail.comProgramming Languages, Computational Biology, Computer Security
23
DaphneWangUCL (UK)PhD Studentdaphne.wang.19@ucl.ac.ukformal semantics of natural language, intuitionistic logic, quantum logic
24
DardhaOrnelaUniversity of Glasgow (UK)Lecturerhttp://www.dcs.gla.ac.uk/~ornela/ornela.dardha@glasgow.ac.ukProgramming Languages, Formal Methods
25
DechesneFrancienDelft University of Technology (Netherlands)researcherhttp://www.ethicsandtechnology.eu/people/dechesne/f.dechesne@tudelft.nlmathematical logic; constructive logic, modal logics for modelling interaction, independence friendly logic, dynamic epistemic logic
26
Dumbrava StefaniaENSIIE & Institut Polytechnique de Paris (France)Associate Professorhttp://web4.ensiie.fr/~stefania.dumbrava/stefania.dumbrava@ensiie.frFormal Methods , Programming Languages, Software Verification, Theorem Proving; Logic, Databases; Knowledge Representation; Artificial Intelligence
27
Dutilh NovaesCatarinaVU Amsterdam (Netherlands)Professorcdutilhnovaes.comc.dutilh.novaes@rug.nlPhilosophy of Logic, History of Logic, Logic and cognition, Medieval logic
28
ErascuMadalinaWest University of Timisoara, RomaniaLecturermerascu.github.iomadalina.erascu@e-uvt.roformal methods, symbolic computation
29
FernandezMaribelKing's College LondonProfessorhttps://www.nms.kcl.ac.uk/maribel.fernandez/maribel.fernandez@kcl.ac.ukmodels of computation, programming language semantics, foundations of security
30
FranchellaMiriamMilan University (Italy)Associate professormiriam.franchella at unimi.itphilosophy of logic, history of logic, Logic and society, Intuitionism
31
FismanDanaBen Gurion University (Israel)Associate Professorhttps://www.cs.bgu.ac.il/~dana/dana@cs.bgu.ac.ilAutomata and Formal Language Theory, Temporal Logic, Interesction of Computational Learning Theory and Formal Languages
32
GeorgievaLiliaHeriot Watt University (UK)Lecturerhttps://www.linkedin.com/in/liliageorgievageorgieva/L.Georgieva@hw.ac.ukautomated reasoning, knowledge representation, theorem proving , program and process analysis, non-classical logic
33
GheerbrantAmelieUniversity of Edinburgh (Scotland)Research postdochttp://homepages.inf.ed.ac.uk/agheerbr/agheerbr@inf.ed.ac.ukmathematical logic, theoretical computer science, model theory, database theory
34
GhidiniChiaraFondazione Bruno Kessler (FBK)Senior researcherhttps://dkm.fbk.eu/ghidini/ghidini@fbk.euknowledge representation, mathematical logic
35
GhilezanSilviaUniversity of Novi SadProfessorhttp://imft.ftn.uns.ac.rs/~silviasee websitemathematical logic, theoretical computer science, type theory, concurrency
36
Gierasimczuk NinaTechnical University of Denmarkassociate professorhttp://ninagierasimczuk.com/see websitemathematical and philosophical logic, formal epistemology and philosophy of science, learning theory, epistemic logic
37
Golińska-PilarekJoannaInstitute of Philosophy at the University of Warsaw (Poland)assistant professorhttps://jgolinska.filozofia.uw.edu.pl/j.golinska@uw.edu.plphilosophical and mathematical logic, analytic philosophy, non-classical logics, non-Fregean logics
38
Gómez ÁlvarezLuciaTU Dresden (Germany)postdochttps://iccl.inf.tu-dresden.de/web/Luc%C3%ADa_G%C3%B3mez_%C3%81lvarezlucia.gomez_alvarez@tu-dresden.demodal logic, knowledge representation and reasoning, linguistics
39
HansenHelle HvidUniversity of Groningen (Netherlands)Associate Professorhttps://www.rug.nl/staff/h.h.hansen/h.h.hansen@rug.nlmodal logic, coalgebra, category theory, dynamic coalgebraic logics, coalgebraic modal logic, non-normal modal logics, neighbourhood semantics
40
HuertasAntoniaUniversitat Oberta de Catalunya (Barcelona, Spain)Associate professorhttp://huertas.wordpress.commhuertass@uoc.edumathematical logic, knowledge representation, modal logic, e-learning of logic
41
Janssen-LauretFrederiqueUniversity of Manchester (UK)Tenure-track researcherhttps://manchester.academia.edu/FrederiqueJanssenLauretfrederique.janssen-lauret@manchester.ac.ukPhilosophy of logic, History of philosophical logic, Women in the history of logic
42
JohannPatriciaAppalachian State University (US)Professorhttps://cs.appstate.edu/~johannp/johannp@appstate.eduProgramming language semantics, type theory, category theory
43
KalvalaSaraUniversity of WarwickAssociate Professorhttp://go.warwick.ac.uk/kalvalaSara.Kalvala@warwick.ac.uktheorem proving in higher order logic, compiler verification, programming language semantics, computational biology, synthetic biology
44
KerjeanMarieCNRS (France)Researcherhttps://lipn.univ-paris13.fr/~kerjean/kerjean@lipn.frDenotational semantics, Category Theory, Functional Analysis, Proof Assistants, Proof Theory, Formalization of Mathematics
45
KennedyJulietteUniversity of Helsinki (Department of Mathematics and Statistics)Associate professorwww.math.helsinki.fi/logic/people/juliette.kennedy/juliette.kennedy@helsinki.fiMathemtical logic, philosophy and history of mathematics and logic, aesthetics, Set theory, Goedel
46
KesnerDeliaUniversité Paris Cité Full Professor www.irif.fr/~kesnerkesner@irif.frProof Theory , Semantics of Programming Languages
47
KieferSandraMPI-SWSResearch Group Leaderhttps://www.mpi-sws.org/people/skiefer/sankie@mpi-sws.orgMathematical Logic, Descriptive Complexity, Algorithmic and Structural Graph Theory, Algebraic Topology
48
KnightSophiaUppsala UniversityPostdochttp://www.lix.polytechnique.fr/~sophia/sophia.knight@gmail.comEpistemic logic & concurrency
49
LapentaSerafina (Sara)University of SalernoResearcherhttps://serafinalapenta.weebly.com/slapenta@unisa.itAlgebraic aspects of many-valued logic, Logic and probability
50
LehtinenKaroliinaCNRS, Aix-Marseille UniResearcherhttp://www.pageperso.lif.univ-mrs.fr/~karoliina.lehtinen/lehtinen@lis-lab.frModal and temporal logic, modal mu-calculus, automata, games, verification, synthesis
51
LengMaryUniversity of YorkLecturerhttp://www.york.ac.uk/philosophy/about/staff/mary-leng/(see website)Philosophy of mathematics, Philosophical logic, mathematical explanation, logical consequence, Hilbert's legacy
52
LópezSandra M.University of Valladolid (Spain) Assistant professorsandralv@usal.esRelevance logics, Modal logics, 3-valued logics, 4-valued logics
53
MacDougallMargaretUniversity of Edinburgh (Scotland)Medical Statistician and Researcher in Educationhttp://www.chs.med.ed.ac.uk/people/staffProfile.php?profile=mmacdougMargaret.MacDougall@ed.ac.ukphilosophy of mathematics and philosophy of logic, constructive and semi-constructive set theories, Poincaré's philosophy
of mathematics, nominalism, mathematical intuition and logical intuition
54
MagidorOfraUniversity of OxfordCUF lecturerhttp://users.ox.ac.uk/~ball1646(see website)Philosophical Logic, vagueness, strict finitism
55
MagureanuAncaUniversity of Bucharest (Romania)Professor
56
ManzanoMaríaUniversity of SalamancaProfessorhttp://logicae.usal.es/maramara at usal.esModal logic and non-classical logic, Higher order logic, History of logic, Tools for teaching logic
57
MarkovichRékaUniversity of LuxembourgResearch Associatephil.elte.hu/markovichmarkovich.reka@yahoo.comPhilosophical logic -- deontic logic, Applied logics for AI, deontic logic, formal ethics, logic and legal AI
58
MehrnooshSadrzadehUCL (UK)Associate professorhttps://msadrzadeh.comm.sadrzadeh@ucl.ac.ukalgebraic logic, sequent calculi, substructural logics, Lambek Calculus, modal logic
59
MittelmannMunyqueUniversity of Naples Federico IIResearch postdochttps://sites.google.com/view/mittelmannmunyquee@gmail.comLogics for Multi-Agent Systems, Strategic Reasoning, Automated Mechanism Design
60
MordidoAndreiaFaculdade de Ciências, Universidade de LisboaAssistant Professorhttp://www.di.fc.ul.pt/~amordido/afmordido (at) ciencias (dot) ulisboa (dot) ptProgramming Languages, Type Systems
61
MüllerSandraTU Wien, AustriaSenior researcherhttps://dmg.tuwien.ac.at/sandramueller/(see website)Mathematical logic, Set theory, Inner model theory
62
NegriSaraUniversity of GenoaProfessorhttps://sites.google.com/view/saranegri/homesara.negri at unige.itProof theory, non-classical logics, Formal epistemology, constructive mathematics
63
OgbornAnneSWI-Prolog (global)assistant bit twiddlerhttp://swi-prolog.organne@swi-prolog.orglogic programming
64
OrtizMagdalenaInstitute of Logic and Computation, TU Wien, AustriaAssistant Professorlea.belz@tu-darmstadt.deortiz@kr.tuwien.ac.at logics for knowledge representation and reasoning , description logics, applications of KR in data management
65
OzakiAnaUniversity of BergenAssociate professorhttps://www.uib.no/en/persons/Ana.Ozakiana.ozaki@uib.noknowledge representation and reasoning, description logics, ontologies, knowledge graphs, computational learning theory, machine learning
66
ÖzgünAybükeILLC-University of AmsterdamAssistant Professorhttps://sites.google.com/site/ozgunaybuke/ozgunaybuke@gmail.comPhilosophical and mathematical logic, Formal epistemology, dynamic epistemic logic, neighbourhood/topological semantics for knowledge and belief
67
PelgromNemiLudwig-Maximilian Universitet MünchenPhD Student, Lecturerhttps://www.pms.ifi.lmu.de/mitarbeiter/derzeitige/nemi-pelgrom/index.htmlnemi.pelgrom@gmail.comInductive logic programming, statistical relational AI, foundations of mathematics, philosophy of mathematics, philosophy of science
68
Pérez-IlzarbePalomaUniversity of NavarraAssociate professorhttp://www.unav.es/filosofia/pilzarbe1/pilzarbe@unav.esHistory of logic, , Medieval and post-medieval logic, Women in the history of logic (19th-20th centuries)
69
Petkovic KomelAnjaTU Wien, AustriaResearch postdochttps://anjapetkovic.com/anja.komel@tuwien.ac.atType theory, proof assistant, automated theorem prover
70
PicolloLaviniaNational University of SingaporeAssociate professorhttps://sites.google.com/site/laviniapicollo/l.picollo@nus.edu.sgphilosophical logic, formal metaphysics, and the philosophy of logic and mathematics
71
PigozziGabriellaLAMSADE - Université Paris Dauphine (France)Associate professorhttp://www.pigozzi.orggabriella.pigozzi@dauphine.frMathematical logic, Formal epistemology; Multi-agent systems; Artificial Intelligence, Judgment aggregation, Computational social choice, Argumentation theory
72
PinchinatSophieIRISA/Univ RennesProfessorhttps://people.irisa.fr/Sophie.Pinchinat/sophie.pinchinat@irisa.frModal logic, automata, games, imperfect information, knowledge, model and formula synthesis, strategic reasoning, multi-agent systems
73
PoggiolesiFrancescaUniversité Paris 1 Panthéon - Sorbonne (France)Associate professorhttps://sites.google.com/site/poggiolesi/homepoggiolesi@gmail.com
Philosophy of Logic, Modal Logic, Proof Theory, Philosophical Logic
74
QuinonPaulaLund University (Sweden)Researcherhttp://lu.academia.edu/paulaquinonpaula.quinon at fil.lu.sePhilosophy of Mathematics, Logic of everyday reasonings, Axiomatic arithmetic, Logical competence, Number concept
75
RamharterEstherUniversität Wien (Austria)lea.belz@tu-darmstadt.dehttp://homepage.univie.ac.at/esther.ramharter/esther.ramharter@univie.ac.atphilosophical logic
76
RussellGillianAustralian Catholic University, Dianoia Institute of Philosophy (Australia)Professorhttps://gillianrussell.net/gill.k.russell at gmail.comPhilosophical logic, philosophy of logic, philosophy of language
77
SattlerUliUniversity of ManchesterProfessorhttp://www.cs.man.ac.uk/~sattler/uli.sattler@manchester.ac.ukLogic-based knowledge representation, automated reasoning, Description Logic, Ontology engineering
78
SchmidtRenateUniversity of ManchesterUniversity Readerhttp://www.cs.man.ac.uk/~schmidt/Renate.Schmidt@manchester.ac.ukLogic, Automated reasoining, Ontology-based knowledge processing, description logics, modal logics, relation algebras
79
SchulzKatrinILLC -- University of Amsterdam (Netherlands)Assistant professorhttp://home.medewerker.uva.nl/k.schulz/(see website)Formal Semantics, Philosophical Logic, Conditionals, Pragmatics, causation
80
SidersAnnikaUniversity of Helsinki (Finland)Research postdocannika.siders at helsinki.fiProof Theory, Constuctivism
81
SilvaAlexandraUCL (UK)Professorhttp://www.alexandrasilva.orgalexandra.silva@gmail.com
82
SmetsSonjaILLC -- University of Amsterdam (Netherlands)Full Professorhttps://sites.google.com/site/thesonjasmetssite/see websitephilosophical logic, mathematical logic, philosophy of quantum physics, Quantum logic, logic in AI, formal epistemology, logical foundations of quantum theory, epistemic networks, quantum communication protocols
83
SokolovaAnaUniversity of SalzburgAssociate Professorhttp://cs.uni-salzburg.at/~anas/anas@cs.uni-salzburg.atCoalgebra, Concurrency, Probabilistic Systems, Algebra, Verification
84
SolakiAnthiaILLC - University of Amsterdam (the Netherlands)Postdoctoral researcherhttps://sites.google.com/view/anthiasolaki/ansolaki@gmail.comPhilosophical logic, dynamic epistemic logics, logics for social networks, formal epistemology, models for human reasoning
85
SoskovaAlexandraSofia University, SofiaAsociate Professorhttps://store.fmi.uni-sofia.bg/fmi/logic/asoskova/asoskova1 at gmail.comComputability, Effective Model Theory, Enumeration reducibilty, Degree Spectra, Jump of a structure
86
TerzianGiuliaUniversity of Bristol (UK)Teaching fellowhttp://www.bristol.ac.uk/school-of-arts/people/giulia-terzian/overview.htmlgiulia.terzian at gmail.comPhilosophical logic, Philosophy of maths, metaphysics, Formal theories of truth, Norms of truth/ abstraction/ set theory
87
TurhanAnni-YasminTU Dresden (Germany)Senior researchersee websiteknowledge represenation & reasoning, Description logics, ontology engineering, temporal reasoning, vagueness
88
UckelmanSara L.Durham UniversityAssistant professorhttp://community.dur.ac.uk/s.l.uckelmans.l.uckelman@durham.ac.ukphilosophical logic, mathematical logic, history of logic, philosophy of language, philosophy of math, medieval logic, history of logic, modal and dynamic logic
89
van der SchaarMariaUniversity of Leidenassistant professorhttp://www.hum.leidenuniv.nl/filosofie/organisatie/staf/schaar.htmlm.v.d.schaar at phil.leidenuniv.nlphilosophy of logic, history of logic, theory of judgement, constructive type theory, origins of analytic philosophy
90
VerbruggeRinekeUniversity of Groningen (Netherlands)Full Professorhttps://rinekeverbrugge.nl/L.C.Verbrugge@rug.nlMathematical logic, computational logic, Cognitive science, Logics for multi-agent systems, Formal models of social cognition
91
VillavicencioAlineUniversity of Sheffield (UK)Professorhttp://www.inf.ufrgs.br/~avillavicencio/alinev@gmail.comNatural Language Processing, Lexical Semantics, Artificial Intelligence, Cognitive Computational Models
92
WenmackersSylviaUniversity of Groningen (Netherlands)Research postdochttp://www.sylviawenmackers.be/(see website)Mathematical logic, model theory, Philosophy of probability, philosophy of science, Non-standard models, hyperreals, Infinitesimal probabilities, (In-)deterministic models
93
WójtowiczAnnaInstitute of Philosophy at the University of Warsaw (Poland)assistant professorhttp://www.filozofia.uw.edu.pl/pracownicy_old/informator/pracownicy/wojto.htmwojtowa@mercury.ci.uw.edu.pl
philosophical and mathematical logic
94
YangFanUniversity of Helsinki (Finland)Academy Research Fellowhttps://sites.google.com/site/fanyanghp/fan.yang.c at gmail.comnon-classical logic
95
Heydari TabarAsmaeTechnical University of Darmstadt (Germany)PhD Studentheydaritabar@cs.tu-darmstadt.deFirst-order logic, Formal specification and verification of software
96
KeetMariaUniversity of Cape Town (South Africa)Associate professorhttp://www.meteck.org/mkeet@cs.uct.ac.zaontology engineering, knowledge representation, description logics, logics for conceptual data modelling
97
ZhuShufangUniversity of Oxford (UK)Senior Research Associatehttps://shufang-zhu.github.io/shufang.zhu@cs.ox.ac.ukAutomated reasoning, planning and program synthesis
98
99
100