A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|

1 | FOR PEOPLE | WORKING AT | EUROPE | FOR OTHER REGIONS, SEE TABS BELOW | ||||||||||||||||

2 | Last name | Given name | Institution (country) | Position | Website | Area 1 | Area 2 | Specification 1 | Specification 2 | Specification 3 | ||||||||||

3 | 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 | |||||||||||||

4 | 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 | ||||||||||

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

6 | 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 | ||||||||||

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

8 | 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) | ||||||||||

9 | Bosman | Bianca | University of Groningen, Netherlands | PhD student | b.bosman@rug.nl | history of logic | medieval and ancient logics (including Stoic logic) | containment | ||||||||||||

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

11 | Bueno-Soler | Juliana | Federal University of ABC (Brazil) | Assistant professor | juliana.bueno@ufabc.edu.br | Modal logic and non-classical logic | ||||||||||||||

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 | Chen | Yue | Technische Universität Wien | Researcher | theverychen@gmail.com | Parameterized complexity theory | Proof theory | |||||||||||||

14 | Christoff | Zoé | University of Bayreuth, Germany. (Previously: Liverpool, ILLC Amsterdam, Geneva.) | Postdoctoral researcher | www.zoechristoff.com | zoe.christoff@gmail.com | Philosophical logic | Dynamic Epistemic Logic | Logics of networks | Judgment aggregation theory | social epistemology, formal epistemology | |||||||||

15 | 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 | |||||||||||||

16 | Cohen | Liron | Ben Gurion University (Israel) | assistant professor | http://www.cs.bgu.ac.il/~cliron | cliron@cs.bgu.ac.il | type theory | proof theory | foundations of mathematics | programming languages | ||||||||||

17 | 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 Secuirty | |||||||||||

18 | 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 | ||||||||||

19 | Dobrinen | Natasha | University of Denver | Professor | http://cs.du.edu/~ndobrine/ | natasha.dobrinen@du.edu | Logic and Set Theory | Ramsey Theory | ||||||||||||

20 | 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 | ||||||||||

21 | Floyd | Juliet | Boston University | Full Professor | http://www.bu.edu/philo/people/faculty/full-time/juliet-floyd/ | jfloyd@bu.edu | Philosophy of logic | History of Logic | Kant, Goedel, Frege, Russell, Wittgenstein | |||||||||||

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

23 | ||||||||||||||||||||

24 | 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 | ||||||||||

25 | 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 | ||||||||||

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

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

28 | Ghourabi | Fadoua | Ochanomizu University (Japan) | Lecturer | ghourabi.net/fadoua | (see website) | theorem proving in qualitative reasoning | theorem proving in origami geometry | proof assistants | automated algebraic provers | ||||||||||

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

30 | 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 | ||||||||||

31 | Hansen | Helle Hvid | Delft University of Technology (Netherlands) | Assistant Professor | https://homepage.tudelft.nl/c9d1n/index.html | h.h.hansen@tudelft.nl | modal logic | coalgebra, category theory | dynamic coalgebraic logics, coalgebraic modal logic | non-normal modal logics, neighbourhood semantics | ||||||||||

32 | 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 | ||||||||||

33 | 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 | |||||||||||

34 | 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. | |||||||||

35 | Kaufmann | Magdalena | University of Connecticut (USA) | Associate professor | http://magdalena-kaufmann.uconn.edu/ | magdalena.kaufmann@uconn.edu | Formal Semantics and pragmatics (linguistics) | Philosophical logic | linguistic modality, clause types | deontic logic | ||||||||||

36 | 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 | |||||||||||

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

38 | 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 | |||||||||

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 | Marrano | Rossella | Scuola Normale Superiore, Pisa | PhD student | http://rossellamarrano.weebly.com/ | rossella.marrano at gmail.com | Philosophical logic | logic and probability | infinite-valued logics, degrees of truth, vagueness | |||||||||||

44 | Negri | Sara | University of Helsinki | Professor | http://www.helsinki.fi/~negri/ | sara.negri at helsinki.fi | Proof theory; non-classical logics | Formal epistemology; constructive mathematics | ||||||||||||

