Renata Pereira de Freitas

  • Endereço para acessar este CV: http://lattes.cnpq.br/1024781232915719
  • Última atualização do currículo em 16/02/2017


possui graduação em Licenciatura em Matemática pela Universidade Federal Fluminense (1991), mestrado (1997) e doutorado (2002) em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro. Atualmente é professor associado da Universidade Federal Fluminense. Trabalha em Lógica Matemática, atuando principalmente nos seguintes temas: lógica modal, álgebra relacional e raciocínio com diagramas. (Texto informado pelo autor)


Identificação


Nome
Renata Pereira de Freitas
Nome em citações bibliográficas
de Freitas, Renata;de Freitas, R. P.;de Freitas, Renata P.;Freitas, R. D.

Endereço


Endereço Profissional
Universidade Federal Fluminense, Centro de Estudos Gerais, Instituto de Matemática e Estatística.
Rua Mario Santos Braga, s/n - Departamento de Análise (4o. andar)
Centro
24020-140 - Niteroi, RJ - Brasil
Telefone: (21) 26292058
Ramal: 7019
Fax: (21) 26292114


Formação acadêmica/titulação


1998 - 2002
Doutorado em Engenharia de Sistemas e Computação.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Lógica Modal da Bifurcação, Ano de obtenção: 2002.
Orientador: Sheila Regina Murgel Veloso e Mario R. Folhadela Benevides.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Álgebra Relacional; Álgebra com Fork; Lógica Modal; Lógica de Setas; Lógica Híbrida; Especificações formais.
Grande área: Ciências Exatas e da Terra
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: Desenvolvimento de Programas (Software).
1993 - 1997
Mestrado em Engenharia de Sistemas e Computação.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Modularidade e Relação de Conseqüência,Ano de Obtenção: 1997.
Orientador: Sheila Regina Murgel Veloso.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Especificações formais; Relação de conseqüência; Modularidade; Interpolação; Teorema da Dedução.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
Setores de atividade: Desenvolvimento de Programas (Software).
1988 - 1991
Graduação em Licenciatura Em Matemática.
Universidade Federal Fluminense, UFF, Brasil.




Atuação Profissional



Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Vínculo institucional

2004 - Atual
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador


Universidade Carioca, UNICARIOCA, Brasil.
Vínculo institucional

2002 - 2006
Vínculo: Celetista, Enquadramento Funcional: Professor Adjunto, Carga horária: 8
Outras informações
Licença sem vencimento entre março de 2005 e junho de 2006.

Atividades

08/2004 - 12/2004
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Lógica Matemática
Matemática III
01/2004 - 07/2004
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Lógica Matemática
Matemática I
08/2003 - 12/2003
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Matemática II
Matemática I
01/2003 - 07/2003
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Matemática III
08/2002 - 12/2002
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Lógica Matemática
Matemática I
Pesquisa Operacional

Inst. de Matemática, Univ. Federal do Rio de Janeiro, IM-UFRJ, Brasil.
Vínculo institucional

1996 - 1996
Vínculo: Professor Substituto, Enquadramento Funcional: Professor Auxiliar, Carga horária: 20
Outras informações
Classificação em primeiro lugar no concurso público para professor substituto para o Departamento de Matemática Pura.

Atividades

08/1996 - 12/1996
Ensino, Licenciatura em Matemática, Nível: Graduação

Disciplinas ministradas
Algebra Linear
Os Polinomios
03/1996 - 07/1996
Ensino, Licenciatura em Matemática, Nível: Graduação

Disciplinas ministradas
Estruturas Algebricas
Os Numeros

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.
Outras informações
Instituto de Matemática - Departamento de Análise

Vínculo institucional

2005 - 2006
Vínculo: Professor Visitante, Enquadramento Funcional: Professor visitante, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Instituto de Matemática - Departamento de Análise

Vínculo institucional

1991 - 1991
Vínculo: Bolsista, Enquadramento Funcional: Monitor, Carga horária: 12
Outras informações
Departamento de Análise, Instituto de Matemática

