Professor da FACIN – Faculdade de Informática
Teste e Confiabilidade de Sistemas (Engenharia de Computação)
Teoria da Computabilidade (Engenharia de Computação)
Lógica para Computação (Bacharelado em Ciência da Computação)
Paradigmas de Linguagens de Programação (Bacharelado em Ciência da Computação)
Teoria da Computação (Bacharelado em Sistemas de Informação)