For instructions on how to add yourself to this directory, see the main page.
| Surname | Given name | Institution (country) | Position | Website | Areas (separate by commas) |
|---|---|---|---|---|---|
| Aguinaldo | Angeline | University of Maryland, College Park, Johns Hopkins University Applied Physics Laboratory (US) | PhD Student, Software Engineer | software design, system of systems, software systems modeling, data management | |
| Ahmadi | Fatimah | University of Oxford(UK) | PhD Student | https://fatimahmadi.github.io/FatimahAhmadi/index.html | Higher categories, TQFT/TQC |
| Amzil | Houda | Mohammed V University of Rabat (Morocco) | PhD Student | ||
| Batistelli | Karina | Universidad de Chile (Chile) | Postdoc | https://sites.google.com/view/karinabatistelli | tensor categories, enriched categories |
| Bjerrum | Marie | Sorbonne Nord (Paris, France) | teacher | models, categories, sketches | |
| Bortolussi | Noelia | Universidad Nacional de Córdoba (Argentina) | PhD Student | Category theory, tensor categories, representation of tensor categories, 2-categories | |
| Boyd | Sasha | YesLogic (Australia) | Software Developer | programming, computer science | |
| Bradley | Tai-Danae | X | Postdoc | https://www.math3ma.com/ | |
| Bunge | Marta | McGill University (Montreal, Canada) | Emerita Professor of Mathematics | https://www.math.mcgill.ca/bunge/ | topos theory and applications |
| Caramello | Olivia | University of Insubria (Italy) and IHES (France) | Associate Professor | www.oliviacaramello.com | topos theory, logic and applications |
| Carrasco | Pilar | University of Granada (Spain) | Professor of Mathematics | ||
| Clementino | Maria Manuel | Universidade de Coimbra | Professor of Mathematics | http://www.mat.uc.pt/~mmc/ | |
| Cohen | Liron | Ben Gurion University (Israel) | assistant professor | ||
| Constantin | Carmen | University of Oxford (Mansfield College) | Fellow (teaching only) | sheaves, monads, quantum contextuality | |
| Coraglia | Greta | Università di Genova (Italy) | PhD student | https://www2.dima.unige.it/node/256 | categorical logic, algebraic set theory |
| Daphne | Wang | UCL (UK) | PhD Student | sheaf theory, semantics of natural language, quantum categorical semantics, intuitionistic logic, quantum logic | |
| de Paiva | Valeria | Topos Institute | Principal Research Scientist | http://vcvpaiva.github.io/ | categorical logic |
| Delaney | Colleen | Indiana University (Bloomington, USA) | Postdoc | topological phases/quantum computation, programming, tensor categories | |
| Di Lavore | Elena | TalTech (Estonia) | PhD student | https://elenadilavore.github.io/ | applied category theory |
| Dicaire | Nuiok | University of Edinburgh | PhD Student | applied category theory | |
| Ehresmann | Andree | Université de Picardie Jules Verne | Emerita Professor of Mathematics | memory evolutive systems | |
| Femic | Bojana | Mathematical Institute of Serbian Academy of Sciences and Arts | Researcher | category theory, braided monoidal categories, tensor categories, monads, enriched and internal categories | |
| Finlay | Abigail | University of Michigan (USA) | PhD student | categorical logic, topos theory, classifying topoi | |
| Hess | Kathryn | EPFL (Switzerland) | Professor of Mathematics | https://www.epfl.ch/labs/hessbellwald-lab/ | category theory in homotopy theory |
| Johnson | Brenda | Union College (NY, USA) | Professor | category theory in homotopy theory | |
| Khanjanzadeh seresti | Zeinab | Semnan University | https://www.researchgate.net/profile/Zeinab_Khanjanzadeh-Seresti | ||
| Landry | Elaine | University of California, Davis | Professor of Philosophy | https://philosophy.ucdavis.edu/people/emlandry | |
| Libkind | Sophie | Stanford University | PhD student | ||
| Maietti | Maria Emilia (Milly) | Università degli Studi di Padova (Italy) | Associate Professor | https://www.math.unipd.it/~maietti/ | categorical logic, type theory |
| Mantovani | Sandra | Università of Milan (Italy) | Professor of Mathematics | categorical algebra | |
| Master | Jade | UC Riverside (UCR) | PhD Student | https://sites.google.com/view/jadeedenstarmaster/home | Applied category theory, Petri nets |
| Sadrzadeh | Mehrnoosh | UCL (UK) | Reader in CS | https://msadrzadeh.com | algebraic logic, sequent calculi, substructural logics, Lambek Calculus, modal logic |
| Mejia | Adriana | Universidad del Norte (Colombia) | Assistant professor | Tensor categories, module categories,hopf algebras | |
| Müller | Monique | Universidade Federal de São João del-Rei (MG-Brazil) | Assistant Professor | https://sites.google.com/site/moniquemtm | tensor categories, fusion categories, module categories |
| Nair | Sandra | University of Michigan, Ann Arbor | PhD student | arithmetic geometry and category theory | |
| North | Paige | University of Pennsylvania (USA) | Postdoc | https://paigenorth.github.io | type theory, homotopy theory, higher category theory |
| Ott | Claire | TU Darmstadt (Germany) | PhD Student | https://www.psychologie.tu-darmstadt.de/models-of-higher-cognition/mod/members_mhc/members_mhc_detail_62080.en.jsp | applied category theory, cognitive science |
| Paoli | Simona | University of Leicester | Associate Professor | https://www2.le.ac.uk/departments/mathematics/extranet/staff-material/staff-profiles/simona-paoli | higher category theory, homotopy theory |
| Pimentel | Elaine | Universidade Federal do Rio Grande do Norte | Full Professor | https://sites.google.com/site/elainepimentel/ | categorical logic |
| Plavnik | Julia | Indiana University (Bloomington, USA) | Assistant Professor | tensor categories (fusion, braided, modular tensor categories), enriched categories | |
| Pronk | Dorette | Dalhousie University (Canada) | Professor of Mathematics | etendues, groupoids, orbispaces, restriction categories, double categories | |
| Raynor | Sophie | Macquarie University (Australia) | Postdoc | ||
| Riehl | Emily | Johns Hopkins University (USA) | Associate Professor | https://math.jhu.edu/~eriehl/ | oo-categories, homotopy theory |
| Rodelo | Diana | Univ. Algarve | Professor Auxiliar | ||
| Roff | Emily | University of Edinburgh (UK) | PhD student | https://www.maths.ed.ac.uk/~emilyroff/ | enriched category theory |
| Ros Camacho | Ana | Cardiff University (Wales) | Assistant Professor | https://sites.google.com/site/anaroscamacho/ | fusion and modular tensor categories |
| Schalk | Andrea | University of Manchester | Senior Lecturer | http://www.cs.man.ac.uk/~schalk/ | |
| Silva | Alexandra | Cornell University | Professor | alexandrasilva.org | software design, system of systems, software systems modeling, data management |
| Sobral | Manuela | Universidade de Coimbra | |||
| Srinivasan | Priyaa Varshinee | University of Calgary (Canada) | PhD Student | category theory and applications to quantum mechanics | |
| Tenorio | Ana Luiza | University of São Paulo (Brasil) | PhD Student | sheaves, quantales, sheaf cohomology | |
| Torzewska | Fiona | University of Leeds | PhD Student | topological quantum field theory, applied category theory, higher category theory | |
| VanDieren | Monica | Robert Morris University (USA) | University Professor of Mathematics | https://www.linkedin.com/in/monica-vandieren/ | model theory, category theory, research in undergraduate math and interdisciplinary education |
| Vasilakopoulou | Christina | University of Patras (Greece) | Researcher | https://thalis.math.upatras.gr/~cvasilak/ | monoidal categories, enriched categories, applications to systems theory |
| von Glehn | Tamara | DeepMind (UK) | Research Engineer | categorical logic, type theory | |
| Zangurashvili | Dali | A. Razmadze Math. Institute (Georgia) | Researcher | categorical algebra, descent theory | |
| Zorzi | Margherita | University of Verona | Assistant Professor | ||
| Zwart | Maaike | X | Postdoc | http://www.cs.ox.ac.uk/people/maaike.zwart/ | category theory, monads, universal algebra, logic |