A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|

1 | Given name | Institution (country) | Position | Website | Areas (separate by commas) | ||||||||||

2 | Alechina | Natasha | Univeristy of Nottingham | Assistant professor | https://scholar.google.co.uk/citations?user=J1ThCVcAAAAJ | nza@cs.nott.ac.uk | Modal logics and multiagent systems | ||||||||

3 | Aloni | Maria | IllC -- University of Amsterdam (Netherlands) | Assistant professor | http://maloni.humanities.uva.nl/ | (see website) | Formal Semantics and pragmatics, Philosophy of language, indefinite reference, dynamic semantics | ||||||||

4 | Alves | Sandra | University of Porto | Assistant professor | http://www.dcc.fc.up.pt/-sandra | (see website) | Type theory, Programming Languages, Fornal methods | ||||||||

5 | Anderson | Gabrielle | University of Aberdeen (UK) | Research postdoc | g.a.anderson@abdn.ac.uk | modal logics and process calculi | |||||||||

6 | Arndt | Dörthe | TU Dresden (Germany) | postdoc | https://biblio.ugent.be/person/A0C14756-B2AA-11E2-965B-BBC110BDE39D | doerthe.arndt@tu-dresden.de | knowledge representation and reasoning, Rule-based reasoning | ||||||||

7 | Besler | Gabriela | Department of Philosophy, University of Silesia, Poland | assistant professor | gabriela.besler@us.edu.pl | philosophy of logic, history of logic, (neo)logicism, number's concept, G. Frege's logic | |||||||||

8 | Biernacka | Malgorzata | Institute of Computer Science, Univerisity of Wroclaw, Poland | assistant professor | mabi@cs.uni.wroc.pl | computational logic | |||||||||

9 | Bilkova | Marta | Czech Academy of Sciences (Czech rep.) | Researcher | https://sites.google.com/view/martabilkova | bilkova@cs.cas.cz | Logic in computer science, Non-classical logics, Modal, substructural and paraconsistent logics, Coalgebraic logic | ||||||||

10 | Bobzien | Susanne | All Souls College, University of Oxford and Yale University | Professor and Senior researcher | http://www.all-souls.ox.ac.uk/people.php?personid=2155 | susanne.bobzien@philosophy.ox.ac.uk | Philosophical logic, History of logic, vagueness, higher-order vagueness, semantic paradoxes, Ancient logic (Aristotle to Boethius) | ||||||||

11 | Brown | Carolyn | Industry | Chief Information Officer | http://www.cio.co.uk/cio100/ | carolyntbrown@gmail.com | |||||||||

12 | Campbell-Moore | Catrin | University of Bristol (UK) | Researcher (Lecturer) | www.ccampbell-moore.co.uk | catrin@ccampbell-moore.co.uk | philosophical logic, formal epistemology, self-referential probabilities (theories of truth), epistemic utility theory; philosophy of probability | ||||||||

13 | Christoff | Zoé | University of Groningen (NL) | Assistant professor & Rosalind Franklin Fellow | www.zoechristoff.com | z.l.christoff@rug.nl zoe.christoff@gmail.com | Logics for social networks, Philosophical logic, Dynamic Epistemic Logic, Judgment aggregation theory, social epistemology, formal epistemology, social network analysis. | ||||||||

14 | Ciabattoni | Agata | Institute of Computer Languages (TU Wien, Austria) | Full Professor | http://www.logic.at/staff/agata/ | agata@logic.at | Non-classical logic, Proof Theory | ||||||||

15 | Compagnoni | Adriana | Stevens Institute of Technology | Associate Professor | https://scholar.google.com/citations?user=S-zXJGUAAAAJ&hl=en | adriana.compagnoni@gmail.com | Programming Languages, Computational Biology, Computer Security | ||||||||

16 | Dardha | Ornela | University of Glasgow (UK) | Lecturer | http://www.dcs.gla.ac.uk/~ornela/ | ornela.dardha@glasgow.ac.uk | Programming Languages, Formal Methods | ||||||||

