Luiz Cláudio Frederico Fernandez

He has Bachelor's degree in Mathematics and Earth Sciences from Federal University of Rio de Janeiro (2014) and Master's degree in Artificial Intelligence at the Department of Systems Engineering and Computer Science (2018), coordinated by Alberto Luiz Coimbra Institute of Post-Graduation and Research in Engineering (Coppe). Currently, he is an adjunct professor at Fluminense Federal University (UFF) and doctoral student in Artificial Intelligence at PESC, where he was a doctoral fellow of Coordination for the Improvement of Higher Education Personnel (CAPES) from 2018 to 2022. He has experience in Computer Science, focusing on Logics and Program Semantics and Programming Languages.

Possui Bacharelado em Ciências Matemática e da Terra pela Universidade Federal do Rio de Janeiro (2014) e Mestrado na linha de pesquisa de Inteligência Artificial pelo Programa de Engenharia de Sistemas e Computação (2018), coordenado pelo Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia (Coppe). Atualmente, é Professor do Magistério Superior Substituto na Universidade Federal Fluminense (UFF) e aluno de Doutorado na linha de pesquisa de Inteligência Artificial do PESC, sendo bolsista de Doutorado da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) entre 2018 e 2022. Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas e Linguagens de Programação.