The mentorship programme aims to team up young researchers with more senior women researchers in the CiE community, giving them an opportunity to learn from experience and develop a network. The programme originally operated only during the CiE conferences and was available to conference participants. The time of the pandemic helped us realize that mentoring does not need to be restricted to in-person communication. Furthermore, the need for developing a support system for young researchers in our community became pressingly clear.

We invite young researchers working within the scientific scope of the Association CiE and who would like to correspond with a more senior member of our community to apply by filling out the following form:

Application for prospective mentees.

We will consider applications on a continuous basis. To be eligible for this programme you need to have had some research experience or to be enrolled in a masters or PhD programme. Applicants are also invited to review the list of mentors that are currently participating in the program and indicate their top choices. The assignment of a mentor will be based on the applicants research interest and the availability of mentors.

If you are a woman and a senior researcher interested in becoming a mentor, please email: msoskova@math.wisc.edu

## List of mentors

**Paola Bonizzoni****University of Milano–Bicocca****Research interest: **

I work on algorithms in genome informatics. My research activity includes also questions in theoretical computer science related to combinatorial properties of graphs and sequences motivated by problems in computational biology. I also have fun dealing with more technical problems in formal languages and combinatorial optimization.

**Laura Crosilla ****University of Oslo ****Research interest: **I work in philosophy of mathematics and philosophy of logic. I am particularly interested in exploring philosophical questions related to constructivism and predicativity and the concept of infinity. I have a keen interest also in the history of logic and mathematics and in the philosophy of science more generally. I have worked in proof theory and constructive set theory.

**Liesbeth De MolUniversity of LilleResearch interest:** My general topic is the history, philosophy and foundations of computation. Foundational questions (eg: what does it mean to compute?) that are anchored in history but help to open up new avenues are of particular interest to me.

**Maribel FernandezKing’s College LondonResearch interest:** Development of tools for the specification, analysis and verification of systems (e.g., biochemical systems, financial systems, programming languages). I use rewrite-based techniques to study the foundations of computing and to analyse properties of software, in particular correctness and security properties.

**Johanna FranklinHofstra UniversityResearch interest:** I work on applications of computability theory to other areas of mathematics. I have worked in algorithmic randomness since I was a graduate student, but I also work in computable analysis and computable structure theory.

**Valentina HarizanovGeorge Washington University, Washington DCResearch interest:** I work in mathematical logic. Most of my research is in computability theory and its applications to algebraic structures, more specifically, computable model theory. I am also interested in

theoretical computer science, in particular, algorithmic learning theory and quantum computing.

**Juliette KennedyUniversity of HelsinkiResearch interest:** History, Foundations and philosophy of mathematics and set theory.

**Julia F. KnightUniversity of Notre DameResearch interest:** I work in mathematical logic. My main focus is computable structure theory. I particularly like results that link effectiveness with definability.

**Elvira MayordomoUniversity of ZaragozaResearch interest:** Algorithmic Information Theory, Algorithmic randomness, Computational Complexity, Algorithmic Fractal Dimensions, Computational Phylogenetics, and Computational Genomics.

**Laxmi ParidaIBM Fellow, IBM ResearchResearch interest:** Computational genomics, Cancer Genomics, Neurogenomics, Topological data analysis.

**Alexandra ShlapentokhEast Carolina UniversityResearch interest:** Model Theory, Computability Theory and Number Theory..

**Alexandra A. SoskovaSofia UniversityResearch interest:** My interests are in Mathematical Logic and especially in Computability theory and Computable structure theory. I am interested in the effective content of abstract structures, their degree spectra from the point of view of enumeration reducibility.

**Mariya I. SoskovaUniversity of Wisconsin–MadisonResearch interest:** I work in computability theory, effective mathematics and logic in general. Enumeration reducibility and the structure of the enumeration degrees hold a central place in my research. I particularly enjoy questions and results about first order definability.

**Sara UckelmanDurham UniversityResearch interest:** I work in modal logic, both modern approaches/techniques and

the history of the field. I am also interested in logic pedagogy.