Vínculo institucional

1990 - 1990
Vínculo: Bolsista, Enquadramento Funcional: Monitor, Carga horária: 12
Outras informações
Departamento de Geometria, Instituto de Matemática

Atividades

08/2008 - Atual
Ensino, Estatística, Nível: Graduação

Disciplinas ministradas
Álgebra Linear I - 2008.2
03/2008 - Atual
Ensino, Ciências Econômicas, Nível: Graduação

Disciplinas ministradas
Matemática para Economia II - 2008.1
03/2007 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Ciência da Computação - 2008.1
Álgebra Linear - 2007.1
03/2007 - Atual
Ensino, Matemática, Nível: Graduação

Disciplinas ministradas
Análise II - 2008.2
Álgebra Linear II - 2007.2
Introdução à Lógica Matemática - 2007.1, 2007.2
08/2006 - Atual
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Álgebra Linear Aplicada - 2006.2
06/2005 - 06/2006
Pesquisa e desenvolvimento , Centro de Estudos Gerais, Instituto de Matemática e Estatística.

Linhas de pesquisa
Lógica Matemática
08/2005 - 12/2005
Ensino, Matemática, Nível: Graduação

Disciplinas ministradas
Introdução à Lógica Matemática
03/1991 - 11/1991
Ensino, Licenciatura Em Matemática, Nível: Graduação

Disciplinas ministradas
Álgebra I
03/1990 - 12/1990
Ensino, Licenciatura Em Matemática, Nível: Graduação

Disciplinas ministradas
Cálculo Numérico

Fac. de Formação de Professores, Universidade Estadual do Rio de Janeiro, FFP/UERJ, Brasil.
Vínculo institucional

1997 - 1997
Vínculo: Professor Substituto, Enquadramento Funcional: Professor Auxiliar, Carga horária: 20

Vínculo institucional

1997 - 1997
Vínculo: Professor Substituto, Enquadramento Funcional: Professor Auxiliar, Carga horária: 20

Vínculo institucional

1995 - 1995
Vínculo: Professor Substituto, Enquadramento Funcional: Professor Auxiliar, Carga horária: 20

Atividades

08/1997 - 12/1997
Ensino, Licenciatura em Matemática, Nível: Graduação

Disciplinas ministradas
Cálculo Numérico
Lógica Matemática
Tópicos Especiais de Matemática I
Tópicos Especiais de Matemática II
03/1997 - 07/1997
Ensino, Licenciatura em Matemática, Nível: Graduação

Disciplinas ministradas
Tópicos Especiais em Matemática II
Lógica Matemática
08/1995 - 12/1995
Ensino, Licenciatura em Matemática, Nível: Graduação

Disciplinas ministradas
Topologia
Cálculo Diferencial e Integral III
Análise Matemática I

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional

1997 - 1998
Vínculo: Bolsista, Enquadramento Funcional: Pesquisador, Carga horária: 12
Outras informações
Sob a orientação do Prof. Edward Hermann Haeusler.

Atividades

05/1997 - 02/1998
Pesquisa e desenvolvimento , Departamento de Informática, .

Linhas de pesquisa
Métodos Formais

Instituto de Lógica Filosofia e Teoria da Ciência, ILTC, Brasil.
Vínculo institucional

1992 - 1993
Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Aperfeicoamento, Carga horária: 12
Outras informações
Bolsista do CNPq. Projeto: "Aspectos Logicos-Filosoficos de Inteligencia Artificial". Orientadora: Profa. Doris Ferraz de Aragon.

Vínculo institucional

1991 - 1992
Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciacao Cientifica, Carga horária: 12
Outras informações
Bolsa do CNPq. Projeto: "Aspectos Logico-Filosoficos de Inteligencia Artificial". Orientadora: Profa. Doris Ferraz de Aragon.

Vínculo institucional

1990 - 1991
Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciacao Cientifica, Carga horária: 12
Outras informações
Bolsa do CNPq. Projeto: "Desenvolvimento de Software para Inteligencia Artificial". Orientadora: Profa. Doris Ferraz de Aragon.

