I am accepting students. Get in touch by email (or Join the Category Theory Zulip and message me there). I’ll be happy to discuss project ideas with you and find a topic that fits our joint interests (Applied Category Theory, Graph Theory, Logic or Computational Complexity Theory).
My students tend to have backgrounds in mathematics or theoretical comuter science. However, this is not strictly necessary. If you are a student in computer science (BCC) at USP, I would reccomend taking the courses in math (e.g. category theory, abstract algebra) and anything in the Trilha de Teoria.
Current Students:
| Student | Level |
| Karina Sakurai | PhD (USP) |
| Jana Nickel | Mentee (PhD student in Hamburg) |
| Anny Beatriz de Azevedo | Mestrado (USP) |
| Eduardo Ferreira da Silva | Mestrado (USP) |
| Raian Pierre Cardoso Machado | Mestrado (USP) |
| Gustavo Freire | Iniciação Cientifica (UFRJ) |
| Caio Morais | Iniciação Cientifica – TCC (USP) |
| Lucas Francesco Gesteira | Iniciação Cientifica – TCC (USP) |
| Paulo Vítor Macedo Dias | Iniciação Cientifica (USP) |
| Daniel Ferreira Betoret | Iniciação Cientifica – TCC (USP) |
| Jackson Cook | Iniciação Cientifica (U. Florida) |
Past Students:
| Student | Level |
| Anthony Khoury | Masters (U. Florida) (co supervised w/ James Fairbanks) |
| Jamie Venne | Masters (T.U. Eindhoven) (co supervised w/ Bart Jansen) |
| Mansi Pai | BSc Thesis (BITS Pilani-Goa) |
| Rory Barnett | BSc Thesis (U. of Glasgow) |
Resources for students: