Aspectos formais de segurança da informação, criptografia, privacidade e transparência2 pesq. · 10 estud.
Métodos formais e automatização de raciocínio2 pesq. · 6 estud.
Teoria dos grafos e seus aspectos algorítmicos, algébricos e geométricos14 pesq. · 31 estud.