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
AlechinaNatashaUniveristy of NottinghamAssistant professorhttps://scholar.google.co.uk/citations?user=J1ThCVcAAAAJnza@cs.nott.ac.ukModal logics and multiagent systems
4
AloniMariaIllC -- University of Amsterdam (Netherlands)Assistant professorhttp://staff.science.uva.nl/~maloni/(see website)Formal Semantics and pragmaticsPhilosophy of languageindefinite referencedynamic semantics
5
AndersonGabrielleUniversity of Aberdeen (UK)Research postdocg.a.anderson@abdn.ac.ukmodal logics and process calculi
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
DobrinenNatashaUniversity of DenverProfessor http://cs.du.edu/~ndobrine/natasha.dobrinen@du.eduLogic and Set TheoryRamsey Theory
19
Dutilh NovaesCatarinaUniversity of Groningen (Netherlands)Professorhttps://sites.google.com/site/catarinadutilhnovaes/c.dutilh.novaes@rug.nlPhilosophy of LogicHistory of LogicLogic and cognitionMedieval logic
20
FloydJulietBoston UniversityFull Professorhttp://www.bu.edu/philo/people/faculty/full-time/juliet-floyd/jfloyd@bu.eduPhilosophy of logicHistory of LogicKant, Goedel, Frege, Russell, Wittgenstein
21
FranchellaMiriamMilan University (Italy)Associate professormiriam.franchella at unimi.itphilosophy of logichistory of logicLogic and societyIntuitionism
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
Ö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
44
Pérez-IlzarbePalomaUniversity of NavarraAssociate professorhttp://www.unav.es/filosofia/pilzarbe1/pilzarbe@unav.esHistory of logicMedieval and post-medieval logicWomen in the history of logic (19th-20th centuries)
45
PientkaBrigitteMcGill UniversityAssociate professorhttp://www.cs.mcgill.ca/~bpientkabpientka@cs.mcgill.caProgramming LanguagesTheorem Proving; constructive logic and type theory
46
PigozziGabriellaLAMSADE - Université Paris Dauphine (France)Associate professorhttp://www.pigozzi.orggabriella.pigozzi@dauphine.frMathematical logicFormal epistemology; Multi-agent systems; Artificial IntelligenceJudgment aggregationComputational social choiceArgumentation theory
47
QuinonPaulaLund University (Sweden)Researcherhttp://lu.academia.edu/paulaquinonpaula.quinon at fil.lu.sePhilosophy of MathematicsLogic of everyday reasoningsAxiomatic arithmeticLogical competenceNumber concept
48
RamharterEstherUniversität Wien (Austria)Associate professorhttp://homepage.univie.ac.at/esther.ramharter/esther.ramharter@univie.ac.atphilosophical logic,
49
ReisGiselleCarnegie Mellon UniversityAssistant Professorhttp://www.gisellereis.com/(see website)Structural proof theoryLinear logicTheorem proving
50
RizkallahChristineUniversity of New South Wales (Sydney, Australia)Assistant Professorhttp://www.cse.unsw.edu.au/~crizkallah/(see website)Formal VerificationProgramming Languages
51
SafariRoghiehInstitute for Research in Fundamental Sciences(IPM, Iran)Researcherrm.safari@modares.ac.irMathematical logic;Computational logiccontinuous model theorymodel theory of operator algebra
52
SchulzKatrinILLC -- University of Amsterdam (Netherlands)Assistant professorhttp://home.medewerker.uva.nl/k.schulz/(see website)Formal SemanticsPhilosophical LogicConditionalsPragmaticscausation
53
SidersAnnikaUniversity of Helsinki (Finland)Research postdocannika.siders at helsinki.fiProof TheoryConstuctivism
54
SilvaAlexandraRadboud University NijmegenAssistant professorhttp://www.alexandrasilva.orgalexandra.silva@gmail.com
55
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
56
SoskovaAlexandraSofia University, SofiaAsociate Professorwww.fmi.uni-sofia.bg/fmi/logic/asoskova/asoskova1 at gmail.comComputabilityEffective Model TheoryEnumeration reducibiltyDegree Spectra, Jump of a structure
57
SterrettSusan GWichita State UniversityFull Professorwww.susangsterrett.comsusangsterrett@gmail.comPhilosophy of Science AI/Philosophical Logic/PhilMind
58
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
59
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
60
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
61
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
62
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
63
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
64
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
65
YangFanUtrecht University (Netherlands)Research postdochttps://sites.google.com/site/fanyanghp/fan.yang.c at gmail.comnon-classical logic
66
ZamanskyAnnaUniversity of Haifa (Israel)assistant professorhttp://is.haifa.ac.il/~annazam/web/annazam@gmail.comNon-classical logic, Proof TheoryKnowledge representationParaconsistent logics
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...
Main menu