Rede de Colaboração
Diretório de grupos de pesquisa |
Fernando Náufel do Amaral possui graduação em Informática pela Universidade Federal Fluminense (1997), mestrado em Informática (Teoria da Computação) pela Pontifícia Universidade Católica do Rio de Janeiro (2000) e doutorado em Informática (Teoria da Computação) pela Pontifícia Universidade Católica do Rio de Janeiro (2004). Atualmente é professor adjunto da Universidade Federal Fluminense. Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Representação de Conhecimento, atuando principalmente nos seguintes temas: lógicas de descrição, ontologias e visualização de informações.
Última
atualização do currículo em 30/03/2011
Endereço para acessar este CV: http://lattes.cnpq.br/0641003015499372 |
Dados pessoais
| Nome | Fernando Náufel do Amaral |
| Nome em citações bibliográficas | Fernando Náufel do Amaral |
| Sexo | Masculino |
| Endereço profissional | Universidade Federal Fluminense, PURO - Pólo Universitário de Rio das Ostras, DCT - Depto. de Ciência e Tecnologia. Rua Recife, quadra 7, lotes 1 ao 7 e 22 Jardim Bela Vista 28890-000 - Rio das Ostras, RJ - Brasil Telefone: (22) 27600848 URL da Homepage: http://fnaufel.wordpress.com |
Formação acadêmica/Titulação
| 2000 - 2004 | Doutorado em Informática
.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil. Título: Teoria de Modelos para Heurísticas Baseada em Topoi, Ano de Obtenção: 2004. Orientador:  Edward Hermann Haeusler.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior . Palavras-chave: Busca heurística; Teoria de problemas; Teoria de modelos; Teoria das categorias; Teoria local de conjuntos; Teoria de topoi. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação. Setores de atividade: Informática. |
| 1997 - 2000 | Mestrado em Informática
.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil. Título: RETOOL: uma Lógica de Ações para Sistemas de Transição Temporizados (DISSERTAÇÃO APROVADA COM LOUVOR), Ano de Obtenção: 2000. Orientador: Edward Hermann Haeusler.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior . Palavras-chave: Sistemas Reativos; Sistemas de Tempo Real; Lógica Dinâmica; Lógica Temporal; Sistemas de Transição Temporizados; Especificação e Verificação Formal de Software. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas. Setores de atividade: Informática. |
| 1987 - 1997 | Graduação em Informática
.
Universidade Federal Fluminense, UFF, Brasil. Título: Tradução de Estruturas de Controle para Sistemas de Tempo Real em Linguagens Orientadas a Objetos. Orientador: Luiz Carlos Castro Guedes. |
Formação complementar
| 1996 - 1996 | Iniciação Científica.
(Carga horária: 20h). Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro, FAPERJ, Brasil. |
Atuação profissional
| Universidade do Estado do Rio de Janeiro, UERJ, Brasil. |
| Vínculo institucional |
| 2006 - 2006 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 20 |
| Atividades |
| 2/2006 - 9/2006 | Ensino, Bacharelado Em Informática e Tecnologia da Informa, Nível: Graduação. |
| Disciplinas ministradas Compiladores 2 Introdução ao Processamento de Dados |
| Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil. |
| Vínculo institucional |
| 2006 - 2007 | Vínculo: Colaborador, Enquadramento Funcional: Colaborador, Carga horária: 10 |
| Vínculo institucional |
| 2005 - 2006 | Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Bolsista DTI, Carga horária: 30 |
| Outras informações | Atuação no Projeto ANUBIS do Laboratório de Tecnologia e Métodos Formais (TecMF) do Depto. de Informática. |
| Vínculo institucional |
| 2000 - 2006 | Vínculo: Celetista, Enquadramento Funcional: Professor adjunto, Carga horária: 14 |
| Vínculo institucional |
| 1996 - 2000 | Vínculo: Colaborador, Enquadramento Funcional: Colaborador, Carga horária: 10 |
| Atividades |
| 10/2005 - 10/2006 | Atividades de Participação em Projeto, Centro Técnico-Científico, Departamento de Informática. |
|
Projetos de pesquisa ANUBIS: um Framework para Análise Formal de Sistemas Multi-agente para Segurança da Informação (TecMF - Laboratório de Tecnologia e Métodos Formais) |
| 1/2005 - 9/2006 | Atividades de Participação em Projeto, Centro Técnico-Científico, Departamento de Informática. |
|
Projetos de pesquisa ProUD - Um Ambiente Integrado para Desenvolvimento e Utilização de Provadores de Teoremas (TecMF - Laboratório de Tecnologia e Métodos Formais) |
| 3/2000 - 9/2006 | Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática. |
|
Linhas de pesquisa Métodos Formais em Engenharia de Software Modelos para Heurísticas Baseados em Teoria das Categorias |
| 3/2000 - 9/2006 | Ensino, Bacharelado Em Informática, Nível: Graduação. |
| Disciplinas ministradas Estruturas Discretas (1 semestre) Ferramentas do UNIX (1 semestre) Linguagens e Máquinas (4 semestres) Lógica (2 semestres) Projeto e Análise de Algoritmos (2 semestres) Técnicas de Programação I (1 semestre) Tópicos Avançados em Programação -- Java (4 semestres) |
| 3/2000 - 9/2006 | Ensino, Engenharia da Computação, Nível: Graduação. |
| Disciplinas ministradas Estruturas de Dados (1 semestre) Linguagens Formais e Teoria da Computação (4 semestres) |
| 3/2000 - 3/2003 | Atividades de Participação em Projeto, Centro Técnico-Científico, Departamento de Informática. |
|
Projetos de pesquisa MEFIA - Mathematical and Engineering Foundations for Interoperability via Architecture (TecMF - Laboratório de Tecnologia e Métodos Formais) |
| 9/1996 - 7/1999 | Atividades de Participação em Projeto, Centro Técnico-Científico, Departamento de Informática. |
|
Projetos de pesquisa ARTS - Architecture of Real-Time Systems (LMF - Laboratório de Métodos Formais) |
| Fundação Getúlio Vargas - RJ, FGV-RJ, Brasil. |
| Vínculo institucional |
| 2000 - 2000 | Vínculo: Colaborador, Enquadramento Funcional: Professor, Carga horária: 20 |
| Atividades |
| 11/2000 - 12/2000 | Ensino, Tecnologia da Informação para o DATASUS, Nível: Especialização. |
| Disciplinas ministradas Fundamentos Técnicos de Informática - Uma Revisão para Profissionais (1 período) |
| Universidade Federal Fluminense, UFF, Brasil. |
| Vínculo institucional |
| 2006 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 1999 - 2000 | Vínculo: Celetista, Enquadramento Funcional: Professor substituto, Carga horária: 20 |
| Atividades |
| 2010 - Atual | Atividades de Participação em Projeto, PURO - Pólo Universitário de Rio das Ostras, DCT - Depto. de Ciência e Tecnologia. |
|
Projetos de pesquisa Linguagens Visuais para Tarefas Relacionadas a Ontologias Formais Relações Mereológicas em Ontologias Formais |
| 01/2009 - Atual | Atividades de Participação em Projeto, PURO - Pólo Universitário de Rio das Ostras, DCT - Depto. de Ciência e Tecnologia. |
|
Projetos de pesquisa Coordenação do Laboratório de Lógica e Representação do Conhecimento (LLaRC) |
| 03/2008 - Atual | Conselhos, Comissões e Consultoria, PURO - Pólo Universitário de Rio das Ostras, . |
|
Cargo ou função
Membro do Colegiado do Curso de Graduação em Ciência da Computação. |
| 10/2006 - Atual | Pesquisa e desenvolvimento , PURO - Pólo Universitário de Rio das Ostras, DCT - Depto. de Ciência e Tecnologia. |
|
Linhas de pesquisa Lógicas de Descrição e Ontologias |
| 10/2006 - Atual | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Computação e Sociedade (1 semestre) Análise Combinatória e Teoria dos Números (1 semestre) Compiladores (3 semestres) Inteligência Artificial (2 semestres) Linguagens Formais e Teoria da Computação (7 semestres) Lógica para Ciência da Computação (6 semestres) Programação Orientada a Objetos com Java (1 semestre) |
| 2006 - Atual | Atividades de Participação em Projeto, PURO - Pólo Universitário de Rio das Ostras, DCT - Depto. de Ciência e Tecnologia. |
| 11/2008 - 02/2011 | Outras atividades técnico-científicas , PURO - Pólo Universitário de Rio das Ostras, DCT - Depto. de Ciência e Tecnologia. |
|
Atividade realizada Professor Responsável pelo Laboratório de Ensino do Curso de Ciência da Computação. |
| 10/2009 - 03/2010 | Conselhos, Comissões e Consultoria, PURO - Pólo Universitário de Rio das Ostras, DCT - Depto. de Ciência e Tecnologia. |
|
Cargo ou função
Membro da Comissão de Avaliação de Docente. |
| 03/2007 - 12/2009 | Atividades de Participação em Projeto, PURO - Pólo Universitário de Rio das Ostras, DCT - Depto. de Ciência e Tecnologia. |
|
Projetos de pesquisa Explicando Provas em Lógicas de Descrição |
| 12/2008 - 08/2009 | Direção e administração, PURO - Pólo Universitário de Rio das Ostras, DCT - Depto. de Ciência e Tecnologia. |
| Cargo ou função Subcoordenador do curso de graduação em Ciência da Computação. |
| 02/2009 - 07/2009 | Direção e administração, PURO - Pólo Universitário de Rio das Ostras, DCT - Depto. de Ciência e Tecnologia. |
| Cargo ou função Subchefe do Departamento de Ciência e Tecnologia. |
| 03/2008 - 07/2009 | Ensino, Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas Lógicas de Descrição - Teoria e Aplicações (1 semestre) Teoria da Computação (1 semestre) |
| 01/2007 - 03/2009 | Conselhos, Comissões e Consultoria, PURO - Pólo Universitário de Rio das Ostras, DCT - Depto. de Ciência e Tecnologia. |
|
Cargo ou função
Presidente da Comissão de Avaliação de Projetos de Ensino, Pesquisa e Extensão. |
| 03/2008 - 12/2008 | Pesquisa e desenvolvimento , Centro Tecnológico, ADDLabs - Laboratório de Documentação Ativa e Design Inteligente. |
|
Linhas de pesquisa Visualização de Informações em Ontologias |
| 2008 - 2008 | Atividades de Participação em Projeto, Centro de Estudos Gerais, Instituto de Computação. |
|
Projetos de pesquisa BM - Bombeio Mecânico |
| 03/2007 - 12/2007 | Extensão universitária , PURO - Pólo Universitário de Rio das Ostras, DCT - Depto. de Ciência e Tecnologia. |
|
Atividade de extensão realizada Curso Básico de Editoração Eletrônica Usando LaTeX. |
| 04/2007 - 11/2007 | Conselhos, Comissões e Consultoria, PURO - Pólo Universitário de Rio das Ostras, DCT - Depto. de Ciência e Tecnologia. |
|
Cargo ou função
Integrante da Comissão de Elaboração do Ciclo Básico do DCT. |
| 1/2000 - 12/2000 | Ensino, Gerência de Tecnologia Em Informação, Nível: Especialização. |
| Disciplinas ministradas Administração de Redes (2 períodos) |
| 2/1999 - 1/2000 | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Inteligência Artificial (2 semestres) Linguagens Formais e Teoria da Computação (1 semestre) |
| 2/1999 - 1/2000 | Ensino, Engenharia Civil, Nível: Graduação. |
| Disciplinas ministradas Introdução à Informática (1 semestre) |
Linhas de Pesquisa
| 1. | Lógicas de Descrição e Ontologias |
| Objetivos: Investigar a fundamentação e a aplicação de Lógicas de Descrição e Ontologias em representação de conhecimento, com ênfase em cálculos dedutivos e geração de explicações.. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Inteligência Artificial. Setores de atividade: Informática. Palavras-chave: Lógica de descrição; Modelagem conceitual; Ontologias; Representação de Conhecimento; Dedução Automática. |
| 2. | Visualização de Informações em Ontologias |
| Objetivos: Desenvolver técnicas de representação e apresentação interativa de conhecimento armazenado em ontologias.. Palavras-chave: Interação Humano-Computador; Ontologias; Representação de Conhecimento; Visualização de informações. |
| 3. | Métodos Formais em Engenharia de Software |
| Objetivos: Desenvolver e aplicar técnicas formais para especificação, desenvolvimento e verificação de sistemas computacionais. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software. Setores de atividade: Desenvolvimento de Programas (Software). Palavras-chave: Especificação e Verificação Formal de Software; Engenharia de Software Auxiliada por Computador; Lógica. |
| 4. | Modelos para Heurísticas Baseados em Teoria das Categorias |
| Objetivos: Desenvolver modelos matemáticos, baseados em teoria das categorias (mais especificamente, teoria de topoi) para estratégias heurísticas de resolução de problemas. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação. Setores de atividade: Desenvolvimento de Programas (Software). Palavras-chave: Busca heurística; Teoria das categorias; Teoria de modelos; Teoria de problemas; Teoria de topoi; Teoria local de conjuntos. |
Projetos de Pesquisa
| 2010 - Atual | Linguagens Visuais para Tarefas Relacionadas a Ontologias Formais |
| Descrição: O projeto objetiva estudar e desenvolver linguagens diagramá- ticas para executar tarefas comuns em ontologias formais, como vi- sualização de conceitos em lógicas de descrição, consultas visuais e exploração de modelos de bases de conhecimento.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Fernando Náufel do Amaral - Coordenador. Número de produções C, T & A: 2. |
| 2010 - Atual | Relações Mereológicas em Ontologias Formais |
| Descrição: O projeto investiga a formalização de relações mereológicas em diversas linguagens lógicas, estudando sistematicamente os impactos do mapeamento de linguagens mais expressivas para linguagens menos expressivas (como OWL).. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Giancarlo Guizzardi - Integrante / Fernando Náufel do Amaral - Coordenador. . |
| 2008 - 2008 | BM - Bombeio Mecânico |
| Descrição: O projeto envolve o estudo e desenvolvimento de sistema de detecção de falhas em bombas. Parte da pesquisa envolve a modelagem de domínio como ontologia, e a derivação de modelos do sistema (dados e classes) a partir desta. Além disso, o projeto envolve o estudo de soluções de visualização de dados discretos e geração automática de explicações das falhas ocorridas.. Situação: Concluído; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 1) / Mestrado acadêmico ( 2) . Integrantes: Ana Cristina Bicharra Garcia - Coordenador / Fernando Náufel do Amaral - Integrante. Financiador(es): Petróleo Brasileiro - Rio de Janeiro - Matriz - Cooperação.. |
| 2007 - 2009 | Explicando Provas em Lógicas de Descrição |
| Descrição: Este projeto visa estudar maneiras de apresentar e explicar provas formais em lógicas de descrição (DL) a usuários sem treinamento específico em lógica ou dedução automática. Com este fim, aborda tanto questões relativas à construção de provas em diferentes cálculos dedutivos para DL quanto questões relativas à estruturação e à apresentação das explicações.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 1) / Doutorado ( 1) . Integrantes: Carlos Bazílio - Integrante / Ana Isabel de Azevedo Spinola Dias - Integrante / Luiz Guilherme Oliveira dos Santos - Integrante / Fernando Náufel do Amaral - Coordenador. Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro - Auxílio financeiro. Número de produções C, T & A: 7 / Número de orientações: 1. |
| 2007 - Atual | Coordenação do Laboratório de Lógica e Representação do Conhecimento (LLaRC) |
| Descrição: Nucleo de pesquisa criado em 2007, cadastrado nas bases censitarias do CNPq.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 3) . Integrantes: Carlos Bazílio - Integrante / Ana Isabel de Azevedo Spinola Dias - Integrante / Adriana Pereira de Medeiros - Integrante / Eduardo Nahum Ochs - Integrante / Flavia Cristina Bernardini - Integrante / Marcelo Fagundes Felix - Integrante / Antonio Esposito Junior - Integrante / Fernando Náufel do Amaral - Coordenador. Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro - Auxílio financeiro. Número de produções C, T & A: 4. |
| 2005 - 2007 | ANUBIS: um Framework para Análise Formal de Sistemas Multi-agente para Segurança da Informação (TecMF - Laboratório de Tecnologia e Métodos Formais) |
| Descrição: O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela empresa Módulo Security S.A., incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. Esta abordagem será utilizada em estudos de caso no nível de SI convencional (software) e SI organizacional (software + organização humana/empresarial) fornecidos pela Módulo Security S.A.
(Processo CNPq 550652/2005-1). Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 1) / Especialização ( 0) / Mestrado acadêmico ( 3) / Mestrado profissionalizante ( 0) / Doutorado ( 3) . Integrantes: Edward Hermann Haeusler - Coordenador / Fernando Náufel do Amaral - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Módulo Security S A - Cooperação. Número de produções C, T & A: 1. |
| 2005 - 2006 | ProUD - Um Ambiente Integrado para Desenvolvimento e Utilização de Provadores de Teoremas (TecMF - Laboratório de Tecnologia e Métodos Formais) |
| Descrição: O projeto tem por objetivo examinar questões relativas à interação de usuários com assistentes de prova e provadores semi-automáticos de teoremas, além de desenvolver técnicas que permitam a integração, no contexto da plataforma Eclipse, de uma interface flexível com uma máquina de inferência genérica. Situação: Desativado; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 3) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Fernando Náufel do Amaral - Coordenador. Número de produções C, T & A: 1 / Número de orientações: 2. |
| 2000 - 2003 | MEFIA - Mathematical and Engineering Foundations for Interoperability via Architecture (TecMF - Laboratório de Tecnologia e Métodos Formais) |
| Descrição: Desenvolvimento da fundamentação matemática necessária para integrar, de maneira coerente e rigorosa, descrições arquiteturais expressas em formalismos diversos, em diferentes níveis de abstração. Com base nesta fundamentação, o projeto tenciona produzir um método para projeto e desenvolvimento de sistemas com a característica de interoperabilidade entre diferentes formalismos. Atividades realizadas: desenvolvimento da linguagem de especificação de sistemas de tempo real RT-CommUnity, baseada em Teoria das Categorias. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Edward Hermann Haeusler - Coordenador / Fernando Náufel do Amaral - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / National Science Foundation - Cooperação. Número de produções C, T & A: 3. |
| 1996 - 1999 | ARTS - Architecture of Real-Time Systems (LMF - Laboratório de Métodos Formais) |
| Descrição: Investigação de técnicas e formalismos para permitir a inclusão de módulos de verificação formal em ferramentas CASE para projeto e desenvolvimento de sistemas de tempo real orientados a objetos. Atividades realizadas: desenvolvimento de programas na linguagem TXL para geração de código através de transformações, com o objetivo de implementar um protótipo da ferramenta descrita. Definição e prova de completude de RETOOL, uma lógica de ações de tempo real utilizada no módulo de verificação formal descrito. Situação: Concluído; Natureza: Desenvolvimento. Integrantes: Armando Haeberer - Coordenador / Fernando Náufel do Amaral - Integrante. Número de produções C, T & A: 9. |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação /
Especialidade: Lógicas e Semântica de Programas. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação /
Especialidade: Computabilidade e Modelos de Computação. |
| 3. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação /
Especialidade: Linguagem Formais e Autômatos. |
Idiomas
| Inglês | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
| Francês | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
| Espanhol | Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente. |
| Alemão | Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco. |
Prêmios e títulos
| 2005 | Aprovação em terceiro lugar em concurso público para professor adjunto do Depto. de Ciência da Computação da UFF (Universidade Federal Fluminense), Niterói, RJ, conforme publicado no D.O.U. de 26/09/2005, seção 3, página 27, . |
| 2005 | Aprovação em primeiro lugar em concurso público para professor adjunto do Depto. de Ciência da Computação e Informática da UERJ (Universidade do Estado do Rio de Janeiro), conforme publicado no D.O.E.R.J. n. 203, de 28/10/2005, pp. 72-73, . |
| 2004 | Aprovação em primeiro lugar em concurso público para professor adjunto do Depto. de Computação da UnB (Universidade de Brasília), conforme publicado no D.O.U. de 21/07/2004, seção 2, página 10, n. 922, . |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |   Fernando Náufel do Amaral ; HAEUSLER, Edward Hermann . Using the Internal Logic of a Topos to Model Search Spaces for Problems. Logic Journal of the IGPL , v. AA, p. Sept 26 2007, 2007. |
| 2. | Fernando Náufel do Amaral ; HAEUSLER, Edward Hermann . A Logic-Based Approach for Real-Time Object-Oriented Software Development. Revista de Informática Teórica e Aplicada, RS, Brasil, v. VII, n. 1, p. 69-88, 2000. |
| 3. | Fernando Náufel do Amaral ; HAEUSLER, Edward Hermann . Completeness of an Action Logic for Timed Transition Systems. Bulletin of the Section of Logic, Lodz, Polônia, v. 29, n. 4, p. 151-160, 2000. |
| Trabalhos completos publicados em anais de congressos |
| 1. | Fernando Náufel do Amaral . Usability of a Visual Language for DL Concept Descriptions. In: The Fourth International Conference on Web Reasoning and Rule Systems, 2010, Brixen/Bressanone, Itália.
Proceedings of the Fourth International Conference on Web Reasoning and Rule Systems, Bressanone/Brixen, Italy (LNCS). Berlim :
Springer, 2010. v. 6333. p. 27-41. |
| 2. | Fernando Náufel do Amaral . Usabilidade de uma Notação Diagramática para Descrições de Conceitos. In: III Seminário de Pesquisa em Ontologia no Brasil, 2010, Florianópolis, SC. III Seminário de Pesquisa em Ontologia no Brasil. Florianópolis, SC : UFSC, 2010. |
| 3. | MACHADO, A. ; Fernando Náufel do Amaral ; CLUA, E. W. G. . A Trivial Study Case of the Application of Ontologies in Electronic Games. In: Conferencia de Ciências e Artes dos Videojogos, 2009, Aveiro. Actas da Conferencia de Ciências e Artes dos Videojogos, 2009. |
| 4. | Fernando Náufel do Amaral ; BAZÍLIO, Carlos . Visualization of Description Logic Models. In: The 21st International Workshop on Description Logics, 2008, Dresden.
The 21st International Workshop on Description Logics, 2008. |
| 5. | Fernando Náufel do Amaral . Visualização de Descrições de Conceitos em OWL. In: Seminário de Pesquisa em Ontologia no Brasil, 2008, Niterói. Seminário de Pesquisa em Ontologia no Brasil, 2008. |
| 6. | Fernando Náufel do Amaral . Visualizing the Semantics (Not the Syntax) of Concept Descriptions. In: VI Workshop em Tecnologia da Informação e da Linguagem Humana (TIL), 2008, Vila Velha.
VI Workshop em Tecnologia da Informação e da Linguagem Humana, 2008. |
| 7. | SILVA, Geiza Maria Hamazaki da ; RADEMAKER, Alexandre ; VASCONCELOS, D. R. ; Fernando Náufel do Amaral ; BAZÍLIO, Carlos ; GONCALVES, V. ; HAEUSLER, Edward Hermann . Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study. In: 3rd Australasian Ontology Workshop (AOW-07), 2007, Gold Coast. Conferences in Research and and Practice in Information Technology (CRPIT), 2007. v. 85. |
| 8. | Fernando Náufel do Amaral ; HAEUSLER, Edward Hermann . Topos-Based Logical Frameworks and an Application to (Meta)Heuristic Search. In: LSFA - Brazilian Workshop on Logical and Semantic Frameworks, with Applications, 2006, Natal, RN. Topos-Based Logical Frameworks and an Application to (Meta)Heuristic Search, 2006. |
| 9. | Fernando Náufel do Amaral ; BAZÍLIO, Carlos ; SILVA, Geiza Maria Hamazaki da ; RADEMAKER, Alexandre ; HAEUSLER, Edward Hermann . An Ontology-based Approach to the Formalization of Information Security Policies. In: VORTE - Workshop on Vocabularies, Ontologies, and Rules for the Enterprise, 2006, Hong Kong.
10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06). Los Alamitos, CA, USA :
IEEE Computer Society, 2006. v. 0. |
| 10. | Fernando Náufel do Amaral ; HAEUSLER, Edward Hermann ; ENDLER, M. . A Real-time Specification Language. In: LAPTEC - Logic Applied to Technology, 2002, São Paulo. Advances in Logic, Artificial Intelligence and Robotics - LAPTEC 2002. Amsterdam : IOS Press, 2002. p. 194-201. |
| 11. | Fernando Náufel do Amaral ; HAEUSLER, Edward Hermann . Completeness of an Action Logic Featuring a Delta-Operator for Timed Transition Systems. In: WoLLIC - Workshop on Logic, Language, Information and Computation, 2000, Natal. WoLLIC 2000, 2000. p. 123-132. |
| 12. | Fernando Náufel do Amaral ; HAEUSLER, Edward Hermann . A Logic-Based Approach for Real-Time Object-Oriented Software Development. In: WMF - Workshop de Métodos Formais, 2000, João Pessoa. SBES 2000 - Workshops, 2000. p. 45-55. |
| 13. | Fernando Náufel do Amaral ; RABELO, P. G. ; CARVALHO, S. E. R. . C++ Idioms for Concurrent Operations. In: ASOO - Argentine Symposium on Object-Orientation, 28 JAIIO - Jornadas Argentinas de Informática e Investigación Operativa, 1999, Buenos Aires. 28 JAIIO - Jornadas Argentinas de Informática e Investigación Operativa, 1999. |
| Resumos expandidos publicados em anais de congressos |
| 1. | MACHADO, A. ; Fernando Náufel do Amaral ; CLUA, E. W. G. . A Trivial Study Case of the Application of Ontologies in Electronic Games. In: VIII Simpósio Brasileiro de Jogos e Entretenimento Digital, 2009, Rio de Janeiro. Proceedings of the VIII Simpósio Brasileiro de Jogos e Entretenimento Digital, 2009. p. 17-20. |
| 2. | DIAS, A. I. A. S. ; Fernando Náufel do Amaral . Registros de Representações Semióticas no Uso de Fóruns Educacionais de Álgebra Linear. In: VIII Encontro Regional de Matemática Aplicada e Computacional - ERMAC 2008, 2008, Natal. VIII Encontro Regional de Matemática Aplicada e Computacional - ERMAC 2008, 2008. |
| 3. | Fernando Náufel do Amaral ; HAEUSLER, Edward Hermann . Using the Internal Logic of a Topos Related to the Topos of Forests to Model Search Spaces for Problems. In: XIV EBL - Encontro Brasileiro de Lógica, 2006, Itatiaia. XIV EBL - Encontro Brasileiro de Lógica, 2006. |
| Resumos publicados em anais de congressos |
| 1. | Fernando Náufel do Amaral ; HAEUSLER, Edward Hermann . Anticipatory Aspects of (Meta)Heuristics via Topos Theory. In: CASYS - Computing Anticipatory Systems, 2005, Liège, Bélgica, 2005. |
| 2. | Fernando Náufel do Amaral ; HAEUSLER, Edward Hermann . RETOOL: an Action Logic for Timed Transition Systems. In: European Summer Meeting of the Association for Symbolic Logic, 2000, Paris. Proc. Logic Colloquium, 2000. |
| Produção técnica |
| Softwares sem registro de patente |
| 1. | Fernando Náufel do Amaral . GLS PROVER: um Provador de Teoremas para o Cálculo de Sequentes GLS . 2000. |
| Trabalhos técnicos |
| 1. | RADEMAKER, Alexandre ; Fernando Náufel do Amaral ; HAEUSLER, Edward Hermann . A Sequent Calculus for ALC. 2007. |
| 2. | Fernando Náufel do Amaral ; HAEUSLER, Edward Hermann . A Logic-Based Formal Model for (Meta)Heuristics. 2005. |
| 3. | Fernando Náufel do Amaral ; HAEUSLER, Edward Hermann ; ENDLER, M. . A Real-Time Specification Language. 2002. |
| 4. | Fernando Náufel do Amaral ; CARVALHO, A. P. . Uma Nova Proposta para o Cálculo do Fecho Transitivo de Relações Binárias (Relatório FAPERJ E-26/151.163/95-BOLSA). 1996. |
Bancas
| Participação em bancas examinadoras |
| Dissertações |
| 1. | Fernando Náufel do Amaral; Guizzardi, G.; Schwabe, D.; Varejão, F.. Participação em banca de Veruska Carretta Zamborlini. Estudo de Alternativas de Mapeamento de Ontologias da Linguagem ONTOUML para OWL: Abordagens para Representação de Informação Temporal. 2011. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo. |
| 2. | Fernando Náufel do Amaral; GARCIA, Alex de Vasconcellos; GUEDES, Luís Carlos Castro. Participação em banca de Sérgio Augusto Freitas Filho. Detecção de Padrões de Código em WMLScript. 2006. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia. |
| Trabalhos de Conclusão de Curso de graduação |
| 1. | Fernando Náufel do Amaral; HAEUSLER, Edward Hermann; LUCENA, Carlos José Pereira de. Participação em banca de Bruno Schroeder. The Saint Thomas Aquinas Machine (a semi-automatic theorem prover). 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. |
| Participação em bancas de comissões julgadoras |
| Concurso público |
| 1. | Fernando Náufel do Amaral; OCHS, E. N.; MENEZES, P. B.; ALMEIDA, J. M.; FELIX, M. F.. Presidencia de comissao julgadora de concurso para professor adjunto na area de Logica e Teoria da Computacao. 2009. Universidade Federal Fluminense. |
| Outras participações |
| 1. | Fernando Náufel do Amaral. Concurso para monitoria na área de Lógica. 2009. Universidade Federal Fluminense. |
| 2. | Fernando Náufel do Amaral. Concurso para monitoria na area de Matematica Discreta. 2009. Universidade Federal Fluminense. |
| 3. | Fernando Náufel do Amaral. Banca Avaliadora do Prêmio Vasconcellos Torres de Iniciação Científica. 2008. Universidade Federal Fluminense. |
Eventos
| Participação em eventos |
| 1. | 4o Seminário de Pesquisa em Ontologias no Brasil e 6o International Workshop on Metamodels, Ontologies, Semantic Technologies.Membro do Comitê de Programa. 2011. (Seminário). |
| 2. | The Fourth International Conference on Web Reasoning and Rule Systems.Usability of a Visual Language for DL Concept Descriptions. 2010. (Congresso). |
| 3. | III Seminário de Pesquisa em Ontologia no Brasil.Usabilidade de uma Notação Diagramática para Descrições de Conceitos. 2010. (Seminário). |
| 4. | III Seminário de Pesquisa em Ontologia no Brasil.Membro do Comitê de Programa. 2010. (Seminário). |
| 5. | II Seminário de Pesquisa em Ontologia no Brasil.Membro do comitê de programa. 2009. (Seminário). |
| 6. | The 21st International Workshop on Description Logics.Visualization of Description Logic Models. 2008. (Congresso). |
| 7. | Seminário de Pesquisa em Ontologia no Brasil.Visualização de descrições de conceitos OWL. 2008. (Seminário). |
| 8. | Seminário de Pesquisa em Ontologia no Brasil.Membro do comitê de programa. 2008. (Seminário). |
| 9. | VI Workshop em Tecnologia da Informação e da Linguagem Humana (TIL).Revisor. 2008. (Oficina). |
| 10. | VI Workshop em Tecnologia da Informação e da Linguagem Humana (TIL).Visualizing the Semantics (Not the Syntax) of Concept Descriptions. 2008. (Oficina). |
| 11. | XXVII Congresso da Sociedade Brasileira de Computação. 2007. (Congresso). |
| 12. | Seminários de Pesquisa do DCT/PURO/UFF.Dedução em DL com Tableaux e Explicação de Provas. 2007. (Seminário). |
| 13. | Diálogos Transdisciplinares.Pesquisa e Extensão dos Docentes do DCT. 2007. (Encontro). |
| 14. | I Escola Brasileira de Linguística Computacional. 2007. (Outra). |
| 15. | XIV EBL - Encontro Brasileiro de Lógica.Using the Internal Logic of a Topos Related to the Topos of Forests to Model Search Spaces for Problems. 2006. (Congresso). |
| 16. | LSFA - Brazilian Workshop on Logical and Semantic Frameworks, with Applications.Topos-Based Logical Frameworks and an Application to (Meta)Heuristic Search. 2006. (Congresso). |
| 17. | LSFA - Brazilian Workshop on Logical and Semantic Frameworks, with Applications.Avaliador. 2006. (Congresso). |
| 18. | Seminários em Ciência de Computação - Depto. de Ciência da Computação - UFF.Um Modelo Formal Baseado em Lógica para (Meta)Heurísticas - palestra proferida em seminário do Instituto de Computação, UFF. 2004. (Seminário). |
| 19. | Semana da Matemática - Grupo de Lógica - Instituto de Matemática - UFF.Um Modelo Formal Baseado em Lógica para (Meta)Heurísticas. 2004. (Seminário). |
| 20. | LAPTEC - Logic Applied to Technology.A Real-time Specification Language. 2002. (Congresso). |
| 21. | WoLLIC - Workshop on Logic, Language, Information and Computation. 2002. (Congresso). |
| 22. | Natural Deduction Rio. 2001. (Congresso). |
| 23. | WoLLIC - Workshop on Logic, Language, Information and Computation.Completeness of an Action Logic Featuring a Delta-Operator for Timed Transition Systems. 2000. (Congresso). |
| 24. | WMF - Workshop de Métodos Formais.A Logic-Based Approach for Real-Time Object-Oriented Software Development. 2000. (Congresso). |
| 25. | ASOO - Argentine Symposium on Object-Orientation, 28 JAIIO - Jornadas Argentinas de Informática e Investigación Operativa.C++ Idioms for Concurrent Operations. 1999. (Congresso). |
| 26. | WoLLIC - Workshop on Logic, Language, Information and Computation. 1999. (Congresso). |
| 27. | XII EBL - Encontro Brasileiro de Lógica. 1999. (Congresso). |
| 28. | WAIT - Argentine Workshop on Theoretical Computer Science. 1999. (Congresso). |
| 29. | WoLLIC - Workshop on Logic, Language, Information and Computation. 1998. (Congresso). |
Orientações
| Supervisões e orientações concluídas |
| Trabalho de conclusão de curso de graduação |
| 1. | Jefferson Santos. Um Ambiente Integrado para Desenvolvimento e Uso de Provadores de Teoremas. 2006. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Fernando Náufel do Amaral. |
| 2. | Bernardo Vinhosa. Um Espaço de Busca para um Framework de Meta-Heurísticas. 2004. 75 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Fernando Náufel do Amaral. |
| Iniciação Científica |
| 1. | Luiz Guilherme Oliveira dos Santos. Dedução Automática em Lógicas de Descrição. 2007. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Convênio PURO-UFF-Prefeitura Municipal de Rio das Ostras. Orientador: Fernando Náufel do Amaral. |
| Orientações de outra natureza |
| 1. | Rafaelli de Carvalho Coutinho. Editoração Eletrônica de Documentos Técnicos e Científicos com o Sistema LaTeX. 2007. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal Fluminense, Pró-Reitoria de Extensão/UFF. Orientador: Fernando Náufel do Amaral. |
| 2. | Luciana Almendra. Uso da Plataforma Eclipse para Desenvolvimento e Utilização de Provadores de Teoremas. 2005. 0 f. Orientação de outra natureza - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Fernando Náufel do Amaral. |
| 3. | Jefferson Santos. Uso da Plataforma Eclipse para Desenvolvimento e Utilização de Provadores de Teoremas. 2005. 0 f. Orientação de outra natureza - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Fernando Náufel do Amaral. |
| 4. | João Rafael Peixoto Leite. Uso de um Provador de Teoremas em Especificação e Verificação de Software. 2005. 0 f. Orientação de outra natureza - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Fernando Náufel do Amaral. |
| Página gerada pelo Sistema Currículo Lattes em 10/02/2012 às 7:52:51 |