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 computer science. However, this is not strictly necessary. If you are a student in computer science (BCC) at USP, I would recommend taking the courses in math (e.g. category theory, abstract algebra) and anything in the Trilha de Teoria.
Current Students:
| Student | Level |
| Jana Nickel | Mentee (PhD student in Hamburg) |
| Anny Beatriz de Azevedo | PhD (USP) |
| Raian Pierre Cardoso Machado | Mestrado (USP) |
| Karina Sakurai | Student Research Assistant (USP) |
| Gustavo Freire | Iniciação Cientifica (UFRJ) |
| Lucas Francesco Gesteira | Iniciação Cientifica – TCC (USP) |
| Paulo Vítor Macedo Dias | Iniciação Cientifica (USP) |
| Jackson Cook | Iniciação Cientifica (U. Florida) |
Past Students:
| Student | Level |
| Daniel Ferreira Betoret | Iniciação Cientifica – TCC (USP) |
| 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: