Still loading...
| A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | co | FOR PEOPLE | WORKING IN | EUROPE | FOR OTHER REGIONS, SEE TABS BELOW | |||||||||||||||
2 | Surname | 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 | 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) | ||||||||||
7 | Chen | Yue | Technische Universität Wien | Researcher | theverychen@gmail.com | Parameterized complexity theory | Proof theory | |||||||||||||
8 | 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 | ||||||||||
9 | Dutilh Novaes | Catarina | University of Groningen (Netherlands) | Assistant professor | https://sites.google.com/site/catarinadutilhnovaes/ | cdutilhnovaes 'youknowwhat' yahoo.com | Philosophy of Logic | History of Logic | Logic and cognition | Medieval logic | ||||||||||
10 | 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 | |||||||||||
11 | Franchella | Miriam | Milan University (Italy) | Associate professor | miriam.franchella at unimi.it | philosophy of logic | history of logic | Logic and society | Intuitionism | |||||||||||
12 | 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 | ||||||||||
13 | Ghidini | Chiara | Fondazione Bruno Kessler (FBK) | Senior researcher | https://dkm.fbk.eu/ghidini/ | ghidini@fbk.eu | knowledge representation | mathematical logic | ||||||||||||
14 | Gierasimczuk | Nina | Institute for Logic, Language and Computation, University of Amsterdam (The Netherlands) | researcher | http://ninagierasimczuk.com/ | see website | mathematical and philosophical logic | formal epistemology and philosophy of science | learning theory | epistemic logic | ||||||||||
15 | 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 | ||||||||||
16 | Kennedy | Juliette | University of Helsinki (Mathematics Dept.) | 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 | |||||||||||
17 | 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 | |||||||||
18 | 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 | |||||||||
19 | Magidor | Ofra | University of Oxford | CUF lecturer | http://users.ox.ac.uk/~ball1646 | (see website) | Philosophical Logic, vagueness, strict finitism | |||||||||||||
20 | Magureanu | Anca | University of Bucharest (Romania) | Professor | ||||||||||||||||
21 | 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 | ||||||||||
22 | Negri | Sara | University of Helsinki | Senior researcher | http://www.helsinki.fi/~negri/ | sara.negri at helsinki.fi | Proof theory; non-classical logics | Formal epistemology; constructive mathematics | ||||||||||||
23 | 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 | |||||||||
24 | 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 | |||||||||
25 | Ramharter | Esther | Universität Wien (Austria) | Associate professor | http://homepage.univie.ac.at/esther.ramharter/ | esther.ramharter@univie.ac.at | philosophical logic, | |||||||||||||
26 | Reis | Giselle | Technische Universität Wien (Austria) | Research assistant | http://www.logic.at/people/giselle | (see website) | Proof theory | |||||||||||||
27 | 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 | |||||||||
28 | Surname | Given name | Institution (country) | Position | Website | Area 1 | Area 2 | Specification 1 | Specification 2 | Specification 3 | ||||||||||
29 | Uckelman | Sara L. | Durham University | Lecturer | 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 | |||||||||||
30 | 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 | |||||||||
31 | 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 | |||||||||
32 | Zamansky | Anna | Technische Universität Wien (Austria) | Researcher | http://www.cs.tau.ac.il/~annaz/ | Non-classical logic, Proof Theory | Knowledge representation | |||||||||||||
33 | Bueno-Soler | Juliana | Federal University of ABC (Brazil) | Assistant professor | juliana.bueno@ufabc.edu.br | Modal logic and non-classical logic | ||||||||||||||
34 | 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 | ||||||||||
35 | Silva | Alexandra | Radboud University Nijmegen | Assistant professor | http://www.alexandrasilva.org | alexandra.silva@gmail.com | ||||||||||||||
36 | 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 | ||||||||||
37 | Verbrugge | Rineke | University of Groningen (Netherlands) | Full Professor | http://www.ai.rug.nl/~rineke | (see website) | Mathematical logic; computational logic | Cognitive science | Logics for multi-agent systems | Formal models of social cognition | ||||||||||
38 | 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 | ||||||||||||
39 | ||||||||||||||||||||
40 | ||||||||||||||||||||
41 | ||||||||||||||||||||
42 | ||||||||||||||||||||
43 | ||||||||||||||||||||
44 | ||||||||||||||||||||
45 | ||||||||||||||||||||
46 | ||||||||||||||||||||
47 | ||||||||||||||||||||
48 | ||||||||||||||||||||
49 | ||||||||||||||||||||
50 | ||||||||||||||||||||
51 | ||||||||||||||||||||
52 | ||||||||||||||||||||
53 | ||||||||||||||||||||
54 | ||||||||||||||||||||
55 | ||||||||||||||||||||
56 | ||||||||||||||||||||
57 | ||||||||||||||||||||
58 | ||||||||||||||||||||
59 | ||||||||||||||||||||
60 | ||||||||||||||||||||
61 | ||||||||||||||||||||
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...