17 | Dechesne | Francien | Delft University of Technology (Netherlands) | researcher | http://www.ethicsandtechnology.eu/people/dechesne/ | f.dechesne@tudelft.nl | mathematical logic; constructive logic, modal logics for modelling interaction, independence friendly logic, dynamic epistemic logic | ||||||||

18 | Dumbrava | Stefania | ENSIIE & Institut Polytechnique de Paris (France) | Associate Professor | http://web4.ensiie.fr/~stefania.dumbrava/ | stefania.dumbrava@ensiie.fr | Formal Methods , Programming Languages, Software Verification, Theorem Proving; Logic, Databases; Knowledge Representation; Artificial Intelligence | ||||||||

19 | Dutilh Novaes | Catarina | University of Groningen (Netherlands) | Professor | https://sites.google.com/site/catarinadutilhnovaes/ | c.dutilh.novaes@rug.nl | Philosophy of Logic, History of Logic, Logic and cognition, Medieval logic | ||||||||

20 | Erascu | Madalina | West University of Timisoara, Romania | Lecturer | merascu.github.io | madalina.erascu@e-uvt.ro | formal methods, symbolic computation | ||||||||

21 | Franchella | Miriam | Milan University (Italy) | Associate professor | miriam.franchella at unimi.it | philosophy of logic, history of logic, Logic and society, Intuitionism | |||||||||

22 | Georgieva | Lilia | Heriot Watt University (UK) | Lecturer | https://www.linkedin.com/in/liliageorgievageorgieva/ | L.Georgieva@hw.ac.uk | automated reasoning, knowledge representation, theorem proving , program and process analysis, non-classical logic | ||||||||

23 | Gheerbrant | Amelie | University of Edinburgh (Scotland) | Research postdoc | http://homepages.inf.ed.ac.uk/agheerbr/ | agheerbr@inf.ed.ac.uk | mathematical logic, theoretical computer science, model theory, database theory | ||||||||

24 | Ghidini | Chiara | Fondazione Bruno Kessler (FBK) | Senior researcher | https://dkm.fbk.eu/ghidini/ | ghidini@fbk.eu | knowledge representation, mathematical logic | ||||||||

25 | Ghilezan | Silvia | University of Novi Sad | Professor | http://imft.ftn.uns.ac.rs/~silvia | see website | mathematical logic, theoretical computer science, type theory, concurrency | ||||||||

26 | Gierasimczuk | Nina | Technical University of Denmark | associate professor | http://ninagierasimczuk.com/ | see website | mathematical and philosophical logic, formal epistemology and philosophy of science, learning theory, epistemic logic | ||||||||

27 | Golińska-Pilarek | Joanna | Institute of Philosophy at the University of Warsaw (Poland) | assistant professor | http://joannagolinska.com/ | j.golinska@uw.edu.pl | philosophical and mathematical logic, analytic philosophy, non-classical logics, non-Fregean logics | ||||||||

28 | Hansen | Helle Hvid | University of Groningen (Netherlands) | Associate Professor | https://www.rug.nl/staff/h.h.hansen/ | h.h.hansen@rug.nl | modal logic, coalgebra, category theory, dynamic coalgebraic logics, coalgebraic modal logic, non-normal modal logics, neighbourhood semantics | ||||||||

29 | Huertas | Antonia | Universitat Oberta de Catalunya (Barcelona, Spain) | Associate professor | http://huertas.wordpress.com | mhuertass@uoc.edu | mathematical logic, knowledge representation, modal logic, e-learning of logic | ||||||||

30 | Janssen-Lauret | Frederique | University of Manchester (UK) | Tenure-track researcher | https://manchester.academia.edu/FrederiqueJanssenLauret | frederique.janssen-lauret@manchester.ac.uk | Philosophy of logic, History of philosophical logic, Women in the history of logic | ||||||||

31 | Johann | Patricia | Appalachian State University (US) | Professor | https://cs.appstate.edu/~johannp/ | johannp@appstate.edu | Programming language semantics, type theory, category theory | ||||||||

