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

 
$
%
123
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
ABCDEFGHIJKLMNOPQRST
1
fauFOR 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
AlechinaNatashaUniveristy of NottinghamAssistant professorhttps://scholar.google.co.uk/citations?user=J1ThCVcAAAAJnza@cs.nott.ac.ukModal logics and multiagent systems
6
BeslerGabrielaDepartment of Philosophy, University of Silesia, Polandassistant professorgabriela.besler@us.edu.plphilosophy of logichistory of logic(neo)logicismnumber's conceptG. Frege's logic
7
BiernackaMalgorzataInstitute of Computer Science, Univerisity of Wroclaw, Polandassistant professormabi@cs.uni.wroc.plcomputational logic
8
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)
9
BosmanBiancaUniversity of Groningen, NetherlandsPhD studentb.bosman@rug.nlhistory of logicmedieval and ancient logics (including Stoic logic)containment
10
BrownCarolynIndustryChief Information Officerhttp://www.cio.co.uk/cio100/carolyntbrown@gmail.com
11
Bueno-SolerJulianaFederal University of ABC (Brazil)Assistant professorjuliana.bueno@ufabc.edu.brModal logic and non-classical logic
12
Campbell-MooreCatrinUniversity of Bristol (UK)Researcher (Lecturer)www.ccampbell-moore.co.ukcatrin@ccampbell-moore.co.ukphilosophical logicformal epistemologyself-referential probabilities (theories of truth)epistemic utility theory; philosophy of probability
13
ChenYueTechnische Universität WienResearchertheverychen@gmail.comParameterized complexity theoryProof theory
14
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
15
CiabattoniAgataInstitute of Computer Languages (TU Wien, Austria)Full Professorhttp://www.logic.at/staff/agata/agata@logic.atNon-classical logic, Proof Theory
16
CompagnoniAdrianaStevens Institute of TechnologyAssociate Professorhttps://scholar.google.com/citations?user=S-zXJGUAAAAJ&hl=enadriana.compagnoni@gmail.comProgramming LanguagesComputational BiologyComputer Secuirty
17
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
18
Dutilh NovaesCatarinaUniversity of Groningen (Netherlands)Professorhttps://sites.google.com/site/catarinadutilhnovaes/c.dutilh.novaes@rug.nlPhilosophy of LogicHistory of LogicLogic and cognitionMedieval logic
19
FloydJulietBoston UniversityFull Professorhttp://www.bu.edu/philo/people/faculty/full-time/juliet-floyd/jfloyd@bu.eduPhilosophy of logicHistory of LogicKant, Goedel, Frege, Russell, Wittgenstein
20
FranchellaMiriamMilan University (Italy)Associate professormiriam.franchella at unimi.itphilosophy of logichistory of logicLogic and societyIntuitionism
21
22
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
23
GheerbrantAmelieUniversity of Edinburgh (Scotland)Research postdochttp://homepages.inf.ed.ac.uk/agheerbr/agheerbr@inf.ed.ac.ukmathematical logictheoretical computer sciencemodel theorydatabase theory
24
GhidiniChiaraFondazione Bruno Kessler (FBK)Senior researcherhttps://dkm.fbk.eu/ghidini/ghidini@fbk.euknowledge representationmathematical logic
25
GhilezanSilviaUniversity of Novi SadProfessorhttp://imft.ftn.uns.ac.rs/~silviasee websitemathematical logictheoretical computer sciencetype theoryconcurrency
26
Ghourabi FadouaOchanomizu University (Japan)Lecturerghourabi.net/fadoua(see website)theorem proving in qualitative reasoningtheorem proving in origami geometryproof assistantsautomated algebraic provers
27
Gierasimczuk NinaTechnical University of Denmarkassistant professorhttp://ninagierasimczuk.com/see websitemathematical and philosophical logicformal epistemology and philosophy of sciencelearning theoryepistemic logic
28
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
29
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
30
HuertasAntoniaUniversitat Oberta de Catalunya (Barcelona, Spain)Associate professorhttp://huertas.wordpress.commhuertass@uoc.edumathematical logicknowledge representationmodal logice-learning of logic
31
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
32
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.
33
KaufmannMagdalenaUniversity of Connecticut (USA)Associate professorhttp://magdalena-kaufmann.uconn.edu/magdalena.kaufmann@uconn.eduFormal Semantics and pragmatics (linguistics)Philosophical logiclinguistic modality, clause typesdeontic logic
34
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
35
KnightSophiaUppsala UniversityPostdochttp://www.lix.polytechnique.fr/~sophia/sophia.knight@gmail.comEpistemic logic & concurrency
36
LengMaryUniversity of YorkLecturerhttp://www.york.ac.uk/philosophy/about/staff/mary-leng/(see website)Philosophy of mathematicsPhilosophical logicmathematical explanationlogical consequenceHilbert's legacy
37
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
38
MagidorOfraUniversity of OxfordCUF lecturerhttp://users.ox.ac.uk/~ball1646(see website)Philosophical Logic, vagueness, strict finitism
39
MagureanuAncaUniversity of Bucharest (Romania)Professor
40
ManzanoMaríaUniversity of SalamancaProfessorhttp://logicae.usal.es/maramara at usal.esModal logic and non-classical logicHigher order logicHistory of logicTools for teaching logic
41
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

