Rede de Colaboração
SciELO - artigos em texto completo

Anjolina Grisi de Oliveira

possui graduação pela Universidade Federal da Bahia (1987) , mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (1995) e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco (2001) . Atualmente é Professor Adjunto I da Universidade Federal de Pernambuco. Tem experiência na área de Ciência da Computação , com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas: Proof Theory, Natural Deduction, Proof Complexity, Geometry of deduction, Graphs of proofs.
(Texto gerado automaticamente pela aplicação CVLattes)

Última atualização do currículo em 16/08/2011
Endereço para acessar este CV:
http://lattes.cnpq.br/9932708325371272
Dados pessoais
NomeAnjolina Grisi de Oliveira
Nome em citações bibliográficasOLIVEIRA, A. G.
SexoFeminino
Endereço profissionalUniversidade Federal de Pernambuco, Centro de Ciências Exatas e da Natureza, Departamento de Informática.
Av. Prof. Luis Freire, s/n
Cidade Universitária
50740-540 - Recife, PE - Brasil - Caixa-Postal: 7851
Telefone: (81) 21268430 Ramal: 4057 Fax: (81) 21268438

Formação acadêmica/Titulação
2006            Pós-Doutorado .
Stanford University, STANFORD, Estados Unidos.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
1996 - 2001Doutorado em Ciências da Computação .
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Proofs from a Geometric Perspective, Ano de Obtenção: 2001.
Orientador: Ruy Jose' Guerra Barretto de Queiroz.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
Palavras-chave: Proof Theory; Natural Deduction; Proof Complexity; Geometry of deduction; Graphs of proofs.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
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.
1993 - 1995Mestrado em Ciências da Computação .
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Tranformacao entre Provas para a Deducao Natural Rotuladad via Reescrita de Termos, Ano de Obtenção: 1995.
Orientador: Ruy Jose Guerra Barretto de Queiroz.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico .
Palavras-chave: Labelled Deductive Systems; Natural Deduction; Normalization Procedure; Proof Theory; Term Rewriting Systems.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
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.
1983 - 1987Graduação .
Universidade Federal da Bahia.

Atuação profissional
Stanford University, STANFORD, Estados Unidos.
Vínculo institucional
2006 - 2006 Vínculo: Visiting Scholar, Enquadramento Funcional: Visiting Scholar, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações Visiting Scholar, associada ao Center for the Study of Language and Information (CSLI), Stanford University, por indicacao de Grigori Mints (Department of Philosophy).
Faculdade Integrada do Recife, FIR, Brasil.
Vínculo institucional
2001 - 2004 Vínculo: Professor, Enquadramento Funcional: Professor, Carga horária: 20
Atividades
08/2001 - 04/2004Ensino, Sistemas de Informacao, Nível: Graduação.
Disciplinas ministradas
Estrutura de Dados I
Logica Matematica
Matematica Discreta
Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional
2004 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto I, Regime: Dedicação exclusiva.
Vínculo institucional
1985 - 2004 Vínculo: Servidor Público, Enquadramento Funcional: Tecnico, Carga horária: 30
Outras informações Sou servidora da UFBA desde 1985, sendo redistribuida para a UFPE em 2001.
Atividades
03/2005 - AtualEnsino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Informática Teórica
Matemática Discreta
Programação 1
05/2001 - AtualPesquisa e desenvolvimento , Centro de Informatica, .
Linhas de pesquisa
Teoria da computacao
Logica aplicada a computacao

Linhas de Pesquisa
1. Teoria da computacao
2. Logica aplicada a computacao

Á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.
2. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Logica aplicada a computacao.

Idiomas
Inglês Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.

