• Linguagens de Programação
  
• Verificação de Software
• Segurança de Software
• Modelos de Computação
• Lógica e Teoria de Tipos