| |

Still loading...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

34 | Zamansky | Anna | Technische UniversitÃ¤t Wien (Austria) | Researcher | http://www.cs.tau.ac.il/~annaz/ | Non-classical logic, Proof Theory | Knowledge representation | |||||||||||||

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

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

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

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

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

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

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

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

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

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

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