FREDERICO LUIZ GONCALVES DE FREITAS CONCLUIU O DOUTORADO EM ENGENHARIA ELETRICA PELo DEPARTAMENTO DE AUTOMAÇÃO E SISTEMAS DA UNIVERSIDADE FEDERAL DE SANTA CATARINA EM 2002, TENDO SE GRADUADO PELO CURSO SUPERIOR DE TECNOLOGIA DE COMPUTACAO DO INSTITUTO TECNOLOGICO DE AERONAUTICA (ITA) EM 1984. ATUALMENTE E PROFESSOR TITULAR DO CENTRO DE INFORMATICA DA UNIVERSIDADE FEDERAL DE PERNAMBUCO. DESENVOLVEU O 1o. CALCULO PARA LOGICA DE DESCRICOES E O 1o. RACIOCINADOR BRASILEIRO (E ATE´AGORA UNICO) PARA A WEB SEMANTICA. COORDENA/OU E PARTICIPA/OU DE VÁRIOS PROJETOS DE PESQUISA INTERNACIONAIS COM UNIVERSIDADES EUROPÉIAS. ORGANIZOU VÁRIOS EVENTOS CIENTIFICOS INTERNACIONAIS E 4 EDIÇÕES ESPECIAIS EM PERIODICOS, SENDO 3 DELAS DE CIRCULACAO INTERNACIONAL. ATUA NA AREA DE CIENCIA DA COMPUTACAO, COM ENFASE EM INTELIGENCIA ARTIFICIAL E TEORIA DA COMPUTACAO. EM SEU CURRICULO OS TERMOS MAIS FREQUENTES SAO: ONTOLOGIAS, RECUPERACAO DE INFORMACAO, INTELIGENCIA ARTIFICIAL SIMBOLICA, RACIOCÍNIO AUTOMÁTICO EM LÓGICA DE DESCRIÇÕES E WEB SEMANTICA.
Formação acadêmica/profissional (Onde obteve os títulos, atuação profissional, etc.)
Profesoor Titular, CIn, UFPE, 2022 Professor Adjunto, CIn, UFPE, 2005 Pós-doutorado - 2023 - KAUST (King Abdullah University of Science and Technoology), Arábia Saudita Pós-doutorado - 2009-2011 - Universidade de Mannheim, Alemanha Doutorado em Eng. Elétrica - 2002 - UFSC, com período sanduíche na Universidade de Karlsruhe, ALemanha Graduação pelo Curso Superior de Tecnologia de Computação - 1984 - ITA
Áreas de Interesse
(áreas de interesse de ensino e pesquisa)
Ontologias Inteligência Artificial Simbólica Raciocínio Automático Teoria da Computação Lógica