If you are interested in working with our research group, feel free to contact us. Please indicate which of our research topics are of interest to you and why you believe that we are an appropriate group to host you.
Proposals for internships
PhD offers
- Automated Reasoning for Set Theory (Fall 2022)