32 | Kalvala | Sara | University of Warwick | Associate Professor | http://go.warwick.ac.uk/kalvala | Sara.Kalvala@warwick.ac.uk | theorem proving in higher order logic, compiler verification, programming language semantics, computational biology, synthetic biology | ||||||||

33 | Kennedy | Juliette | University of Helsinki (Department of Mathematics and Statistics) | Associate professor | www.math.helsinki.fi/logic/people/juliette.kennedy/ | juliette.kennedy@helsinki.fi | Mathemtical logic, philosophy and history of mathematics and logic, aesthetics, Set theory, Goedel | ||||||||

34 | Kesner | Delia | Université de Paris | Full Professor | www.irif.fr/~kesner | kesner@irif.fr | Proof Theory , Semantics of Programming Languages | ||||||||

35 | Knight | Sophia | Uppsala University | Postdoc | http://www.lix.polytechnique.fr/~sophia/ | sophia.knight@gmail.com | Epistemic logic & concurrency | ||||||||

36 | Lapenta | Serafina (Sara) | University of Salerno | Researcher | https://serafinalapenta.weebly.com/ | slapenta@unisa.it | Algebraic aspects of many-valued logic, Logic and probability | ||||||||

37 | Leng | Mary | University of York | Lecturer | http://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ópez | Sandra M. | University of Salamanca (Spain) | PhD student, Assistant professor | sandralv@usal.es | Relevance logics, Many-valued logics, 3-valued logics, 4-valued logics | |||||||||

39 | MacDougall | Margaret | University of Edinburgh (Scotland) | Medical Statistician and Researcher in Education | http://www.chs.med.ed.ac.uk/people/staffProfile.php?profile=mmacdoug | Margaret.MacDougall@ed.ac.uk | philosophy of mathematics and philosophy of logic, constructive and semi-constructive set theories, Poincaré's philosophy of mathematics, nominalism, mathematical intuition and logical intuition | ||||||||

40 | Magidor | Ofra | University of Oxford | CUF lecturer | http://users.ox.ac.uk/~ball1646 | (see website) | Philosophical Logic, vagueness, strict finitism | ||||||||

41 | Magureanu | Anca | University of Bucharest (Romania) | Professor | |||||||||||

42 | Manzano | María | University of Salamanca | Professor | http://logicae.usal.es/mara | mara at usal.es | Modal logic and non-classical logic, Higher order logic, History of logic, Tools for teaching logic | ||||||||

43 | Markovich | Réka | University of Luxembourg | Research Associate | phil.elte.hu/markovich | markovich.reka@yahoo.com | Philosophical logic -- deontic logic, Applied logics for AI, deontic logic, formal ethics, logic and legal AI | ||||||||

44 | Mordido | Andreia | Faculdade de Ciências, Universidade de Lisboa | Invited Assistant Professor | http://www.di.fc.ul.pt/~amordido/ | afmordido (at) ciencias (dot) ulisboa (dot) pt | Programming Languages, Type Systems | ||||||||

45 | Müller | Sandra | TU Wien, Austria | Senior researcher | https://dmg.tuwien.ac.at/sandramueller/ | (see website) | Mathematical logic, Set theory, Inner model theory | ||||||||

46 | Negri | Sara | University of Genoa | Professor | https://sites.google.com/view/saranegri/home | sara.negri at unige.it | Proof theory, non-classical logics, Formal epistemology, constructive mathematics | ||||||||

47 | Ogborn | Anne | SWI-Prolog (global) | assistant bit twiddler | http://swi-prolog.org | anne@swi-prolog.org | logic programming | ||||||||

48 | Ortiz | Magdalena | Institute of Logic and Computation, TU Wien, Austria | Assistant Professor | lea.belz@tu-darmstadt.de | ortiz@kr.tuwien.ac.at | logics for knowledge representation and reasoning , description logics, applications of KR in data management | ||||||||

49 | Özgün | Aybüke | ILLC-University of Amsterdam | Research postdoc | https://sites.google.com/site/ozgunaybuke/ | ozgunaybuke@gmail.com | Philosophical and mathematical logic, Formal epistemology, dynamic epistemic logic, neighbourhood/topological semantics for knowledge and belief | ||||||||

50 | Pelgrom | Nemi | Ludwig-Maximilian Universitet München | PhD Student, Lecturer | https://www.pms.ifi.lmu.de/mitarbeiter/derzeitige/nemi-pelgrom/index.html | nemi.pelgrom@gmail.com | Inductive logic programming, statistical relational AI, foundations of mathematics, philosophy of mathematics, philosophy of science | ||||||||

51 | Pérez-Ilzarbe | Paloma | University of Navarra | Associate professor | http://www.unav.es/filosofia/pilzarbe1/ | pilzarbe@unav.es | History of logic, , Medieval and post-medieval logic, Women in the history of logic (19th-20th centuries) | ||||||||

52 | Petkovic Komel | Anja | TU Wien, Austria | Research postdoc | https://anjapetkovic.com/ | anja.komel@tuwien.ac.at | Type theory, proof assistant, automated theorem prover | ||||||||

53 | Picollo | Lavinia | National University of Singapore | Associate professor | https://sites.google.com/site/laviniapicollo/ | l.picollo@nus.edu.sg | philosophical logic, formal metaphysics, and the philosophy of logic and mathematics | ||||||||

54 | Pigozzi | Gabriella | LAMSADE - Université Paris Dauphine (France) | Associate professor | http://www.pigozzi.org | gabriella.pigozzi@dauphine.fr | Mathematical logic, Formal epistemology; Multi-agent systems; Artificial Intelligence, Judgment aggregation, Computational social choice, Argumentation theory | ||||||||

55 | Pinchinat | Sophie | IRISA/Univ Rennes | Professor | https://people.irisa.fr/Sophie.Pinchinat/ | sophie.pinchinat@irisa.fr | Modal logic, automata, games, imperfect information, knowledge, model and formula synthesis, strategic reasoning, multi-agent systems | ||||||||

56 | Poggiolesi | Francesca | Université Paris 1 Panthéon - Sorbonne (France) | Associate professor | https://sites.google.com/site/poggiolesi/home | poggiolesi@gmail.com
| Philosophy of Logic, Modal Logic, Proof Theory, Philosophical Logic | ||||||||

57 | Quinon | Paula | Lund University (Sweden) | Researcher | http://lu.academia.edu/paulaquinon | paula.quinon at fil.lu.se | Philosophy of Mathematics, Logic of everyday reasonings, Axiomatic arithmetic, Logical competence, Number concept | ||||||||

58 | Ramharter | Esther | Universität Wien (Austria) | lea.belz@tu-darmstadt.de | http://homepage.univie.ac.at/esther.ramharter/ | esther.ramharter@univie.ac.at | philosophical logic | ||||||||

59 | Russell | Gillian | Australian Catholic University, Dianoia Institute of Philosophy (Australia) | Professor | https://gillianrussell.net/ | gill.k.russell at gmail.com | Philosophical logic, philosophy of logic, philosophy of language | ||||||||

60 | Sattler | Uli | University of Manchester | Professor | http://www.cs.man.ac.uk/~sattler/ | uli.sattler@manchester.ac.uk | Logic-based knowledge representation, automated reasoning, Description Logic, Ontology engineering | ||||||||

61 | Schmidt | Renate | University of Manchester | University Reader | http://www.cs.man.ac.uk/~schmidt/ | Renate.Schmidt@manchester.ac.uk | Logic, Automated reasoining, Ontology-based knowledge processing, description logics, modal logics, relation algebras | ||||||||

62 | Schulz | Katrin | ILLC -- University of Amsterdam (Netherlands) | Assistant professor | http://home.medewerker.uva.nl/k.schulz/ | (see website) | Formal Semantics, Philosophical Logic, Conditionals, Pragmatics, causation | ||||||||

63 | Siders | Annika | University of Helsinki (Finland) | Research postdoc | annika.siders at helsinki.fi | Proof Theory, Constuctivism | |||||||||