Prêmios e títulos
1996Segundo lugar no concurso de testes e dissertacoes da SBC, 1996, Sociedade Brasileira de Computacao (SBC).


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1.   ALVES, G. V. ; OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . Proof-graphs: a thorough cycle treatment, normalization and subformula property. Fundamenta Informaticae, v. 106, p. 119-147, 2011.
2. de QUEIROZ, R. J. G. B. ; OLIVEIRA, A. G. . The functional interpretation of direct computations.. Electronic Notes in Theoretical Computer Science, v. 269, p. 19-40, 2011.
3.   Joel da Silva ; OLIVEIRA, A. G. ; Robson do N. Fidalgo ; Ana C. Salgado ; TIMES, V. C. . Modelling and querying geographical data warehouses. Information Systems (Oxford), v. 35, p. 592-614, 2010.
4. Siqueira, Thiago Luis Lopess ; Ciferri, Cristina Dutra de Aguiar ; TIMES, V. C. ; OLIVEIRA, A. G. ; Ciferri, Ricardo Rodrigues . The impact of spatial data redundancy on SOLAP query performance. Journal of the Brazilian Computer Society (Impresso), v. 15, p. 19-34, 2009.
5. OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . A Normalization Procedure for the LND Equational Fragment. Logic Journal of the Interest Group in Pure and Applied Logics, Oxford, v. 7, p. 173-215, 1999.
Livros publicados/organizados ou edições
1.   de QUEIROZ, R. J. G. B. ; OLIVEIRA, A. G. ; Gabbay, D. M. . The Functional Interpretation of Logical Deduction. 1. ed. London: Imperial College Press / World Scientific, 2011. v. 1. 330 p.
Capítulos de livros publicados
1. Joel da Silva ; Fonseca, Rafael L. ; Robson do N. Fidalgo ; OLIVEIRA, A. G. ; Valéria C. Times . A Metamodel for the Specification of Geographical Data Warehouse. In: Stanislaw Kozielski (Silesian University of Technology, Poland); Robert Wrembel (Poznan University of Technology, Poland). (Org.). Annals of Information Systems special issue on NEW TRENDS IN DATA WAREHOUSING AND DATA ANALYSIS. : Springer, 2008, v. 5, p. 93-114.
2. OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . A New Basic Set of Proof Transformations. In: S. Artemov; H. Barringer; A. Garcez; L. Lamb; and J. Woods. (Org.). We Will Show Them: Essays in Honour of Dov Gabbay. Londres: College Publications, 2005, v. 2, p. 499-528.
3.   OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . Geometry of Deduction via Graphs of Proof. In: R. de Queiroz. (Org.). Logic for Concurrency and Synchronisation. 1 ed. Dordrecht: Kluwer Acad. Pub, 2003, v. 18, p. 3-88.
Trabalhos completos publicados em anais de congressos
1. Cruz, M. Q. ; OLIVEIRA, A. G. ; de Paiva, V. ; de QUEIROZ, R. J. G. B. . Intuitionistic N-Graphs. In: 6th Workshop on Logical and Semantic Frameworks, with Applications, 2011, Belo Horizonte. Proceedings of the 6th Workshop on Logical and Semantic Frameworks, with Applications. Ithaca : Cornell University Library, 2011. v. 1. p. 1-11.
2.   ALVES, G. V. ; OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. In: 16th Workshop on Logic, Language, Information and Computation - WoLLIC 2009, 2009, Tokyo. Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009. Berlin : Springer, 2009. v. 1. p. 84-98.
3. Joel da Silva ; OLIVEIRA, A. G. ; SALGADO, A. C. ; TIMES, V. C. ; Robson do N. Fidalgo . A Set of Aggregation Functions for Spatial Measures. In: DOLAP 2008, 2008, Napa Valley, CA. Eleventh ACM International Workshop on Data Warehousing and OLAP, 2008.
4. Medeiros, V. N. ; Robson do N. Fidalgo ; TIMES, V. C. ; SALGADO, A. C. ; CAMPOS, M. A. ; OLIVEIRA, A. G. ; Joel da Silva . Especificação e Avaliação de Algoritmos para Processamento Multidimensional-Geográfico. In: SBBD 2008, 2008, Campinas, SP. XXIII Simpósio Brasileiro de Banco de Dados, 2008.
5. Joel da Silva ; Ausberto S. Castro Vera ; OLIVEIRA, A. G. ; Robson do N. Fidalgo ; Ana C. Salgado ; Valéria C. Times . Querying Geographical Data Warehouses with GeoMDQL. In: 22nd Brazilian Symposium on Databases, 2007, João Pessoa, PB. SBBD2007, 22nd Brazilian Symposium on Databases, PROCEEDINGS, 2007. p. 223-237.
6. Ana Tereza C. Martins ; OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . Uma Introducao `a Teoria da Prova. In: Jornada de Atualizacao em Inteligencia Artificial, JAIA, paralelo ao XXI congresso da SBC, 2001, Fortaleza. Anais do I JAIA'2001, 2001. p. 89-139.
7. OLIVEIRA, A. G. ; Gorender, S. . Gentzen e a Analise da Deducao. In: Semana de Informatica da UFBA, 1994, Salvador. Anais da V Semana de Informatica da UFBA, 1994.
8. OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . Term Rewriting Systems with LDS. In: Brazilian Symposium on Artificial Intelligence, SBIA'94, 1994, Fortaleza. Proceedings of Brazilian Symposium on Artificial Intelligence, SBIA'94, 1994. p. 425-439.
Resumos publicados em anais de congressos
1. ALVES, G. V. ; OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . Towards normalization for proof-graphs. In: Logic Cooloquium, 2005, Torinto. Bulletin of Symbolic Logic. Estados Unidos, 2005. v. 11. p. 302-303.
2. ALVES, G. V. ; OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . Towards Normalization for Proof-graphs: Basic Transformations. In: Logic Colloquium 2004, 2004, Torino. Logic Colloquium Abstracts (na internet), 2004.
3. ALVES, G. V. ; OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . Normalization for Proof-Graphs. In: I Encontro Norte-Nordeste de Matemática Aplicada e Computacional, 2004, Recife. Anais do ENNEMAC 2004, 2004. p. 27-27.
4. OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . A New Basic Set of Proof Transformations. In: Logical Colloquium, 1997, Haifa, Israel. The Bulletim of Symbolic Logic. Chicago, EUA, 1997. v. 3. p. 124-126.
Resumos publicados em anais de congressos(artigos)
1. OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . A Normalization Procedure for the LND Equational Fragment (abstract). Journal of the Interest Group in Pure and Applied Logic, Oxford, v. 4, n. 2, p. 330-332, 1996.
Artigos aceitos para publicação
1. ALVES, G. V. ; OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . Proof-graphs: a thorough cycle treatment, normalization and subformula property. Fundamenta Informaticae, 2011.
Apresentações de Trabalho
1. OLIVEIRA, A. G. . Proof Theory from a Geometric Perspective. 2003. (Apresentação de Trabalho/Conferência ou palestra).

Bancas
Participação em bancas examinadoras
Teses de doutorado
1. BAUZER, C.; SALGADO, A. C.; Moura, Hermano P. de; Souza, F. F.; OLIVEIRA, A. G.. Participação em banca de Joel da Silva. GEOMDQL: Uma linguagem de Consulta Geográfica e Multidimensional. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Trabalhos de Conclusão de Curso de graduação
1. OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.. Participação em banca de Patrícia Lustosa Ventura Ribeiro. Encriptação Espaço-Eficiente Baseada em Identidade. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
2. OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.. Participação em banca de Felipe Ribeiro Machado. Segurança da Informação numa perspectiva mais humana. Falhas internas e procedimentos de prevenção e defesa da rede. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
3. OLIVEIRA, A. G.. Participação em banca de Amirton Bezerra Chagas. Testes de Primalidade: Uma Visão Computacional. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
4. OLIVEIRA, A. G.; SANTOS, A. L. M.. Participação em banca de Eduardo Mazza Batista. Autenticação de usuários em redes Windows utilizando certificados digitais da ICP-Brasil. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
5. OLIVEIRA, A. G.; Melo. Participação em banca de Daniel D`andrada Tenório de Carvalho. Uma Implementação da Técnica Photon Mapping com Propostas de Otmização. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
6. OLIVEIRA, A. G.; SADOK, D.. Participação em banca de Rodrigo Cavalcanti de Araújo. Um Estudo do Impacto do uso de Criptografia em Redes de Sensores Sem Fio. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Eventos
Participação em eventos
1. WORKSHOP ON PROOF THEORY AND ALGORITHMS.Proofs from a Geometric Perspective. 2003. (Encontro).

Orientações
Supervisões e orientações concluídas
Dissertação de mestrado
1. Marcela Quispe Cruz. Em direção aos N-Grafos Intuicionistas. 2009. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, . Orientador: Anjolina Grisi de Oliveira.
2. Gleifer Vaz Alves. Normalização para os N-grafos. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Co-Orientador: Anjolina Grisi de Oliveira.
Tese de doutorado
1. Gleifer Vaz Alves. Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques. 2009. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Co-Orientador: Anjolina Grisi de Oliveira.
Trabalho de conclusão de curso de graduação
1. Everton Guerra Marques. Estudo e estado da arte dos provadores autométicos de teoremas. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Anjolina Grisi de Oliveira.
Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 18:00:53