I am a Full Professor at the Federal Institute of Espírito Santo (Ifes), Serra Campus, and a faculty member of the Graduate Program in Applied Computing (PPComp). My research spans formal methods, logic and system verification, artificial intelligence, and data science.
An important part of my work is building connections between academia and industry. I lead and participate in research and development projects with industry partners, applying computational methods to industrial processes and engineering challenges. I aim to combine scientific rigor with solutions that can be evaluated in real-world settings.
I co-lead the Theory and Techniques of Computation Research Group (NuTTeC) and teach subjects including logic, theory of computation and programming. I hold a degree in Computer Engineering and an M.Sc. in Informatics from the Federal University of Espírito Santo, a Ph.D. in Education from Universidad del Norte, and a Ph.D. in Computer Science from the Graduate School of Science and Technology of the University of Tsukuba, Japan. I am currently pursuing a Ph.D. in Philosophy at the Federal University of Espírito Santo, with completion expected in 2027.
Proposal for high-performance computing and artificial intelligence infrastructure at Ifes Serra Campus to support applied research and technological collaboration with industry.
Integration of information on rural properties in Espírito Santo to support the assessment and validation of Rural Environmental Registry (CAR) records.
Geographic and temporal exploration of Brazil’s ENEM public microdata across the 78 municipalities of Espírito Santo.
Conference paper presentation at CLEI Software 2024, delivered on behalf of the authors of a study on how non-UX professionals use wireflows.
Conference paper presentation at CLEI 2024 on neuroevolution for forecasting gas consumption in steelmaking.
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.
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.
Automata theory is the study of abstract machines or automata, as well as computational problems that can be solved using these objects.
Discipline aimed at complementing training on topics of fundamentals of computing for students of the master's program from areas related to computing.