Atividades

12/1991 - 07/1993
Pesquisa e desenvolvimento .

Linhas de pesquisa
Lógica Modal

Universidade Estácio de Sá, UNESA, Brasil.
Vínculo institucional

2004 - 2005
Vínculo: Celetista, Enquadramento Funcional: Professor Adjunto, Carga horária: 9

Vínculo institucional

2003 - 2003
Vínculo: Celetista, Enquadramento Funcional: Professor Adjunto, Carga horária: 10

Atividades

08/2004 - 12/2004
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica Matemática
Programação em Lógica
08/2003 - 12/2003
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica Matemática
02/2003 - 07/2003
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Laboratório de Informática I
Laboratório de Informática II
Programação em Lógica

Instituto Superior de Educacao La Salle, UNI-LA SALLE, Brasil.
Vínculo institucional

2002 - 2004
Vínculo: Celetista, Enquadramento Funcional: Professor Adjunto, Carga horária: 4

Atividades

08/2004 - 12/2004
Ensino, Licenciatura em Computacao, Nível: Graduação

Disciplinas ministradas
Estatística e Probabilidades
01/2004 - 07/2004
Ensino, Licenciatura em Computacao, Nível: Graduação

Disciplinas ministradas
Algebra Linear
08/2003 - 12/2003
Ensino, Licenciatura em Computacao, Nível: Graduação

Disciplinas ministradas
Algebra Linear
01/2003 - 07/2003
Ensino, Licenciatura em Computacao, Nível: Graduação

Disciplinas ministradas
Algebra Linear
08/2002 - 12/2002
Ensino, Licenciatura em Computacao, Nível: Graduação

Disciplinas ministradas
Álgebra Linear


Linhas de pesquisa


1.
Métodos Formais
2.
Lógica Matemática
3.
Lógica Modal


Projetos de pesquisa


2016 - Atual
APQ1 - Sistemas de reescrita diagramáticos
Descrição: Nossa proposta é continuar a investigação sobre o uso de diagramas no estudo e desenvolvimento de sistemas para a semântica relacional de programas. Nosso enfoque está nos sistemas diagramáticos algébricos, isto é, sistemas nos quais a informação é representada por igualdade entre diagramas (termos). Em particular, proponho a investigação de uma apresentação do cálculo relacional com diagramas como um sistema de reescrita. Em sistemas algébricos, como o cálculo relacional, as fórmulas são equações e as inferências baseiam-se na regra da troca de iguais por iguais. Sistemas de reescrita estão baseados na ideia de impor uma direção única para o uso de equações nas provas..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Renata Pereira de Freitas - Coordenador / Christiano Braga - Integrante.Financiador(es): FAPERJ - Auxílio financeiro.
2011 - 2012
APQ1 - Raciocínio com diagramas
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Renata Pereira de Freitas - Coordenador / Jorge Petrúcio Viana - Integrante / Márcia Rosana Cerioli - Integrante.Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
Número de produções C, T & A: 1 / Número de orientações: 2
2009 - 2011
Universal - Semânticas de Vizinhança e Lógicas de Probabilidade
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Renata Pereira de Freitas - Integrante / Jorge Petrúcio Viana - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2008 - 2010
Universal - Lógica em Computação
Situação: Em andamento; Natureza: Pesquisa.
2006 - 2015
Formalismos Relacionais
Descrição: O objetivo do projeto é desenvolver formalismos relacionais, no contexto das inter-relações entre álgebras booleanas com operadores, lógicas modais e lógica de primeira ordem (e suas extensões e subsistemas). Em especial, formalismos baseados na álgebra relacional e suas extensões não-lógicas: a álgebra com operador de bifurcação ("fork"), a álgebra com ligadores ("binders"), formalismos baseados em cálculos com grafos e lógicas modais com operadores generalizados. No desenvolvimento dos formalismos propostos, pretendo explicitar e aprofundar as técnicas utilizadas, contribuindo para o desenvolvimento de metodologias e fundamentação em Lógica Matemática..
Situação: Concluído; Natureza: Pesquisa.
2005 - 2006
Teoria Relacional de Conjuntos
Descrição: O objetivo do projeto é formalizar, usando extensões não-lógicas da Álgebra Relacional, alguns sistemas axiomáticos básicos para a Teoria dos Conjuntos. Em particular, pretendemos desenvolver as teorias de conjuntos de Zermelo-Fräenkel-Skolem and von-Newman-Bernays-Gödel, usando Álgebra Relacional com Bifurcação e Álgebra Relacional com Ligadores..
Situação: Em andamento; Natureza: Pesquisa.
2004 - 2010
PRONEX - Algoritmos: Engenharia e Fundamentos.
Situação: Concluído; Natureza: Pesquisa.


