Hi! I'm Ana Catarina and I just concluded my PhD in Applied Mathematics , a joint program of the Portuguese universities of Aveiro, Porto and Minho, where I studied “Proof Search in Natural Deduction with Partial Proof Terms”, under the supervision of José Espírito Santo.

I'm a collaborator member of LIACC – Artificial Intelligence and Computer Science Laboratory of the University of Porto. In parallel, I am an Invited Assistant Professor at the Faculty of Sciences of University of Porto, where I teach Discrete Mathematics and Theory of Computation.

My academic interests include proof search, proof theory, type theory and proof assistants.