ABCDEFGHIJKLMNO
1
Given nameInstitution (country)PositionWebsiteEmailAreas (separate by commas)
2
AlechinaNatashaUniveristy of NottinghamAssistant professorhttps://scholar.google.co.uk/citations?user=J1ThCVcAAAAJnza@cs.nott.ac.ukModal logics and multiagent systems
3
AloniMariaIllC -- University of Amsterdam (Netherlands)Assistant professorhttp://maloni.humanities.uva.nl/(see website)Formal Semantics and pragmatics, Philosophy of language, indefinite reference, dynamic semantics
4
AlvesSandraUniversity of PortoAssistant professorhttp://www.dcc.fc.up.pt/-sandra(see website)Type theory, Programming Languages, Fornal methods
5
AndersonGabrielleUniversity of Aberdeen (UK)Research postdocg.a.anderson@abdn.ac.ukmodal logics and process calculi
6
ArndtDörtheTU Dresden (Germany)postdochttps://biblio.ugent.be/person/A0C14756-B2AA-11E2-965B-BBC110BDE39Ddoerthe.arndt@tu-dresden.deknowledge representation and reasoning, Rule-based reasoning
7
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
8
BiernackaMalgorzataInstitute of Computer Science, Univerisity of Wroclaw, Polandassistant professormabi@cs.uni.wroc.plcomputational logic
9
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
10
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.ukPhilosophical logic, History of logic, vagueness, higher-order vagueness, semantic paradoxes, Ancient logic (Aristotle to Boethius)
11
BrownCarolynIndustryChief Information Officerhttp://www.cio.co.uk/cio100/carolyntbrown@gmail.com
12
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
13
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.
14
CiabattoniAgataInstitute of Computer Languages (TU Wien, Austria)Full Professorhttp://www.logic.at/staff/agata/agata@logic.atNon-classical logic, Proof Theory
15
CompagnoniAdrianaStevens Institute of TechnologyAssociate Professorhttps://scholar.google.com/citations?user=S-zXJGUAAAAJ&hl=enadriana.compagnoni@gmail.comProgramming Languages, Computational Biology, Computer Security
16
DardhaOrnelaUniversity of Glasgow (UK)Lecturerhttp://www.dcs.gla.ac.uk/~ornela/ornela.dardha@glasgow.ac.ukProgramming Languages, Formal Methods
17
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
18
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
19
Dutilh NovaesCatarinaUniversity of Groningen (Netherlands)Professorhttps://sites.google.com/site/catarinadutilhnovaes/c.dutilh.novaes@rug.nlPhilosophy of Logic, History of Logic, Logic and cognition, Medieval logic
20
ErascuMadalinaWest University of Timisoara, RomaniaLecturermerascu.github.iomadalina.erascu@e-uvt.roformal methods, symbolic computation
21
FranchellaMiriamMilan University (Italy)Associate professormiriam.franchella at unimi.itphilosophy of logic, history of logic, Logic and society, Intuitionism
22
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
23
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
24
GhidiniChiaraFondazione Bruno Kessler (FBK)Senior researcherhttps://dkm.fbk.eu/ghidini/ghidini@fbk.euknowledge representation, mathematical logic
25
GhilezanSilviaUniversity of Novi SadProfessorhttp://imft.ftn.uns.ac.rs/~silviasee websitemathematical logic, theoretical computer science, type theory, concurrency
26
Gierasimczuk NinaTechnical University of Denmarkassociate professorhttp://ninagierasimczuk.com/see websitemathematical and philosophical logic, formal epistemology and philosophy of science, learning theory, epistemic logic
27
Golińska-PilarekJoannaInstitute of Philosophy at the University of Warsaw (Poland)assistant professorhttp://joannagolinska.com/j.golinska@uw.edu.plphilosophical and mathematical logic, analytic philosophy, non-classical logics, non-Fregean logics
28
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
29
HuertasAntoniaUniversitat Oberta de Catalunya (Barcelona, Spain)Associate professorhttp://huertas.wordpress.commhuertass@uoc.edumathematical logic, knowledge representation, modal logic, e-learning of logic
30
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
31
JohannPatriciaAppalachian State University (US)Professorhttps://cs.appstate.edu/~johannp/johannp@appstate.eduProgramming language semantics, type theory, category theory
32
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
33
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
34
KesnerDeliaUniversité de Paris Full Professor www.irif.fr/~kesnerkesner@irif.frProof Theory , Semantics of Programming Languages
35
KnightSophiaUppsala UniversityPostdochttp://www.lix.polytechnique.fr/~sophia/sophia.knight@gmail.comEpistemic logic & concurrency
36
LapentaSerafina (Sara)University of SalernoResearcherhttps://serafinalapenta.weebly.com/slapenta@unisa.itAlgebraic aspects of many-valued logic, Logic and probability
37
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
38
LópezSandra M.University of Salamanca (Spain) PhD student, Assistant professorsandralv@usal.esRelevance logics, Many-valued logics, 3-valued logics, 4-valued logics
39
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
40
MagidorOfraUniversity of OxfordCUF lecturerhttp://users.ox.ac.uk/~ball1646(see website)Philosophical Logic, vagueness, strict finitism
41
MagureanuAncaUniversity of Bucharest (Romania)Professor
42
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
43
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
44
MordidoAndreiaFaculdade de Ciências, Universidade de LisboaInvited Assistant Professorhttp://www.di.fc.ul.pt/~amordido/afmordido (at) ciencias (dot) ulisboa (dot) ptProgramming Languages, Type Systems
45
MüllerSandraTU Wien, AustriaSenior researcherhttps://dmg.tuwien.ac.at/sandramueller/(see website)Mathematical logic, Set theory, Inner model theory
46
NegriSaraUniversity of GenoaProfessorhttps://sites.google.com/view/saranegri/homesara.negri at unige.itProof theory, non-classical logics, Formal epistemology, constructive mathematics
47
OgbornAnneSWI-Prolog (global)assistant bit twiddlerhttp://swi-prolog.organne@swi-prolog.orglogic programming
48
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
49
ÖzgünAybükeILLC-University of AmsterdamResearch postdochttps://sites.google.com/site/ozgunaybuke/ozgunaybuke@gmail.comPhilosophical and mathematical logic, Formal epistemology, dynamic epistemic logic, neighbourhood/topological semantics for knowledge and belief
50
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
51
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)
52
Petkovic KomelAnjaTU Wien, AustriaResearch postdochttps://anjapetkovic.com/anja.komel@tuwien.ac.atType theory, proof assistant, automated theorem prover
53
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
54
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
55
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
56
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
57
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
58
RamharterEstherUniversität Wien (Austria)lea.belz@tu-darmstadt.dehttp://homepage.univie.ac.at/esther.ramharter/esther.ramharter@univie.ac.atphilosophical logic
59
RussellGillianAustralian Catholic University, Dianoia Institute of Philosophy (Australia)Professorhttps://gillianrussell.net/gill.k.russell at gmail.comPhilosophical logic, philosophy of logic, philosophy of language
60
SattlerUliUniversity of ManchesterProfessorhttp://www.cs.man.ac.uk/~sattler/uli.sattler@manchester.ac.ukLogic-based knowledge representation, automated reasoning, Description Logic, Ontology engineering
61
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
62
SchulzKatrinILLC -- University of Amsterdam (Netherlands)Assistant professorhttp://home.medewerker.uva.nl/k.schulz/(see website)Formal Semantics, Philosophical Logic, Conditionals, Pragmatics, causation
63
SidersAnnikaUniversity of Helsinki (Finland)Research postdocannika.siders at helsinki.fiProof Theory, Constuctivism
64
SilvaAlexandraUCL (UK)Professorhttp://www.alexandrasilva.orgalexandra.silva@gmail.com
65
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
66
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
67
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
68
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
69
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
70
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
71
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
72
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
73
YangFanUniversity of Helsinki (Finland)Academy Research Fellowhttps://sites.google.com/site/fanyanghp/fan.yang.c at gmail.comnon-classical logic
74
CanavottoIlariaILLC -University of Amsterdam (Netherlands)Postdoctoral researcherhttps://sites.google.com/view/ilariacanavotto/ilaria.canavotto@gmail.comphilosophical logic, deontic logic, logics of actions
75
BoritchevMariaLoria, Inria Nancy Grand-Est (France)PhD Student, Lecturerhttps://members.loria.fr/MBoritchev/maria.boritchev@loria.frFormal semantics, pragmatics, computational linguistics
76
VillavicencioAlineUniversity of Sheffield (UK)Professorhttp://www.inf.ufrgs.br/~avillavicencio/alinev@gmail.comNatural Language Processing, Lexical Semantics, Artificial Intelligence, Cognitive Computational Models
77
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
78
MehrnooshSadrzadehUCL (UK)Associate professorhttps://msadrzadeh.comm.sadrzadeh@ucl.ac.ukalgebraic logic, sequent calculi, substructural logics, Lambek Calculus, modal logic
79
DaphneWangUCL (UK)PhD Studentdaphne.wang.19@ucl.ac.ukformal semantics of natural language, intuitionistic logic, quantum logic
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100