Women in logic
Comments
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

 
$
%
123
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
ABCDEFGHIJKLMNOPQRST
1
FOR PEOPLE WORKING ATEUROPEFOR OTHER REGIONS, SEE TABS BELOW
2
Last nameGiven nameInstitution (country)PositionWebsiteEmailArea 1Area 2Specification 1Specification 2Specification 3
3
AloniMariaIllC -- University of Amsterdam (Netherlands)Assistant professorhttp://staff.science.uva.nl/~maloni/(see website)Formal Semantics and pragmaticsPhilosophy of languageindefinite referencedynamic semantics
4
AndersonGabrielleUniversity of Aberdeen (UK)Research postdocg.a.anderson@abdn.ac.ukmodal logics and process calculi
5
BeslerGabrielaDepartment of Philosophy, University of Silesia, Polandassistant professorgabriela.besler@us.edu.plphilosophy of logichistory of logic(neo)logicismnumber's conceptG. Frege's logic
6
BiernackaMalgorzataInstitute of Computer Science, Univerisity of Wroclaw, Polandassistant professormabi@cs.uni.wroc.plcomputational logic
7
BobzienSusanneAll Souls College, University of Oxford and Yale UniversityProfessor and Senior researcherhttp://www.all-souls.ox.ac.uk/people.php?personid=2155susanne.bobzien@philosophy.ox.ac.ukPhilosophical logicHistory of logicvagueness, higher-order vagueness, semantic paradoxesAncient logic (Aristotle to Boethius)
8
BosmanBiancaUniversity of Groningen, NetherlandsPhD studentb.bosman@rug.nlhistory of logicmedieval and ancient logics (including Stoic logic)containment
9
BrownCarolynIndustryChief Information Officerhttp://www.cio.co.uk/cio100/carolyntbrown@gmail.com
10
Bueno-SolerJulianaFederal University of ABC (Brazil)Assistant professorjuliana.bueno@ufabc.edu.brModal logic and non-classical logic
11
Campbell-MooreCatrinUniversity of Bristol (UK)Researcher (Lecturer)www.ccampbell-moore.co.ukcatrin@ccampbell-moore.co.ukphilosophical logicformal epistmologyself-referential probabilities (theories of truth)epistemic utility theory; philosophy of probability
12
ChenYueTechnische Universität WienResearchertheverychen@gmail.comParameterized complexity theoryProof theory
13
ChristoffZoéUniversity of Bayreuth, Germany. (Previously: Liverpool, ILLC Amsterdam, Geneva.)Postdoctoral researcherwww.zoechristoff.comzoe.christoff@gmail.comPhilosophical logicDynamic Epistemic LogicLogics of networksJudgment aggregation theorysocial epistemology, formal epistemology
14
CiabattoniAgataInstitute of Computer Languages (TU Wien, Austria)Full Professorhttp://www.logic.at/staff/agata/agata@logic.atNon-classical logic, Proof Theory
15
CompagnoniAdrianaStevens Institute of TechnologyAssociate Professorhttps://scholar.google.com/citations?user=S-zXJGUAAAAJ&hl=enadriana.compagnoni@gmail.comProgramming LanguagesComputational BiologyComputer Secuirty
16
DechesneFrancienDelft University of Technology (Netherlands)researcherhttp://www.ethicsandtechnology.eu/people/dechesne/f.dechesne@tudelft.nlmathematical logic; constructive logicmodal logics for modelling interactionindependence friendly logicdynamic epistemic logic
17
Dutilh NovaesCatarinaUniversity of Groningen (Netherlands)Professorhttps://sites.google.com/site/catarinadutilhnovaes/c.dutilh.novaes@rug.nlPhilosophy of LogicHistory of LogicLogic and cognitionMedieval logic
18
FloydJulietBoston UniversityFull Professorhttp://www.bu.edu/philo/people/faculty/full-time/juliet-floyd/jfloyd@bu.eduPhilosophy of logicHistory of LogicKant, Goedel, Frege, Russell, Wittgenstein
19
FranchellaMiriamMilan University (Italy)Associate professormiriam.franchella at unimi.itphilosophy of logichistory of logicLogic and societyIntuitionism
20
21
GeorgievaLiliaHeriot Watt University (UK)Lecturerhttps://www.linkedin.com/in/liliageorgievageorgieva/L.Georgieva@hw.ac.ukautomated reasoningknowledge representationtheorem proving program and process analysis, non-classical logic
22
GheerbrantAmelieUniversity of Edinburgh (Scotland)Research postdochttp://homepages.inf.ed.ac.uk/agheerbr/agheerbr@inf.ed.ac.ukmathematical logictheoretical computer sciencemodel theorydatabase theory
23
GhidiniChiaraFondazione Bruno Kessler (FBK)Senior researcherhttps://dkm.fbk.eu/ghidini/ghidini@fbk.euknowledge representationmathematical logic
24
Ghourabi FadouaOchanomizu University (Japan)Lecturerghourabi.net/fadoua(see website)theorem proving in qualitative reasoningtheorem proving in origami geometryproof assistantsautomated algebraic provers
25
Gierasimczuk NinaTechnical University of Denmarkassistant professorhttp://ninagierasimczuk.com/see websitemathematical and philosophical logicformal epistemology and philosophy of sciencelearning theoryepistemic logic
26
Golińska-PilarekJoannaInstitute of Philosophy at the University of Warsaw (Poland)assistant professorhttp://joannagolinska.com/j.golinska@uw.edu.plphilosophical and mathematical logicanalytic philosophynon-classical logicsnon-Fregean logics
27
HansenHelle HvidDelft University of Technology (Netherlands)Assistant Professorhttps://homepage.tudelft.nl/c9d1n/index.htmlh.h.hansen@tudelft.nlmodal logiccoalgebra, category theorydynamic coalgebraic logics, coalgebraic modal logicnon-normal modal logics, neighbourhood semantics
28
HuertasAntoniaUniversitat Oberta de Catalunya (Barcelona, Spain)Associate professorhttp://huertas.wordpress.commhuertass@uoc.edumathematical logicknowledge representationmodal logice-learning of logic
29
Janssen-LauretFrederiqueUniversity of Manchester (UK)Tenure-track researcherhttps://manchester.academia.edu/FrederiqueJanssenLauretfrederique.janssen-lauret@manchester.ac.ukPhilosophy of logicHistory of philosophical logicWomen in the history of logic
30
KalvalaSaraUniversity of WarwickAssociate Professorhttp://go.warwick.ac.uk/kalvalaSara.Kalvala@warwick.ac.uktheorem proving in higher order logic.compiler verification.programming language semantics.computational biology.synthetic biology.
31
KaufmannMagdalenaUniversity of Connecticut (USA)Associate professorhttp://magdalena-kaufmann.uconn.edu/magdalena.kaufmann@uconn.eduFormal Semantics and pragmatics (linguistics)Philosophical logiclinguistic modality, clause typesdeontic logic
32
KennedyJulietteUniversity of Helsinki (Department of Mathematics and Statistics)Associate professorwww.math.helsinki.fi/logic/people/juliette.kennedy/juliette.kennedy@helsinki.fiMathemtical logic; philosophy and history of mathematics and logicaestheticsSet theory, Goedel
33
KnightSophiaUppsala UniversityPostdochttp://www.lix.polytechnique.fr/~sophia/sophia.knight@gmail.comEpistemic logic & concurrency
34
LengMaryUniversity of YorkLecturerhttp://www.york.ac.uk/philosophy/about/staff/mary-leng/(see website)Philosophy of mathematicsPhilosophical logicmathematical explanationlogical consequenceHilbert's legacy
35
MacDougallMargaretUniversity of Edinburgh (Scotland)Medical Statistician and Researcher in Educationhttp://www.chs.med.ed.ac.uk/people/staffProfile.php?profile=mmacdougMargaret.MacDougall@ed.ac.ukphilosophy of mathematics and philosophy of logicconstructive and semi-constructive set theoriesPoincaré's philosophy
of mathematics
nominalismmathematical intuition and logical intuition
36
MagidorOfraUniversity of OxfordCUF lecturerhttp://users.ox.ac.uk/~ball1646(see website)Philosophical Logic, vagueness, strict finitism
37
MagureanuAncaUniversity of Bucharest (Romania)Professor
38
ManzanoMaríaUniversity of SalamancaProfessorhttp://logicae.usal.es/maramara at usal.esModal logic and non-classical logicHigher order logicHistory of logicTools for teaching logic
39
MarranoRossella
Scuola Normale Superiore, PisaPhD studenthttp://rossellamarrano.weebly.com/rossella.marrano at gmail.com

