Affiliation: Applied Mathematics and Systems Research Institute, UNAM
Doctoral candidate in the Logic Group at University College London. He previously studied Mathematics and Computer Science at UNAM’s Faculty of Sciences and Faculty of Engineering, respectively.
Research areas include: Monoidal theories; Diagrammatic reasoning through symmetric monoidal categories, with a special focus on synthetic probability (i.e., Markov categories); Logic.