42
NegriSaraUniversity of HelsinkiProfessorhttp://www.helsinki.fi/~negri/sara.negri at helsinki.fiProof theory; non-classical logicsFormal epistemology; constructive mathematics
43
PientkaBrigitteMcGill UniversityAssociate professorhttp://www.cs.mcgill.ca/~bpientkabpientka@cs.mcgill.caProgramming LanguagesTheorem Proving; constructive logic and type theory
44
PigozziGabriellaLAMSADE - Université Paris Dauphine (France)Associate professorhttp://www.pigozzi.orggabriella.pigozzi@dauphine.frMathematical logicFormal epistemology; Multi-agent systems; Artificial IntelligenceJudgment aggregationComputational social choiceArgumentation theory
45
QuinonPaulaLund University (Sweden)Researcherhttp://lu.academia.edu/paulaquinonpaula.quinon at fil.lu.sePhilosophy of MathematicsLogic of everyday reasoningsAxiomatic arithmeticLogical competenceNumber concept
46
RamharterEstherUniversität Wien (Austria)Associate professorhttp://homepage.univie.ac.at/esther.ramharter/esther.ramharter@univie.ac.atphilosophical logic,
47
ReisGiselleTechnische Universität Wien (Austria)Research assistanthttp://www.logic.at/people/giselle(see website)Proof theory
48
SafariRoghiehInstitute for Research in Fundamental Sciences(IPM, Iran)Researcherrm.safari@modares.ac.irMathematical logic;Computational logiccontinuous model theorymodel theory of operator algebra
49
SchulzKatrinILLC -- University of Amsterdam (Netherlands)Assistant professorhttp://home.medewerker.uva.nl/k.schulz/(see website)Formal SemanticsPhilosophical LogicConditionalsPragmaticscausation
50
SidersAnnikaUniversity of Helsinki (Finland)Research postdocannika.siders at helsinki.fiProof TheoryConstuctivism
51
SilvaAlexandraRadboud University NijmegenAssistant professorhttp://www.alexandrasilva.orgalexandra.silva@gmail.com
52
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
53
SoskovaAlexandraSofia University, SofiaAsociate Professorwww.fmi.uni-sofia.bg/fmi/logic/asoskova/asoskova1 at gmail.comComputabilityEffective Model TheoryEnumeration reducibiltyDegree Spectra, Jump of a structure
54
SterrettSusan GWichita State UniversityFull Professorwww.susangsterrett.comsusangsterrett@gmail.comPhilosophy of Science AI/Philosophical Logic/PhilMind
55
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
56
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
57
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
58
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
59
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
60
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
61
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
62
YangFanUtrecht University (Netherlands)Research postdochttps://sites.google.com/site/fanyanghp/fan.yang.c at gmail.comnon-classical logic
63
ZamanskyAnnaUniversity of Haifa (Israel)assistant professorhttp://is.haifa.ac.il/~annazam/web/annazam@gmail.comNon-classical logic, Proof TheoryKnowledge representationParaconsistent logics
64
DobrinenNatashaUniversity of DenverProfessor http://cs.du.edu/~ndobrine/natasha.dobrinen@du.eduLogic and Set TheoryRamsey Theory
65
ÖzgünAybükeILLC-University of AmsterdamResearch postdochttps://sites.google.com/site/ozgunaybuke/ozgunaybuke@gmail.comPhilosophical and mathematical logicFormal epistemology, dynamic epistemic logicneighbourhood/topological semantics for knowledge and belief
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
Graduate Students
Australasia
 
 
Main menu