About

I am doing a PhD in the Department of Computer Science at University College London. My advisor is Simone Severini, whose advisor was Richard Jozsa. I am interested in the mathematical foundations of theoretical computer science, specifically in the connections between graph theory and logic. I am part of the computer science quantum interest group. I gave a talk at the 23rd  Workshop on Language, Logic, Information and Computation about the Descriptive Complexity of Graph Spectra. I was invited as a visiting student to the program Logical Structures in Computation organised by the Simons Institute at UC Berkeley. My academic email address is ucaboza@ucl.ac.uk.

This sentence contains my link to the arXiv.

Advertisements