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 | Aloni | Maria | IllC -- University of Amsterdam (Netherlands) | Assistant professor | http://staff.science.uva.nl/~maloni/ | (see website) | Formal Semantics and pragmatics | Philosophy of language | indefinite reference | dynamic semantics | ||||||||||

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

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

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

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

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

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

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

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

12 | Chen | Yue | Technische UniversitÃ¤t Wien | Researcher | theverychen@gmail.com | Parameterized complexity theory | Proof theory | |||||||||||||

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

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

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

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

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

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

20 | ||||||||||||||||||||

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

45 | Reis | Giselle | Technische UniversitÃ¤t Wien (Austria) | Research assistant | http://www.logic.at/people/giselle | (see website) | Proof theory | |||||||||||||

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

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

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

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

50 | Smets | Sonja | ILLC -- University of Amsterdam (Netherlands) | Full Professor | sonja.tiddlyspot.com | 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 | ||||||||||

51 | Soskova | Alexandra | Sofia University, Sofia | Asociate Professor | www.fmi.uni-sofia.bg/fmi/logic/asoskova/ | asoskova1 at gmail.com | Computability | Effective Model Theory | Enumeration reducibilty | Degree Spectra, Jump of a structure | ||||||||||

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

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

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

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

56 | Verbrugge | Rineke | University of Groningen (Netherlands) | Full Professor | http://www.ai.rug.nl/~rineke | L.C.Verbrugge@rug.nl | Mathematical logic; computational logic | Cognitive science | Logics for multi-agent systems | Formal models of social cognition | ||||||||||

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

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

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

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

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

62 | ||||||||||||||||||||

63 | ||||||||||||||||||||

64 | ||||||||||||||||||||

65 | ||||||||||||||||||||

66 | ||||||||||||||||||||

67 | ||||||||||||||||||||

68 | ||||||||||||||||||||

69 | ||||||||||||||||||||

70 | ||||||||||||||||||||

71 | ||||||||||||||||||||

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