Revisor de periódico


2006 - Atual
Periódico: Journal of Logic and Computation
2016 - Atual
Periódico: Journal of Logic, Language and Information


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Lógica Matemática.
2.
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.


Idiomas


Francês
Compreende Razoavelmente, Fala Pouco, Lê Bem.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Espanhol
Compreende RazoavelmenteLê Bem.


Prêmios e títulos


2002
Bolsa para apresentação de trabalho no FLoC/LICS/HyLo-Workshop on Hybrid Logics, Copenhagen, "European Commission DG Information Society".
1998
Bolsa de Doutorado, COPPE/UFRJ-CNPq.
1993
Bolsa de Mestrado, COPPE/UFRJ-CNPq.
1992
Bolsa de Aperfeiçoamento, Instituto de Lógica, Filosofia e Teoria da Ciência - CNPq.
1991
Bolsa de Iniciação Científica, Instituto de Lógica, Filosofia e Teoria da Ciência - CNPq.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
1de Freitas, Renata2015de Freitas, Renata; VIANA, Petrucio . Set Venn Diagrams Applied to Inclusions and Non-inclusions. Journal of Logic, Language and Information, v. 24, p. 457-485, 2015.

2.
2de Freitas, Renata;de Freitas, R. P.;de Freitas, Renata P.;Freitas, R. D.2014de Freitas, Renata; VIANA, Petrucio . The second Venn diagrammatic system. Lecture Notes in Computer Science (Internet), v. 8578, p. 295-309, 2014.

3.
13BASTOS, S. F. A. B.2012BASTOS, S. F. A. B. ; de Freitas, Renata . Resolução do exemplo clássico do Lema de Borel-Cantelli: o Problema do Macaco.. Revista PIBIC (online), v. I, p. p.168-169,2012., 2012.

4.
3de Freitas, R.2012de Freitas, R.; Viana, Petrucio . A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations. Lecture Notes in Computer Science, v. 7352, p. 324-326, 2012.

5.
4Benevides, Mario R.F.2011Benevides, Mario R.F. ; de Freitas, Renata ; Viana, Petrucio . Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. Electronic Notes in Theoretical Computer Science, v. 269, p. 95-107, 2011.

6.
5VELOSO, P. A. S.2010VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, P. ; Freitas, R. D. ; Benevides, M. ; DELGADO, C. . On vague notions and modalities: a modular approach. Logic Journal of the IGPL (Print), v. 18, p. 381-402, 2010.

7.
6de Freitas, Renata2009 de Freitas, Renata; Veloso, Paulo A.S. ; Veloso, Sheila R.M. ; Viana, Petrucio . On graph reasoning?. Information and Computation, v. 207, p. 1000-1014, 2009.

8.
7de Freitas, R.2008 de Freitas, R.; Petrúcio Viana . A note on proofs with graphs. Science of Computer Programming, v. 73, p. 129-135, 2008.

9.
9VELOSO, P. A. S.2007 VELOSO, P. A. S. ; de Freitas, R. P. ; Petrúcio Viana ; BENEVIDES, M. R. F. ; VELOSO, S. R. M. . On fork arrow logic and its expressive power. Journal of Philosophical Logic, v. 36, p. 489-509, 2007.

