Teoria

Criptografia

Teoria de linguagens

Teoria dos grafos

Verificação formal