Estou trabalhando na área de Lógica e Teoria da Computação no grupo de Teoria, sendo orientado pelo professor Ruy Queiroz e pela professora Anjolina.

Neste link, menciono minhas áreas de interesse e/ou atuação.