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

 
$
%
123
 
 
 
 
 
 
 
 
 
ABCDEFGHIJKLMNO
1
ruth barcan marcusGiven nameInstitution (country)PositionWebsiteEmailAreas (separate by commas)
2
AlechinaNatashaUniveristy of NottinghamAssistant professorhttps://scholar.google.co.uk/citations?user=J1ThCVcAAAAJnza@cs.nott.ac.ukModal logics and multiagent systems
3
AloniMariaIllC -- University of Amsterdam (Netherlands)Assistant professorhttp://maloni.humanities.uva.nl/(see website)Formal Semantics and pragmatics, Philosophy of language, indefinite reference, dynamic semantics
4
AlvesSandraUniversity of PortoAssistant professorhttp://www.dcc.fc.up.pt/-sandra(see website)Type theory, Programming Languages, Fornal methods
5
AndersonGabrielleUniversity of Aberdeen (UK)Research postdocg.a.anderson@abdn.ac.ukmodal logics and process calculi
6
ArndtDörtheGhent University, imec, Belgiumpostdochttps://biblio.ugent.be/person/A0C14756-B2AA-11E2-965B-BBC110BDE39Ddoerthe.arndt@ugent.beknowledge representation and reasoning, Rule-based reasoning
7
BeslerGabrielaDepartment of Philosophy, University of Silesia, Polandassistant professorgabriela.besler@us.edu.plphilosophy of logic, history of logic, (neo)logicism, number's concept, G. Frege's logic
8
BiernackaMalgorzataInstitute of Computer Science, Univerisity of Wroclaw, Polandassistant professormabi@cs.uni.wroc.plcomputational logic
9
BilkovaMartaCzech Academy of Sciences (Czech rep.)Researcherhttps://sites.google.com/view/martabilkovabilkova@cs.cas.czLogic in computer science, Non-classical logics, Modal, substructural and paraconsistent logics, Coalgebraic logic
10
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 logic, History of logic, vagueness, higher-order vagueness, semantic paradoxes, Ancient logic (Aristotle to Boethius)
11
BrownCarolynIndustryChief Information Officerhttp://www.cio.co.uk/cio100/carolyntbrown@gmail.com
12
Campbell-MooreCatrinUniversity of Bristol (UK)Researcher (Lecturer)www.ccampbell-moore.co.ukcatrin@ccampbell-moore.co.ukphilosophical logic, formal epistemology, self-referential probabilities (theories of truth), epistemic utility theory; philosophy of probability
13
ChristoffZoéUniversity of Bayreuth, Germany. (Previously: Liverpool, ILLC Amsterdam, Geneva.)Postdoctoral researcherwww.zoechristoff.comzoe.christoff@gmail.comPhilosophical logic, Dynamic Epistemic Logic, Logics of networks, Judgment aggregation theory, social 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 Languages, Computational Biology, Computer Security
16
DardhaOrnelaUniversity of Glasgow (UK)Lecturerhttp://www.dcs.gla.ac.uk/~ornela/ornela.dardha@glasgow.ac.ukProgramming Languages, Formal Methods
17
DechesneFrancienDelft University of Technology (Netherlands)researcherhttp://www.ethicsandtechnology.eu/people/dechesne/f.dechesne@tudelft.nlmathematical logic; constructive logic, modal logics for modelling interaction, independence friendly logic, dynamic epistemic logic
18
Dumbrava StefaniaENSIIE & Institut Polytechnique de Paris (France)Assistant professorhttp://web4.ensiie.fr/~stefania.dumbrava/stefania.dumbrava@ensiie.frFormal Methods , Programming Languages, Software Verification, Theorem Proving; Logic, Databases; Knowledge Representation; Artificial Intelligence
19
Dutilh NovaesCatarinaUniversity of Groningen (Netherlands)Professorhttps://sites.google.com/site/catarinadutilhnovaes/c.dutilh.novaes@rug.nlPhilosophy of Logic, History of Logic, Logic and cognition, Medieval logic
20
ErascuMadalinaWest University of Timisoara, RomaniaLecturermerascu.github.iomadalina.erascu@e-uvt.roformal methods, symbolic computation
21
FranchellaMiriamMilan University (Italy)Associate professormiriam.franchella at unimi.itphilosophy of logic, history of logic, Logic and society, Intuitionism
22
GeorgievaLiliaHeriot Watt University (UK)Lecturerhttps://www.linkedin.com/in/liliageorgievageorgieva/L.Georgieva@hw.ac.ukautomated reasoning, knowledge representation, theorem 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 logic, theoretical computer science, model theory, database theory
24
GhidiniChiaraFondazione Bruno Kessler (FBK)Senior researcherhttps://dkm.fbk.eu/ghidini/ghidini@fbk.euknowledge representation, mathematical logic
25
GhilezanSilviaUniversity of Novi SadProfessorhttp://imft.ftn.uns.ac.rs/~silviasee websitemathematical logic, theoretical computer science, type theory, concurrency
26
Gierasimczuk NinaTechnical University of Denmarkassociate professorhttp://ninagierasimczuk.com/see websitemathematical and philosophical logic, formal epistemology and philosophy of science, learning theory, epistemic logic
27
Golińska-PilarekJoannaInstitute of Philosophy at the University of Warsaw (Poland)assistant professorhttp://joannagolinska.com/j.golinska@uw.edu.plphilosophical and mathematical logic, analytic philosophy, non-classical logics, non-Fregean logics
28
HansenHelle HvidUniversity of Groningen (Netherlands)Associate Professorhttps://www.rug.nl/staff/h.h.hansen/h.h.hansen@rug.nlmodal logic, coalgebra, category theory, dynamic coalgebraic logics, coalgebraic modal logic, non-normal modal logics, neighbourhood semantics
29
HuertasAntoniaUniversitat Oberta de Catalunya (Barcelona, Spain)Associate professorhttp://huertas.wordpress.commhuertass@uoc.edumathematical logic, knowledge representation, modal logic, e-learning of logic
30
Janssen-LauretFrederiqueUniversity of Manchester (UK)Tenure-track researcherhttps://manchester.academia.edu/FrederiqueJanssenLauretfrederique.janssen-lauret@manchester.ac.ukPhilosophy of logic, History of philosophical logic, Women in the history of logic
31
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
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 logic, aesthetics, Set theory, Goedel
33
KesnerDeliaUniversité de Paris Full Professor www.irif.fr/~kesnerkesner@irif.frProof Theory , Semantics of Programming Languages
34
KnightSophiaUppsala UniversityPostdochttp://www.lix.polytechnique.fr/~sophia/sophia.knight@gmail.comEpistemic logic & concurrency
35
LapentaSerafinaUniversity of SalernoResearcherhttps://serafinalapenta.weebly.com/slapenta@unisa.itAlgebraic aspects of many-valued logic, Logic and probability
36
LengMaryUniversity of YorkLecturerhttp://www.york.ac.uk/philosophy/about/staff/mary-leng/(see website)Philosophy of mathematics, Philosophical logic, mathematical explanation, logical consequence, Hilbert's legacy
37
LópezSandra M.University of Salamanca (Spain) PhD student, Assistant professorsandralv@usal.esRelevance logics, Many-valued logics, 3-valued logics, 4-valued logics
38
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 logic, constructive and semi-constructive set theories, Poincaré's philosophy
of mathematics, nominalism, mathematical intuition and logical intuition
39
MagidorOfraUniversity of OxfordCUF lecturerhttp://users.ox.ac.uk/~ball1646(see website)Philosophical Logic, vagueness, strict finitism
40
MagureanuAncaUniversity of Bucharest (Romania)Professor
41
ManzanoMaríaUniversity of SalamancaProfessorhttp://logicae.usal.es/maramara at usal.esModal logic and non-classical logic, Higher order logic, History of logic, Tools for teaching logic
42
MarkovichRékaUniversity of LuxembourgResearch Associatephil.elte.hu/markovichmarkovich.reka@yahoo.comPhilosophical logic -- deontic logic, Applied logics for AI, deontic logic, formal ethics, logic and legal AI
43
MordidoAndreiaFaculdade de Ciências, Universidade de LisboaInvited Assistant Professorhttp://www.di.fc.ul.pt/~amordido/afmordido (at) ciencias (dot) ulisboa (dot) ptProgramming Languages, Type Systems
44
NegriSaraUniversity of HelsinkiProfessorhttp://www.helsinki.fi/~negri/sara.negri at helsinki.fiProof theory, non-classical logics, Formal epistemology, constructive mathematics
45
OgbornAnneSWI-Prolog (global)assistant bit twiddlerhttp://swi-prolog.organne@swi-prolog.orglogic programming
46
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 logics, applications of KR in data management
47
ÖzgünAybükeILLC-University of AmsterdamResearch postdochttps://sites.google.com/site/ozgunaybuke/ozgunaybuke@gmail.comPhilosophical and mathematical logic, Formal epistemology, dynamic epistemic logic, neighbourhood/topological semantics for knowledge and belief
48
Pérez-IlzarbePalomaUniversity of NavarraAssociate professorhttp://www.unav.es/filosofia/pilzarbe1/pilzarbe@unav.esHistory of logic, , Medieval and post-medieval logic, Women in the history of logic (19th-20th centuries)
49
PigozziGabriellaLAMSADE - Université Paris Dauphine (France)Associate professorhttp://www.pigozzi.orggabriella.pigozzi@dauphine.frMathematical logic, Formal epistemology; Multi-agent systems; Artificial Intelligence, Judgment aggregation, Computational social choice, Argumentation theory
50
QuinonPaulaLund University (Sweden)Researcherhttp://lu.academia.edu/paulaquinonpaula.quinon at fil.lu.sePhilosophy of Mathematics, Logic of everyday reasonings, Axiomatic arithmetic, Logical competence, Number concept
51
RamharterEstherUniversität Wien (Austria)Associate professorhttp://homepage.univie.ac.at/esther.ramharter/esther.ramharter@univie.ac.atphilosophical logic
52
RussellGillianAustralian Catholic University, Dianoia Institute of Philosophy (Australia)Professorhttps://gillianrussell.net/gill.k.russell at gmail.comPhilosophical logic, philosophy of logic, philosophy of language
53
SattlerUliUniversity of ManchesterProfessorjonas.huelsmann@eins.tu-darmstadt.deuli.sattler@manchester.ac.ukLogic-based knowledge representation, automated reasoning, Description Logic, Ontology engineering
54
SchmidtRenateUniversity of ManchesterUniversity Readerhttp://www.cs.man.ac.uk/~schmidt/Renate.Schmidt@manchester.ac.ukLogic, Automated reasoining, Ontology-based knowledge processing, description logics, modal logics, relation algebras
55
SchulzKatrinILLC -- University of Amsterdam (Netherlands)Assistant professorhttp://home.medewerker.uva.nl/k.schulz/(see website)Formal Semantics, Philosophical Logic, Conditionals, Pragmatics, causation
56
SidersAnnikaUniversity of Helsinki (Finland)Research postdocannika.siders at helsinki.fiProof Theory, Constuctivism
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 physics, Quantum logic, logic in AI, formal epistemology, logical foundations of quantum theory, epistemic networks, quantum communication protocols
59
SoskovaAlexandraSofia University, SofiaAsociate Professorhttps://store.fmi.uni-sofia.bg/fmi/logic/asoskova/asoskova1 at gmail.comComputability, Effective Model Theory, Enumeration reducibilty, Degree Spectra, Jump of a structure
60
TerzianGiuliaUniversity of Bristol (UK)Teaching fellowhttp://www.bristol.ac.uk/school-of-arts/people/giulia-terzian/overview.htmlgiulia.terzian at gmail.comPhilosophical logic, Philosophy of maths, metaphysics, Formal theories of truth, Norms of truth/ abstraction/ set theory
61
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 math, medieval logic, history of logic, modal and dynamic logic
62
van der SchaarMariaUniversity of Leidenassistant professorhttp://www.hum.leidenuniv.nl/filosofie/organisatie/staf/schaar.htmlm.v.d.schaar at phil.leidenuniv.nlphilosophy of logic, history of logic, theory of judgement, constructive type theory, origins of analytic philosophy
63
VerbruggeRinekeUniversity of Groningen (Netherlands)Full Professorhttps://rinekeverbrugge.nl/L.C.Verbrugge@rug.nlMathematical logic, computational logic, Cognitive science, Logics for multi-agent systems, Formal models of social cognition
64
WenmackersSylviaUniversity of Groningen (Netherlands)Research postdochttp://www.sylviawenmackers.be/(see website)Mathematical logic, model theory, Philosophy of probability, philosophy of science, Non-standard models, hyperreals, Infinitesimal probabilities, (In-)deterministic models
65
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
66
YangFanUniversity of Helsinki (Finland)Academy Research Fellowhttps://sites.google.com/site/fanyanghp/fan.yang.c at gmail.comnon-classical logic
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...