Observatório de Egressos
Acompanhar o progresso profissional de ex-alunos de instituições de ensino superior, monitorando suas atividades nas redes sociais.
Biografia
Sou professor titular do Instituto Federal do Espírito Santo (Ifes), no Campus Serra, e docente do Programa de Pós-Graduação em Computação Aplicada (PPComp). Desenvolvo pesquisas em métodos formais, lógica e verificação de sistemas, inteligência artificial e ciência de dados.
Uma parte importante do meu trabalho é estabelecer conexões entre a academia e a indústria. Coordeno e participo de projetos de pesquisa e desenvolvimento em parceria com empresas, com aplicações em processos industriais e desafios de engenharia. Procuro combinar rigor científico com soluções que possam ser avaliadas em situações reais.
Sou um dos líderes do Núcleo de Estudos em Técnicas e Teoria da Computação (NuTTeC) e também atuo no ensino de lógica, teoria da computação e programação. Tenho formação em Engenharia de Computação e Mestrado em Informática pela Universidade Federal do Espírito Santo, Doutorado em Educação pela Universidad del Norte e Doutorado em Ciência da Computação pela Universidade de Tsukuba, no Japão.
Interesses
- Métodos Formais e Verificação de Sistemas
- Inteligência Artificial e Ciência de Dados
- Lógica e Representação do Conhecimento
- Aplicações Industriais de IA
Formação
- Doutorado em Ciência da ComputaçãoUniversity of Tsukuba2026
- Doutorado em EducaçãoUniversidad del Norte2013
- Mestrado em InformáticaUniversidade Federal do Espírito Santo2001
- Engenharia de ComputaçãoUniversidade Federal do Espírito Santo1995
