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
FOR 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://maloni.humanities.uva.nl/(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
CohenLironBen Gurion University (Israel)assistant professorhttp://www.cs.bgu.ac.il/~clironcliron@cs.bgu.ac.iltype theoryproof theoryfoundations of mathematicsprogramming languages
17
CompagnoniAdrianaStevens Institute of TechnologyAssociate Professorhttps://scholar.google.com/citations?user=S-zXJGUAAAAJ&hl=enadriana.compagnoni@gmail.comProgramming LanguagesComputational BiologyComputer Secuirty
18
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
19
DobrinenNatashaUniversity of DenverProfessor http://cs.du.edu/~ndobrine/natasha.dobrinen@du.eduLogic and Set TheoryRamsey Theory
20
Dutilh NovaesCatarinaUniversity of Groningen (Netherlands)Professorhttps://sites.google.com/site/catarinadutilhnovaes/c.dutilh.novaes@rug.nlPhilosophy of LogicHistory of LogicLogic and cognitionMedieval logic
21
FloydJulietBoston UniversityFull Professorhttp://www.bu.edu/philo/people/faculty/full-time/juliet-floyd/jfloyd@bu.eduPhilosophy of logicHistory of LogicKant, Goedel, Frege, Russell, Wittgenstein
22
FranchellaMiriamMilan University (Italy)Associate professormiriam.franchella at unimi.itphilosophy of logichistory of logicLogic and societyIntuitionism
23
24
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
25
GheerbrantAmelieUniversity of Edinburgh (Scotland)Research postdochttp://homepages.inf.ed.ac.uk/agheerbr/agheerbr@inf.ed.ac.ukmathematical logictheoretical computer sciencemodel theorydatabase theory
26
GhidiniChiaraFondazione Bruno Kessler (FBK)Senior researcherhttps://dkm.fbk.eu/ghidini/ghidini@fbk.euknowledge representationmathematical logic
27
GhilezanSilviaUniversity of Novi SadProfessorhttp://imft.ftn.uns.ac.rs/~silviasee websitemathematical logictheoretical computer sciencetype theoryconcurrency
28
Ghourabi FadouaOchanomizu University (Japan)Lecturerghourabi.net/fadoua(see website)theorem proving in qualitative reasoningtheorem proving in origami geometryproof assistantsautomated algebraic provers
29
Gierasimczuk NinaTechnical University of Denmarkassistant professorhttp://ninagierasimczuk.com/see websitemathematical and philosophical logicformal epistemology and philosophy of sciencelearning theoryepistemic logic
30
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
31
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
32
HuertasAntoniaUniversitat Oberta de Catalunya (Barcelona, Spain)Associate professorhttp://huertas.wordpress.commhuertass@uoc.edumathematical logicknowledge representationmodal logice-learning of logic
33
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
34
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.
35
KaufmannMagdalenaUniversity of Connecticut (USA)Associate professorhttp://magdalena-kaufmann.uconn.edu/magdalena.kaufmann@uconn.eduFormal Semantics and pragmatics (linguistics)Philosophical logiclinguistic modality, clause typesdeontic logic
36
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
37
KnightSophiaUppsala UniversityPostdochttp://www.lix.polytechnique.fr/~sophia/sophia.knight@gmail.comEpistemic logic & concurrency
38
LengMaryUniversity of YorkLecturerhttp://www.york.ac.uk/philosophy/about/staff/mary-leng/(see website)Philosophy of mathematicsPhilosophical logicmathematical explanationlogical consequenceHilbert's legacy
39
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
40
MagidorOfraUniversity of OxfordCUF lecturerhttp://users.ox.ac.uk/~ball1646(see website)Philosophical Logic, vagueness, strict finitism
41
MagureanuAncaUniversity of Bucharest (Romania)Professor
42
ManzanoMaríaUniversity of SalamancaProfessorhttp://logicae.usal.es/maramara at usal.esModal logic and non-classical logicHigher order logicHistory of logicTools for teaching logic
43
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