10.
8de Freitas, R.2007 de Freitas, R.; VELOSO, P. A. S. ; VELOSO, S. R. M. ; Petrúcio Viana . On Positive Relational Calculi. Logic Journal of the IGPL, v. 15, p. 577-601, 2007.

11.
10VELOSO, S. R. M.2005VELOSO, S. R. M. ; VELOSO, P. A. S. ; de Freitas, Renata . An Application of Logic Engineering. Logic Journal of the IGPL, v. 13, p. 29-46, 2005.

12.
11de Freitas, Renata;de Freitas, R. P.;de Freitas, Renata P.;Freitas, R. D.2003de Freitas, Renata; VIANA, J. P. ; BENEVIDES, M. R. F. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Squares in Fork Arrow Logic. Journal of Philosophical Logic, v. 32, n.4, p. 343-355, 2003.

13.
12J.-Y. Béziau2001J.-Y. Béziau ; de Freitas, Renata ; VIANA, J. P. . What is classical propositional logic? (A study in universal logic). Logical Studies, Moscou, v. 7, p. 1-13, 2001.

Capítulos de livros publicados
1.
de Freitas, R.; SUGUITANI, L. ; VIANA, Petrucio . Relation Algebra throughout Galois Connections. In: Michal Dancak, Vit Punochar (editores). (Org.). The Logica Yearbook. 1ed.Londres: College Publications, 2014, v. 2013, p. 49-62.

Trabalhos completos publicados em anais de congressos
1.
de Freitas, Renata; Petrúcio Viana . A graph calculus for proving intuitionistic relation algebraic equations. In: Diagrams 2012, 2012. LNAI. v. 7352. p. 324-326.

2.
de Freitas, Renata; Viana, Petrucio . Introducing Polymodal Neighbourhood Logics. In: III Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2008), 2009, Salvador. Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications (LSFA 2008). v. 247. p. 51-66.

3.
de Freitas, Renata; Veloso, Sheila R.M. ; Veloso, Paulo A.S. ; Viana, Petrucio . Positive Fork Graph Calculus. In: International Symposium on Logical Foundations of Computer Science, 2009, Deerfield Beach, FL, USA. Logical Foundations of Computer Science, LNCS. Berlin: Springer, 2009. v. 5407. p. 152-163.

4.
de Freitas, R.; VELOSO, S. R. M. ; VELOSO, P. A. S. ; VIANA, P. . On a Graph Calculus for Algebras of Relations. In: XV Workshop on Logic, Language, Information and Computation, 2008, Edinburgh. Lecture Notes in Artificial Inteligence (LNAI). Berlin: Springer, 2008. v. 5110. p. 298-312.

5.
de Freitas, Renata; VELOSO, P. A. S. ; VELOSO, S. R. M. ; Petrúcio Viana . Reasoning with graphs. In: 13th Workshop on Logic, Language, Information and Computation, 2006, Stanford, USA. Eletronic Notes in Theoretical Computer Science (ENTCS). Amsterdam: Elsevier, 2006. v. 165. p. 201-212.

