publicações selecionadas capítulo de livro Partial Proof Terms in the Study of Idealized Proof Search 2024 documento Minimal Quantum Logic: a brief comparison with Classical Logic 2021 teses Sistemas Dedutivos para Lógica Quântica Minimal 2022
prémios e distinções Best application grade of Bachelor’s Degree in Mathematics (19.12/20), conferido pelo Universidade do Minho, 2015