44
NegriSaraUniversity of HelsinkiProfessorhttp://www.helsinki.fi/~negri/sara.negri at helsinki.fiProof theory; non-classical logicsFormal epistemology; constructive mathematics
45
OrtizMagdalenaInstitute of Logic and Computation, TU Wien, AustriaAssistant Professorhttp://www.kr.tuwien.ac.at/staff/ortiz/ortiz@kr.tuwien.ac.at logics for knowledge representation and reasoning description logicsapplications of KR in data management
46
Ö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
47
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)
48
PientkaBrigitteMcGill UniversityAssociate professorhttp://www.cs.mcgill.ca/~bpientkabpientka@cs.mcgill.caProgramming LanguagesTheorem Proving; constructive logic and type theory
49
PigozziGabriellaLAMSADE - Université Paris Dauphine (France)Associate professorhttp://www.pigozzi.orggabriella.pigozzi@dauphine.frMathematical logicFormal epistemology; Multi-agent systems; Artificial IntelligenceJudgment aggregationComputational social choiceArgumentation theory
50
QuinonPaulaLund University (Sweden)Researcherhttp://lu.academia.edu/paulaquinonpaula.quinon at fil.lu.sePhilosophy of MathematicsLogic of everyday reasoningsAxiomatic arithmeticLogical competenceNumber concept
51
RamharterEstherUniversität Wien (Austria)Associate professorhttp://homepage.univie.ac.at/esther.ramharter/esther.ramharter@univie.ac.atphilosophical logic,
52
ReisGiselleCarnegie Mellon UniversityAssistant Professorhttp://www.gisellereis.com/(see website)Structural proof theoryLinear logicTheorem proving
53
RizkallahChristineUniversity of New South Wales (Sydney, Australia)Assistant Professorhttp://www.cse.unsw.edu.au/~crizkallah/(see website)Formal VerificationProgramming Languages
54
SafariRoghiehInstitute for Research in Fundamental Sciences(IPM, Iran)Researcherrm.safari@modares.ac.irMathematical logic;Computational logiccontinuous model theorymodel theory of operator algebra
55
SchulzKatrinILLC -- University of Amsterdam (Netherlands)Assistant professorhttp://home.medewerker.uva.nl/k.schulz/(see website)Formal SemanticsPhilosophical LogicConditionalsPragmaticscausation
56
SidersAnnikaUniversity of Helsinki (Finland)Research postdocannika.siders at helsinki.fiProof TheoryConstuctivism
57
SilvaAlexandraRadboud University NijmegenAssistant professorhttp://www.alexandrasilva.orgalexandra.silva@gmail.com
58
SmetsSonjaILLC -- University of Amsterdam (Netherlands)Full Professorhttps://sites.google.com/site/thesonjasmetssite/see websitephilosophical logic, mathematical logic
philosophy of quantum physicsQuantum logic, logic in AI, formal epistemology, logical foundations of quantum theoryepistemic networks, quantum communication protocols
59
SoskovaAlexandraSofia University, SofiaAsociate Professorhttps://store.fmi.uni-sofia.bg/fmi/logic/asoskova/asoskova1 at gmail.comComputabilityEffective Model TheoryEnumeration reducibiltyDegree Spectra, Jump of a structure
60
SterrettSusan GWichita State UniversityFull Professorhttps://www.susangsterrett.com/susangsterrett@gmail.comPhilosophy of Science AI/Philosophical Logic/PhilMind
61
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
62
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
63
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
64
VerbruggeRinekeUniversity of Groningen (Netherlands)Full Professorhttps://rinekeverbrugge.nl/L.C.Verbrugge@rug.nlMathematical logic; computational logicCognitive scienceLogics for multi-agent systemsFormal models of social cognition
65
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
66
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
67
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
68
YangFanUtrecht University (Netherlands)Research postdochttps://sites.google.com/site/fanyanghp/fan.yang.c at gmail.comnon-classical logic
69
ZamanskyAnnaUniversity of Haifa (Israel)assistant professorhttp://is.haifa.ac.il/~annazam/web/annazam@gmail.comNon-classical logic, Proof TheoryKnowledge representationParaconsistent logics
70
DardhaOrnelaUniversity of Glasgow (UK)Lecturerhttp://www.dcs.gla.ac.uk/~ornela/ornela.dardha@glasgow.ac.ukProgramming LanguagesFormal Methods
71
Dumbrava StefaniaENSIIE (France)Assistant professorhttp://web4.ensiie.fr/~stefania.dumbrava/stefania.dumbrava@ensiie.frFormal Methods Programming LanguagesSoftware VerificationTheorem Proving; LogicDatabases; Knowledge Representation; Artificial Intelligence
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...