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 Teoria e Técnicas 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 Faculdade de Pós-Graduação em Ciência e Tecnologia da Universidade de Tsukuba, no Japão. Atualmente curso Doutorado em Filosofia na UFES, com conclusão prevista para 2027.
Proposta de infraestrutura de computação de alto desempenho e inteligência artificial no Ifes Campus Serra para pesquisa aplicada e colaboração tecnológica com a indústria.
Integração de informações sobre imóveis rurais no Espírito Santo para apoiar a análise e a validação de registros do Cadastro Ambiental Rural (CAR).
Análise e visualização territorial dos microdados do ENEM para os 78 municípios do Espírito Santo, incluindo sua evolução temporal.
Apresentação de artigo na sessão CLEI Software de 2024, realizada em nome dos autores do trabalho sobre a utilização de wireflows por profissionais não especializados em UX.
Apresentação de artigo no CLEI 2024 sobre neuroevolução aplicada à previsão do consumo de gás em processos siderúrgicos.
Apresentação do coordenador do curso aos alunos ingressantes no Bacharelado de Sistemas de Informação do Campus Serra do Ifes, no semestre 2021/2.
Esta disciplina é uma introdução aos modelos de computação, computabilidade e complexidade. Ela tenta apresentar uma visão da ciência da computação para além dos computadores. Isto é, a ciência da computação como um conjunto de ferramentas matemáticas para entender sistemas complexos.
Disciplina voltada para a complementação da formação em tópicos de fundamentos da computação para alunas do programa de mestrado oriundos de áreas afins à computação.
Teoria dos autômatos é o estudo das máquinas abstratas ou autômatos, bem como problemas computacionais que podem ser resolvidos usando esses objetos.
Esta disciplina apresenta aos alunos o design e a implementação de estruturas de dados e algoritmos fundamentais. A disciplina abrange estruturas de dados básicas, algoritmos de busca e ordenação, análise básica de algoritmos.