Philosophical logic
logic and probabilityinfinite-valued logics, degrees of truth, vagueness

40
NegriSaraUniversity of HelsinkiProfessorhttp://www.helsinki.fi/~negri/sara.negri at helsinki.fiProof theory; non-classical logicsFormal epistemology; constructive mathematics
41
PientkaBrigitteMcGill UniversityAssociate professorhttp://www.cs.mcgill.ca/~bpientkabpientka@cs.mcgill.caProgramming LanguagesTheorem Proving; constructive logic and type theory
42
PigozziGabriellaLAMSADE - Université Paris Dauphine (France)Associate professorhttp://www.pigozzi.orggabriella.pigozzi@dauphine.frMathematical logicFormal epistemology; Multi-agent systems; Artificial IntelligenceJudgment aggregationComputational social choiceArgumentation theory
43
QuinonPaulaLund University (Sweden)Researcherhttp://lu.academia.edu/paulaquinonpaula.quinon at fil.lu.sePhilosophy of MathematicsLogic of everyday reasoningsAxiomatic arithmeticLogical competenceNumber concept
44
RamharterEstherUniversität Wien (Austria)Associate professorhttp://homepage.univie.ac.at/esther.ramharter/esther.ramharter@univie.ac.atphilosophical logic,
45
ReisGiselleTechnische Universität Wien (Austria)Research assistanthttp://www.logic.at/people/giselle(see website)Proof theory
46
SafariRoghiehInstitute for Research in Fundamental Sciences(IPM, Iran)Researcherrm.safari@modares.ac.irMathematical logic;Computational logiccontinuous model theorymodel theory of operator algebra
47
SchulzKatrinILLC -- University of Amsterdam (Netherlands)Assistant professorhttp://home.medewerker.uva.nl/k.schulz/(see website)Formal SemanticsPhilosophical LogicConditionalsPragmaticscausation
48
SidersAnnikaUniversity of Helsinki (Finland)Research postdocannika.siders at helsinki.fiProof TheoryConstuctivism
49
SilvaAlexandraRadboud University NijmegenAssistant professorhttp://www.alexandrasilva.orgalexandra.silva@gmail.com
50
SmetsSonjaILLC -- University of Amsterdam (Netherlands)Full Professorsonja.tiddlyspot.comsee websitephilosophical logic, mathematical logic
philosophy of quantum physicsQuantum logic, logic in AI, formal epistemology, logical foundations of quantum theoryepistemic networks, quantum communication protocols
51
SoskovaAlexandraSofia University, SofiaAsociate Professorwww.fmi.uni-sofia.bg/fmi/logic/asoskova/asoskova1 at gmail.comComputabilityEffective Model TheoryEnumeration reducibiltyDegree Spectra, Jump of a structure
52
SterrettSusan GWichita State UniversityFull Professorwww.susangsterrett.comsusangsterrett@gmail.comPhilosophy of Science AI/Philosophical Logic/PhilMind
53
TerzianGiuliaUniversity of Bristol (UK)Teaching fellowhttp://www.bristol.ac.uk/school-of-arts/people/giulia-terzian/overview.htmlgiulia.terzian at gmail.comPhilosophical logicPhilosophy of maths, metaphysicsFormal theories of truthNorms of truth/ abstraction/ set theory
54
UckelmanSara L.Durham UniversityAssistant professorhttp://community.dur.ac.uk/s.l.uckelmans.l.uckelman@durham.ac.ukphilosophical logic, mathematical logic, history of logic
philosophy of language, philosophy of mathmedieval logic
55
van der SchaarMariaUniversity of Leidenassistant professorhttp://www.hum.leidenuniv.nl/filosofie/organisatie/staf/schaar.htmlm.v.d.schaar at phil.leidenuniv.nlphilosophy of logichistory of logictheory of judgementconstructive type theoryorigins of analytic philosophy
56
VerbruggeRinekeUniversity of Groningen (Netherlands)Full Professorhttp://www.ai.rug.nl/~rinekeL.C.Verbrugge@rug.nlMathematical logic; computational logicCognitive scienceLogics for multi-agent systemsFormal models of social cognition
57
WenmackersSylviaUniversity of Groningen (Netherlands)Research postdochttp://www.sylviawenmackers.be/(see website)Mathematical logic; model theoryPhilosophy of probability; philosophy of scienceNon-standard models, hyperrealsInfinitesimal probabilities(In-)deterministic models
58
WójtowiczAnnaInstitute of Philosophy at the University of Warsaw (Poland)assistant professorhttp://www.filozofia.uw.edu.pl/pracownicy_old/informator/pracownicy/wojto.htmwojtowa@mercury.ci.uw.edu.pl
philosophical and mathematical logic
59
WyattNicoleUniversity of CalgaryAsst. Professor and Department Headhttp://www.nicolewyatt.netnicole.wyatt@ucalgary.caPhilosophy of Logic; Philosophy of Language
Medieval Philosophy; Philosophy of Sex and Love
Logical PluralismPragmatics, Speech Act Theory
60
YangFanUtrecht University (Netherlands)Research postdochttps://sites.google.com/site/fanyanghp/fan.yang.c at gmail.comnon-classical logic
61
ZamanskyAnnaUniversity of Haifa (Israel)assistant professorhttp://is.haifa.ac.il/~annazam/web/annazam@gmail.comNon-classical logic, Proof TheoryKnowledge representationParaconsistent 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...
 
 
 
Europe
North-America
Sheet2
Middle and South America
Asia
Africa
Australasia
Graduate Students