6.
BENEVIDES, M. R. F. ; DELGADO, C. ; de Freitas, Renata ; VELOSO, P. A. S. ; VELOSO, S. R. M. . On Modalities for Vague Notions. In: XVII Brazilian Symposium on Artificial Intelligence (SBIA'04), 2004, São Luiz, Maranhão. Advances in Artificial Intelligence - SBIA 2004 (LNAI). Berlin: Springer, 2004. v. 3171. p. 1-10.

7.
de Freitas, Renata; VELOSO, P. A. S. ; VIANA, J. P. ; VELOSO, S. R. M. ; BENEVIDES, M. R. F. . The Expressive Power of Fork Arrow Logic. In: V Workshop de Métodos Formais (WMF'02), 2002, Gramado. V Workshop de Métodos Formais (WMF'02), 2002. p. 84-99.

8.
de Freitas, Renata; VIANA, J. P. . A completeness result for Relation Algebra with Binders. In: IX Workshop on Logic, Language, Information and Computation (WoLLIC'02), 2002, Rio de Janeiro. Eletronic Notes in Theoretical Computer Science (ENTCS). Amsterdam: Elsevier, 2002. v. 67. p. 1-14.

9.
de Freitas, R.; VIANA, P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; BENEVIDES, M. R. F. . On Hybrid Arrow Logic. In: IV Workshop on Hybrid Logics (HyLo@LICS), 2002, Copenhagem. Proceedings of IV Workshop on Hybrid Logics (HyLo@LICS), 2002. p. 53-66.

10.
de Freitas, Renata; VIANA, J. P. ; BENEVIDES, M. R. F. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . Squares in Fork Modal Logic. In: X Workshop on Logic Language, Information and Computation (WoLLIC'01), 2001, Brasília. X Workshop on Logic Language, Information and Computation (WoLLIC'01), 2001. p. 77-86.

11.
de Freitas, R.; BENEVIDES, M. R. F. ; VIANA, P. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Axiomatization and Completeness for Fork Arrow Logic. In: IV Workshop de Métodos Formais (WMF'01), 2001, Rio de Janeiro. Proceedings of V Workshop de Métodos Formais, 2001.

Resumos publicados em anais de congressos
1.
de Freitas, Renata; VELOSO, P. A. S. ; VELOSO, S. R. M. ; Viana, Petrucio . A calculus for graphs with complement. In: Diagrams, 2010, Portland. LNCS. New York: Springer, 2010. v. 6170. p. 84-98.

2.
de Freitas, R.; VELOSO, S. R. M. ; VELOSO, P. A. S. ; VIANA, P. . Positive Fork Graph Calculus. In: XV Brazilian Logic Conference / XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty. Annals of the CLE 30 years, XV Brazilian Logic. Campinas: CLE, 2008.

3.
de Freitas, Renata; VELOSO, P. A. S. ; VELOSO, S. R. M. ; Petrúcio Viana . Graph Relational Calculus. In: XIV Brazilian Logic Conference (EBL'06), 2006, Itatiaia - RJ. Proceedings of XIV Brazilian Logic Conference, 2006.

4.
de Freitas, R.; VELOSO, S. R. M. ; VIANA, P. . On Algebras of Ternary Relations. In: XXV Congresso Nacional de Matemática Aplicada e Computacional (CNMAC'02), 2002, Nova Friburgo - RJ. XXV Congresso Nacional de Matemática Aplicada e Computacional (CNMAC'02), 2002. p. 161-161.

5.
de Freitas, Renata; VIANA, J. P. . Normality of Generalized Modal Operators. In: XXIV Congresso Nacional de Matemática Aplicada e Computacional (CNMAC'01), 2001, Belo Horizonte. XXIV Congresso Nacional de Matemática Aplicada e Computacional (CNMAC'01), 2001. v. 1. p. 244-244.

Resumos publicados em anais de congressos (artigos)
1.
de Freitas, Renata;de Freitas, R. P.;de Freitas, Renata P.;Freitas, R. D.1999de Freitas, Renata; VELOSO, P. A. S. ; VELOSO, S. R. M. . On modularity and interpolation in general pi-institution. Bulletin of Symbolic Logic, v. 5, p. 152-153, 1999.

Apresentações de Trabalho
1.
de Freitas, R.. Diagrammatic Reasoning Tutorial. 2015. (Apresentação de Trabalho/Outra).


Produção técnica
Assessoria e consultoria
1.
de Freitas, Renata. Membro do Comitê de Programa do SetVR 2016 - International Workshop on Set Visualization and Reasoning. 2016.

Trabalhos técnicos
1.
de Freitas, Renata; VELOSO, P. A. S. ; VIANA, J. P. ; VELOSO, S. R. M. ; BENEVIDES, M. R. F. . On the Expressive Power of Fork Arrow Logic. 2002.

2.
BENEVIDES, M. R. F. ; de Freitas, Renata ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. . Fork Arrow Logic: Axiomatization and Completeness. 2001.

3.
de Freitas, Renata; VIANA, J. P. ; BENEVIDES, M. R. F. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . Infinite Squares in Fork Arrow Logic. 2001.

4.

5.
de Freitas, Renata; VELOSO, S. R. M. ; VELOSO, P. A. S. . Modularity in General Pi-Institutions. 1998.


Demais tipos de produção técnica
1.
VIANA, J. P. ; de Freitas, Renata . Introdução à Lógica Modal. 1994. (Curso de curta duração ministrado/Extensão).

2.
de Freitas, Renata; VIANA, J. P. . Introdução à Lógica Modal. 1994. (Desenvolvimento de material didático ou instrucional - Apostila).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Fernando Marinho; de Freitas, Renata; Cecília Fernandez. Participação em banca de Thiago Vidal da Costa. Quando e como trabalhar com demonstrações no ensino de Matemática? Uma reflexão sobre a fórmula de Bhaskara.. 2016. Dissertação (Mestrado em Pós-Graduação em Matemática) - Universidade Federal Fluminense.

Teses de doutorado
1.
RINCON, M. A.; MUNOZ, C.; HAEUSLER, E. H.; de Freitas, R.; GALDINO, A. L.. Participação em banca de Andréa Borges Avelar. Formalização da Automação da Terminação Através de Grafos com Matrizes de Medida. 2014. Tese (Doutorado em Matemática) - Universidade de Brasília.

2.
DOTTAVIANO, I. M. L.; Viana, Petrucio; de Freitas, R.; Rodolfo Ertola; FREIRE, R. A.. Participação em banca de Leandro Oliva Suguitani. Sobre a Lógica e a Aritmética das Relações. 2013. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Qualificações de Doutorado
1.
DOTTAVIANO, I. M. L.; de Freitas, Renata; FREIRE, R. A.. Participação em banca de Leandro Oliva Suguitani. Aplicação de Sistemas Relacionais na Filosofia da Ciência, Lógica e Fundamentos da Matemática. 2012. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Trabalhos de conclusão de curso de graduação
1.
T. Pará; de Freitas, Renata; S. Dantas. Participação em banca de Isabelly da Silva Almeida.Comparando os princípios aditivo e multiplicativo. 2016. Trabalho de Conclusão de Curso (Graduação em Abi - Matemática) - Universidade Federal Fluminense.

2.
CERIOLI, M. R.; de Freitas, Renata; TINOCO, L. A. A.; E. Belfort. Participação em banca de Rodrigo Albuquerque Pereira.Números de Fibonacci. 2003. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Matemática) - Instituto de Matemática - UFRJ.



Participação em bancas de comissões julgadoras
Concurso público
1.
SILVA, E. A. B. E.; SOBRAL, Y. D.; CUNHA, F. R.; VELOSO, S. R. M.; de Freitas, R.. Professor Adjunto no Departamento de Matemática, área de Matemática Aplicada. 2015. Universidade de Brasília.

Outras participações
1.
de Freitas, R.; SILVA, L. A. V.; LOPES, C. N.. Professor Substituto no Departamento de Análise do Instituto de Matemática e Estatística. 2015. Universidade Federal Fluminense.

2.
de Freitas, Renata. Olimpíadas Brasileiras de Matemática das Escolas Públicas. 2005. Instituto de Matemática - Universidade Federal Fluminense.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
II Seminário Mulher e Ciência do Estado do Rio de Janeiro. 2016. (Seminário).

2.
XXIV Brazilian Algebra Meeting. 2016. (Congresso).

3.
Diagrams 2012. A graph calculus for proving intuitionistic relation algebraic equations. 2012. (Congresso).

4.
III Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2008). Introducing Polymodal Neighbourhood Semantics. 2008. (Congresso).

5.
XV Workshop on Logic, Language, Information and Computation. 2008. (Congresso).

6.
CLE/SBL 25 anos - XIII Encontro Brasileiro de Lógica (EBL'03). 2003. (Encontro).

7.
Federated Logic Conference (FLoC'02). 2002. (Congresso).

8.
IV Workshop on Hybrid Logics (HyLo@LICS).On Hybrid Arrow Logic. 2002. (Oficina).

9.
IX Workshop on Logic, Language, Information and Computation (WoLLIC'02). 2002. (Congresso).

10.
XXV Congresso Nacional de Matemática Aplicada e Computacional (CNMAC'02). On Algebras of Ternary Relation. 2002. (Congresso).

11.
V Workshop de Métodos Formais (WMF'01).Axiomatization and Completeness for Fork Arrow Logic. 2001. (Oficina).

12.
V Workshop on Logic, Language, Information and Computation (WoLLIC'98). 1998. (Congresso).

13.
XI Escola de Computação. 1998. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
de Freitas, Renata. LSFA 2012 - 7th Workshop on Logical and Semantic Frameworks, with Applications. 2012. (Congresso).

2.
de Freitas, Renata; VIANA, J. P. ; Viana, Petrucio ; CORREA, M. ; CARNIELLI, W. ; CHATEAUBRIAND, O. ; HAEUSLER, E. H. . XVI Brazilian Logic Conference. 2011. (Congresso).

3.
CORREA, M. ; de Freitas, R. ; Ana Teresa Martins ; Anjolina G. de Oliveira ; Ruy de Queiroz ; Petrúcio Viana . 14th Workshop on Logic, Language, Information and Computation. 2007. (Congresso).

4.
de Freitas, Renata. III Semana de Educação Matemática. 1990. (Outro).



Orientações



Orientações e supervisões em andamento
Iniciação científica
1.
Maurício da Silva Pires. Um sistema de reescrita para a álgebra da interseção. Início: 2016. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal Fluminense. (Orientador).


Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Rodrigo Albuquerque Pereira. Números de Fibonacci. 2003. Trabalho de Conclusão de Curso. (Graduação em Licenciatura em Matemática) - Instituto de Matemática - UFRJ. Orientador: Renata Pereira de Freitas.

Iniciação científica
1.
Leonara Alves Cesario da Silva. Raciocínio com diagramas. 2015. Iniciação Científica. (Graduando em Estatística) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renata Pereira de Freitas.

2.
Laiz Valim da Rocha. O Teorema de Solèr: uma caracterização para os Espaços de Hilbert. 2014. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Consórcio de Ensino a Distância do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renata Pereira de Freitas.

3.
Julia Aleixo. Transforma cão de Provas Diagram áticas em Provas Equacionais. 2012. Iniciação Científica. (Graduando em Licenciatura Em Matemática) - Universidade Federal Fluminense, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Renata Pereira de Freitas.

4.
Sergio Felipe Abreu de Britto Bastos. Prova Automática em Cálculos Relacionais. 2012. Iniciação Científica. (Graduando em Estatística) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renata Pereira de Freitas.

5.
Marcela Tuler. Diagramas para Validade de Argumentos. 2011. Iniciação Científica. (Graduando em Engenharia de Telecomunicações) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renata Pereira de Freitas.

6.
Mateus Carvalho Azis. Cálculo com Grafos. 2010. Iniciação Científica. (Graduando em Ciência da Computação) - Instituto de Matemática, UFF/RJ, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renata Pereira de Freitas.

7.
Leonardo Lisbôa de Oliveira. Raciocínio Negativo em Cálculos com Grafos. 2009. Iniciação Científica. (Graduando em Matemática) - Instituto de Matemática, UFF/RJ, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renata Pereira de Freitas.



Outras informações relevantes


Membro do Comitê de Programa do X Simpósio Brasileiro de Inteligência Artificial - SBIA 2008.
Membro do Comitê de Programa do XII Simpósio Brasileiro de Inteligência Artificial - SBIA 2010.



Página gerada pelo Sistema Currículo Lattes em 18/01/2019 às 3:53:55