45 | Ortiz | Magdalena | Institute of Logic and Computation, TU Wien, Austria | Assistant Professor | http://www.kr.tuwien.ac.at/staff/ortiz/ | ortiz@kr.tuwien.ac.at | logics for knowledge representation and reasoning | description logics | applications of KR in data management | |||||||||||

46 | Ö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 | |||||||||||

47 | 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) | |||||||||||

48 | Pientka | Brigitte | McGill University | Associate professor | http://www.cs.mcgill.ca/~bpientka | bpientka@cs.mcgill.ca | Programming Languages | Theorem Proving; constructive logic and type theory | ||||||||||||

49 | 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 | |||||||||

50 | 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 | |||||||||

51 | Ramharter | Esther | Universität Wien (Austria) | Associate professor | http://homepage.univie.ac.at/esther.ramharter/ | esther.ramharter@univie.ac.at | philosophical logic, | |||||||||||||

52 | Reis | Giselle | Carnegie Mellon University | Assistant Professor | http://www.gisellereis.com/ | (see website) | Structural proof theory | Linear logic | Theorem proving | |||||||||||

53 | Rizkallah | Christine | University of New South Wales (Sydney, Australia) | Assistant Professor | http://www.cse.unsw.edu.au/~crizkallah/ | (see website) | Formal Verification | Programming Languages | ||||||||||||

54 | Safari | Roghieh | Institute for Research in Fundamental Sciences(IPM, Iran) | Researcher | rm.safari@modares.ac.ir | Mathematical logic;Computational logic | continuous model theory | model theory of operator algebra | ||||||||||||

55 | 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 | |||||||||

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

57 | Silva | Alexandra | Radboud University Nijmegen | Assistant professor | http://www.alexandrasilva.org | alexandra.silva@gmail.com | ||||||||||||||

58 | 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 | ||||||||||

59 | 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 | ||||||||||

60 | Sterrett | Susan G | Wichita State University | Full Professor | https://www.susangsterrett.com/ | susangsterrett@gmail.com | Philosophy of Science | AI/Philosophical Logic/PhilMind | ||||||||||||

61 | 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 | ||||||||||

62 | 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 | |||||||||||

63 | 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 | |||||||||

64 | 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 | ||||||||||

65 | 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 | |||||||||

66 | 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 | |||||||||||||

67 | Wyatt | Nicole | University of Calgary | Asst. Professor and Department Head | http://www.nicolewyatt.net | nicole.wyatt@ucalgary.ca | Philosophy of Logic; Philosophy of Language | Medieval Philosophy; Philosophy of Sex and Love | Logical Pluralism | Pragmatics, Speech Act Theory | ||||||||||

68 | Yang | Fan | Utrecht University (Netherlands) | Research postdoc | https://sites.google.com/site/fanyanghp/ | fan.yang.c at gmail.com | non-classical logic | |||||||||||||

69 | Zamansky | Anna | University of Haifa (Israel) | assistant professor | http://is.haifa.ac.il/~annazam/web/ | annazam@gmail.com | Non-classical logic, Proof Theory | Knowledge representation | Paraconsistent logics | |||||||||||

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

71 | Dumbrava | Stefania | ENSIIE (France) | Assistant 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 | |||||||||

72 | ||||||||||||||||||||

73 | ||||||||||||||||||||

74 | ||||||||||||||||||||

75 | ||||||||||||||||||||

76 | ||||||||||||||||||||

77 | ||||||||||||||||||||

78 | ||||||||||||||||||||

79 | ||||||||||||||||||||

80 | ||||||||||||||||||||

81 | ||||||||||||||||||||

82 | ||||||||||||||||||||

83 | ||||||||||||||||||||

84 | ||||||||||||||||||||

85 | ||||||||||||||||||||

86 | ||||||||||||||||||||

87 | ||||||||||||||||||||

88 | ||||||||||||||||||||

89 | ||||||||||||||||||||

90 | ||||||||||||||||||||

91 | ||||||||||||||||||||

92 | ||||||||||||||||||||

93 | ||||||||||||||||||||

94 | ||||||||||||||||||||

95 | ||||||||||||||||||||

96 | ||||||||||||||||||||

97 | ||||||||||||||||||||

98 | ||||||||||||||||||||

99 | ||||||||||||||||||||

100 |

Loading...