Women in Computability Mentorship Programme

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 Mol
University of Lille
Research 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 Fernandez
King’s College London
Research 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 Franklin
Hofstra University
Research 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 Harizanov
George Washington University, Washington DC
Research 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 Kennedy
University of Helsinki
Research interest:
 History, Foundations and philosophy of mathematics and set theory.


Julia F. Knight
University of Notre Dame
Research interest:
I work in mathematical logic.  My main focus is computable structure theory.  I particularly like results that link effectiveness with definability.


Elvira Mayordomo
University of Zaragoza
Research interest:
Algorithmic Information Theory, Algorithmic randomness, Computational Complexity, Algorithmic Fractal Dimensions, Computational Phylogenetics, and Computational Genomics.


Laxmi Parida
IBM Fellow, IBM Research
Research interest:
Computational genomics,  Cancer Genomics,  Neurogenomics, Topological data analysis.


Alexandra Shlapentokh
East Carolina University
Research interest:
Model Theory, Computability Theory and Number Theory..


Alexandra A. Soskova
Sofia University
Research 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. Soskova
University of Wisconsin–Madison

Research 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 Uckelman
Durham University

Research interest:
I work in modal logic, both modern approaches/techniques and
the history of the field. I am also interested in logic pedagogy.