Jefferson Oliveira Andrade

Jefferson O. Andrade got his Engineer degree in Computer Engineering in 1995, and a Master in Informatics degree in 2001, both degrees from the Federal University of Espirito Santo, Brazil. He has many years of experience as a team leader for software development projects, both for local and multinational companies in Brazil. From 2005 to 2008 he was a member of the Programming Logic Group at the University of Tsukuba, Japan. In 2013, profesor Andrade received his Ph.D. in Education from Universidad del Norte, in Paraguay, for his research about the application of gamification in the context of teaching Formal Logics and Formal Methods to undergraduate Information Systems students. Currently, Dr. Andrade is a full professor at the Department of Informatics of the Federal Institute for Education, Science and Technology of Espirito Santo (Ifes). His research interests include formal methods for software development, formal verification of systems, model checking, multi-valued and probabilistic logics, logics and formal methods teaching. He is currently a member of the Graduate Program in Applied Computing at Campus Serra of Ifes.

Jefferson O. Andrade recebeu o título de Engenheiro de Computação em 1995, e o título de Mestre em Informática em 2001, ambos pela Universidade Federal do Espírito Santo. Ele possui vários anos de experiência como líder de equipes em projetos de desenvolvimento de software, tanto em empresas locais quanto multinacionais no Brasil. De 2005 a 2008 foi membro do Programming Logic Group, na Universidade de Tsukuba, no Japão. Em 2013 recebeu seu Doutorado em Educação pela Universidad del Norte, no Paraguai (revalidado pela UFPR em 2016), pela sua pesquisa sobre a aplicação de gamificação no ensino de lógica formal a alunos de graduação do curso de Sistemas de Informação. Atualmente o Dr. Andrade é professor titular da Coordenadoria de Informática do Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Seus interesses de pesquisa incluem métodos formais de desenvolvimento de software, verificação formal de sistemas, verificação de modelos, lógicas multi-valoradas e probabilísticas, ensino de lógica e métodos formais. Atualmente é membro do Programa de Pós-graduação em Computação Aplicada do Campus Serra do Ifes.