64 | Silva | Alexandra | UCL (UK) | Professor | http://www.alexandrasilva.org | alexandra.silva@gmail.com | |||||||||

65 | Smets | Sonja | ILLC -- University of Amsterdam (Netherlands) | Full Professor | https://sites.google.com/site/thesonjasmetssite/ | see website | philosophical 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 | Soskova | Alexandra | Sofia University, Sofia | Asociate Professor | https://store.fmi.uni-sofia.bg/fmi/logic/asoskova/ | asoskova1 at gmail.com | Computability, Effective Model Theory, Enumeration reducibilty, Degree Spectra, Jump of a structure | ||||||||

67 | Terzian | Giulia | University of Bristol (UK) | Teaching fellow | http://www.bristol.ac.uk/school-of-arts/people/giulia-terzian/overview.html | giulia.terzian at gmail.com | Philosophical logic, Philosophy of maths, metaphysics, Formal theories of truth, Norms of truth/ abstraction/ set theory | ||||||||

68 | Uckelman | Sara L. | Durham University | Assistant professor | http://community.dur.ac.uk/s.l.uckelman | s.l.uckelman@durham.ac.uk | philosophical logic, mathematical logic, history of logic, philosophy of language, philosophy of math, medieval logic, history of logic, modal and dynamic logic | ||||||||

69 | van der Schaar | Maria | University of Leiden | assistant professor | http://www.hum.leidenuniv.nl/filosofie/organisatie/staf/schaar.html | m.v.d.schaar at phil.leidenuniv.nl | philosophy of logic, history of logic, theory of judgement, constructive type theory, origins of analytic philosophy | ||||||||

70 | Verbrugge | Rineke | University of Groningen (Netherlands) | Full Professor | https://rinekeverbrugge.nl/ | L.C.Verbrugge@rug.nl | Mathematical logic, computational logic, Cognitive science, Logics for multi-agent systems, Formal models of social cognition | ||||||||

71 | Wenmackers | Sylvia | University of Groningen (Netherlands) | Research postdoc | http://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ójtowicz | Anna | Institute of Philosophy at the University of Warsaw (Poland) | assistant professor | http://www.filozofia.uw.edu.pl/pracownicy_old/informator/pracownicy/wojto.htm | wojtowa@mercury.ci.uw.edu.pl | philosophical and mathematical logic | ||||||||

73 | Yang | Fan | University of Helsinki (Finland) | Academy Research Fellow | https://sites.google.com/site/fanyanghp/ | fan.yang.c at gmail.com | non-classical logic | ||||||||

74 | Canavotto | Ilaria | ILLC -University of Amsterdam (Netherlands) | Postdoctoral researcher | https://sites.google.com/view/ilariacanavotto/ | ilaria.canavotto@gmail.com | philosophical logic, deontic logic, logics of actions | ||||||||

75 | Boritchev | Maria | Loria, Inria Nancy Grand-Est (France) | PhD Student, Lecturer | https://members.loria.fr/MBoritchev/ | maria.boritchev@loria.fr | Formal semantics, pragmatics, computational linguistics | ||||||||

76 | Villavicencio | Aline | University of Sheffield (UK) | Professor | http://www.inf.ufrgs.br/~avillavicencio/ | alinev@gmail.com | Natural Language Processing, Lexical Semantics, Artificial Intelligence, Cognitive Computational Models | ||||||||

77 | Solaki | Anthia | ILLC - University of Amsterdam (the Netherlands) | Postdoctoral researcher | https://sites.google.com/view/anthiasolaki/ | ansolaki@gmail.com | Philosophical logic, dynamic epistemic logics, logics for social networks, formal epistemology, models for human reasoning | ||||||||

78 | Mehrnoosh | Sadrzadeh | UCL (UK) | Associate professor | https://msadrzadeh.com | m.sadrzadeh@ucl.ac.uk | algebraic logic, sequent calculi, substructural logics, Lambek Calculus, modal logic | ||||||||

79 | Daphne | Wang | UCL (UK) | PhD Student | daphne.wang.19@ucl.ac.uk | formal 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 |