I am a professor of the Federal Institute of Education, Science and Technology of Espírito Santo at Campus Serra. I teach mainly courses related to logic, discrete mathematics, theory of computation, functional programming, and data science. I earned my Doctoral degree in Education at the Universidad del Norte, and my Master in Informatics, and Computer Engineer degrees at the Universidade Federal do Espírito Santo.

I am also a member of the Techniques and Theory of Computation Research Group, Nu[TeC]². I am very passionate about computer science and have a wide range of interests, including functional and logic programming, formal methods, formal verification, artificial intelligence (both modern and classical methods), and data science. I also have a strong interest in education, especially in mathematics and computer science education at the high education level, and the use of games and gamification in education.


  • Data Science
  • Artificial Intelligence
  • Formal Methods
  • Games in Education


  • Ph.D. in Education, 2013

    Universidad del Norte

  • M.Sc. in Informatics, 2001

    Federal University of Espírito Santo

  • B.Eng. in Computer Engineering, 1995

    Federal University of Espírito Santo


Alumni Observatory

One of the responsibilities of higher education institutions in Brazil is to track the professional progress of their alumni. This project aims to automate this task by monitoring students' activity in social networks.

Automated Bibliometrics

Proposes to apply state of the art in artificial intelligence to extract and aggregate knowledge about technological information to inform the generation of a technical standard for licensing the industrial processes of handling and storage of post-processed ornamental rocks.


Aims to apply formal methods of software engineering and software verification to produce a reliable software platform for flight control of unmanned aerial vehicles.


This project aims to take advantage of sensor data and machine learning algorithms to predict and prevent breakout problems study of continuous casting steel.

Big Data Multibiometric

One possible approach to address the performance issues of large scale identification systems is to use light biometric measures to reduce the search space in a first step and apply strong biometric measures in a second identification step. This project aims to investigate this approach.

BR See Turtle

Aims to develop a mobile solution to identify and map the observations of sea turtle species that occur on the Brazilian coast, using machine learning algorithms for image recognition.

Mobile Word Diction

Development of a mobile app to assist people with dysphemia to practice the diction of selected words and improve life quality and self-confidence.


An active price monitor for web stores, assisting customers to compare products and prices.


NÊMESIS sought to develop a reference model for information, communication, and biometric technologies for technical and scientific police. The project is developed in cooperation with the Technical Police Secretariat of the State of Espírito Santo.

Recent Publications

Quickly discover relevant content by filtering publications.

Eye Movements Biometrics: a Bibliometric Analysis from 2004 to 2019

Person identification based on eye movements is getting more and more attention, as it is anti-spoofing resistant and can be useful for …

Prediction of the Iron Ore Pellet Abrasion Index using Random Forest

The current industry depends on technologies for the acquisition, communication and processing of massive volumes of data. Sometimes, …

A Study of Steganalysis Techniques in Stego-Images with Embedded Text with LSB

This work presents a comparative study of the efficiency of the StegExpose tool. StegExpose implements the LSB steganalysis methods: …

Texture Classification of Sea Turtle Shell based on Color Features: Color Histograms and Chromaticity Moments

A collaborative system for cataloging sea turtles activity that supports picture/video content demands automated solutions for data …

Gerenciamento de Informações com QR Code e Código Hash Criptográfico

The proposed system is a solution for a hybrid storage strategy, which involves the use of conventional (paper) and digital media at …

Recent & Upcoming Talks


Analysis and Complexity of Algorithms

This course is an introduction to models of computation, computability and complexity. She tries to present a vision of computer science beyond computers. That is, computer science as a set of mathematical tools to understand complex systems.

Special Topics in Artificial Intelligence II

Discipline aimed at complementing training on topics of fundamentals of computing for students of the master’s program from areas related to computing.

Advanced Programming Techniques

This course introduces students to the design and implementation of fundamental data structures and algorithms. The course covers basic data structures, search and ordering algorithms, basic analysis of algorithms.

Formal Languages and Autômata Theory

Automata theory is the study of abstract machines or automata, as well as computational problems that can be solved using these objects.

Recent Posts