Giovanny Fernando Lucero Palma

  • Endereço para acessar este CV: http://lattes.cnpq.br/3074373409452517
  • Última atualização do currículo em 25/06/2018


Possui graduação em Licenciatura en Informática - Universidad de Lujan (1989), mestrado e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco (1993 e 2015). Atualmente é professor da Universidade Federal de Sergipe. Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação, atuando principalmente nos seguintes temas: engenharia de software, métodos formais e linguagens de programação. (Texto informado pelo autor)


Identificação


Nome
Giovanny Fernando Lucero Palma
Nome em citações bibliográficas
LUCERO, G.

Endereço


Endereço Profissional
Universidade Federal de Sergipe, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.
Av marechal Rondom s/n. Campus Universitário Prof. José Aloisio Campos. UFS/DCCE.
Jardim Rosa Elze
49100-000 - Sao Cristovao, SE - Brasil
Telefone: (79) 21056678
URL da Homepage: http://www.ufs.br


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


2010 - 2015
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
com período sanduíche em Stevens Institute of Technology (Orientador: David Naumann).
Título: Algebraic Laws of Object Oriented Programming with References, Ano de obtenção: 2015.
Orientador: Augusto Cezar Alves Sampaio.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Algebraic Laws of Programming; Semantics Of Programming Languages; Sound Refactorings; Formal Techniques.
Grande área: Ciências Exatas e da Terra
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.
1991 - 1993
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Uma linguagem funcional com processos e a sua semântica dinâmica,Ano de Obtenção: 1993.
Orientador: Silvio Romero Lemos Meira.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Linguagens Funcionais; Semântica de Ações; Concorrência.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.
Setores de atividade: Desenvolvimento de Programas (Software).
1986 - 1989
Graduação em Licenciatura en Informática.
Universidad de Lujan, LUJAN, Argentina.
Título: Un método para la síntesis de programas lógicos.
Orientador: Jorge Vidart.
Bolsista do(a): Escuela Superior Latinoamericana de Informática, ESLAI, Argentina.


Pós-doutorado


2016 - 2016
Pós-Doutorado.
Universidade Federal de Pernambuco, UFPE, Brasil.
Grande área: Ciências Exatas e da Terra


Atuação Profissional



Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

1994 - 1996
Vínculo: Bolsista, Enquadramento Funcional: Aluno e Pesquisador, Regime: Dedicação exclusiva.


Corporación Financiera Nacional, CFN, Equador.
Vínculo institucional

1990 - 1991
Vínculo: Celetista formal, Enquadramento Funcional: Programador, Carga horária: 40


Universidade Federal de Sergipe, UFS, Brasil.
Vínculo institucional

1999 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Regime: Dedicação exclusiva.

Vínculo institucional

1997 - 1999
Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante

Atividades

3/1999 - Atual
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
Tópicos Especiais em Engenharia de Software
Linguagens de Programação
Linguagens Formais e Autômatos
Linguagens Formais e Computabilidade
Programação Concorrente
Programação Orientada a Objetos
Projeto e Análise de Algoritmos
04/2009 - 05/2009
Ensino, Gestão de Projetos de Tecnologia da Informação, Nível: Especialização

Disciplinas ministradas
Métricas de Software
Tecnologias Atuais no Desenvolvimento de Software
09/2007 - 01/2009
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.

Cargo ou função
Coordenador de Curso de Especialização "Latu Sensu".
09/2006 - 09/2008
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.

Cargo ou função
Chefe de Departamento.
11/2007 - 11/2007
Ensino, Curso de Especialização em Engenharia de Software, Nível: Especialização

Disciplinas ministradas
Java Avançado
09/2005 - 2/2007
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.

Cargo ou função
Vice-Coordenador de Curso de Especialização.
09/2004 - 09/2006
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.

Cargo ou função
Coordenador de Curso.
05/2006 - 06/2006
Ensino, Especialização em Tecnologias da Informação, Nível: Especialização

Disciplinas ministradas
Padrões de Projeto e Framework
11/2005 - 12/2005
Ensino, Especialização em Tecnologias da Informação, Nível: Especialização

Disciplinas ministradas
Java Avançado
6/1999 - 5/2000
Ensino, Especialização Em Redes de Computadores, Nível: Especialização

Disciplinas ministradas
Introdução à Programação Orientada a Objetos
Plataformas Middleware

Compucenter Cia Ltda, COMPUCENTER, Equador.
Vínculo institucional

1986 - 1987
Vínculo: Celetista formal, Enquadramento Funcional: Programador, Carga horária: 40



Projetos de pesquisa


2016 - Atual
Verificação de transformações de programas orientados a objetos
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .
Integrantes: Giovanny Fernando Lucero Palma - Coordenador / Igor Nascimento dos Santos - Integrante / Lawrense Marçal Cantão - Integrante / Patrick Jones de Souza Cruz - Integrante.Número de orientações: 1
2012 - 2016
Refatoramento de Programas para Migração entre Estruturas de Dados
Situação: Concluído; Natureza: Pesquisa.
2009 - 2010
Automação Residencial com Iteração Vocal
Descrição: Esse projeto de pesquisa tem como objetivo produzir uma solução que permita controlar dispositivos elétricos e eletrônicos de uma residência, tais como sistema de iluminação e eletrodomésticos, por meio de um smartphone. Essa solução envolve o desenvolvimento de um software embarcado no dispositivo móvel para capturar comandos vocais do usuário e transmitir a um módulo servidor. O servidor, que também faz parte do trabalho desenvolvido, realiza análise acústica, léxica e semântica das sentenças enviadas pelo aparelho celular. O projeto é financiado com recursos da Lei de Informática..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) .
Integrantes: Giovanny Fernando Lucero Palma - Integrante / Leonardo Nogueira Matos - Coordenador / Hendrik Teixeira Macedo - Integrante.
1994 - 1996
MODDICO
Descrição: Especificação e análise de sistemas de telefonia celular baseadas em CDMA utilizando a técnica de descrição forma LOTOS.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (1) .
Integrantes: Giovanny Fernando Lucero Palma - Integrante / Paulo Roberto Freire Cunha - Coordenador.


Projetos de desenvolvimento


2009 - 2010
Automação Residencial com Interação Vocal
Descrição: Esse projeto de pesquisa tem como objetivo desenvolver uma solução que permita interação vocal com dispositivos de automação residencial conectados via redes ZigBee. Essa solução deve considerar o desenvolvimento de um software de reconhecimento e entendimento de fala que capture, interprete e execute comandos vocais proferidos por usuários humanos. Eventualmente, o software também emitirá respostas vocais. O escopo do projeto foca principalmente no uso de interação vocal dentro da aplicação de automação residencial Digital Home System (DHS) desenvolvida pela empresa SMS. No entanto, o software desenvolvido não deverá ser completamente específico, podendo ser adaptado para outros contextos que não sejam relacionados com automação residencial. Neste sentido, pretende-se investigar o uso do software de reconhecimento de voz dentro de um sistema de apoio à decisão, como um estudo de caso. Tendo em vista que tanto o hardware quanto o vocabulário da aplicação DHS/SMS possuem limitações que devem ser levadas em consideração, a solução deverá ser reduzida se comparada com uma solução genérica para reconhecimento e síntese de voz que opere em desktop..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (6) .
Integrantes: Giovanny Fernando Lucero Palma - Integrante / Leonardo Nogueira Matos - Coordenador / Hendrik Teixeira Macedo - Integrante.Financiador(es): SMS - Soluções em proteção de energia - Auxílio financeiro.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
2.
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.


Idiomas


Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.


Produções



Produção bibliográfica
Trabalhos completos publicados em anais de congressos
1.
CRUZ, P. J. S. ; LUCERO, G. . Leis de programação em Coq. In: Escola Regional Bahia - Alagoas - Sergipe, 2017, Cruz das Almas - Bahia. XVII ESCOLA REGIONAL DE COMPUTAÇÃO BAHIA - ALAGOAS ? SERGIPE Anais do Workshop de Trabalhos de Iniciação Científica e Graduação, 2017.

2.
LUCERO, G.; SAMPAIO, A. ; Naumann, D. . Laws of Programming for References. In: APLAS - 11th Asian Symposium, 2013, Melbourne. Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, 2013. v. 8301. p. 124-130.

3.
LUCERO, G.; Avila S. ; Silva L. ; Bispo K. . FiSiKa: Linguagem de Programação Funcional para Animação. In: Escola Regional Baia Sergipe - Workshop de Trabalhos de Iniciação Científica e Graduação, 2006, Aracaju. Escola Regional Baia Sergipe 2006 - Workshop de Trabalhos de Iniciação Científica e Graduação, 2006.

4.
Ribeiro B. ; LUCERO, G. ; Silva L. . LIFT: Aliando LOTOS a SPIN. In: Escola Regional Baia Sergipe - Workshop de Trabalhos de Iniciação Científica e Graduação, 2006, Aracaju. Escola Regional Baia Sergipe 2006 - Workshop de Trabalhos de Iniciação Científica e Graduação, 2006.

5.
LUCERO, G.; QUEMADA, J. . Specifying The ODP Trader: An Introduction To E-LOTOS. In: Joint International Conference FORTE/PSTV'97, 1997, Osaka. Proceedings of Joint International Conference FORTE/PSTV'97, 1997.

6.
LUCERO, G.; SILVA, Q. . Translating A Configuration Language To The Pi-Calculus. In: I Brazilian Symposium on Programming Languages, 1996, Belo Horizonte. Translating a Configuration Language to the pi-calculus, 1996.

7.
LUCERO, G.; MUSICANTE, S. R. P. M. ; MEIRA, L. . A Novel Formal Semantics For A Parallel Object-Oriented Language. In: XV International Conference of the Chilean Computer Science Society, 1995, Arica. A Novel Formal Semantics for a Parallel Object-Oriented Language, 1995.

8.
LUCERO, G.; MEIRA, S. R. L. . Comunicação, Concorrencia & Engenharia de Software. In: XIV Jornadas de Atualização em Informática, 1995, Canela. Comunicação, Concorrencia & Engenharia de Software, 1995.

9.
LUCERO, G.; SANTOS, P. R. S. ; Cunha P. R. F . Especificando Um Sistema Celular Baseado Em CDMA. In: Simpósio Integrado XXII SEMISH e Panel95, 1995, Canela. Especificando um Sistema Celular baseado em CDMA, 1995.

10.
LUCERO, G.; MEIRA, L. . Adding Processes To A Lazy Functional Language And A Possible Action Semantics For The Extension. In: XIV International Conference of the Chilean Computer Science Society, 1994, Concepción. Adding processes to a lazy functional language and a possible Action Semantics for the extension, 1994.

Resumos expandidos publicados em anais de congressos
1.
LUCERO, G.; SAMPAIO, A. . Laws of Programming with References. In: 14th Brazilian Symposium on Formal Methods, 2011, São Paulo. 14th Brazilian Symposium on Formal Methods: Short Papers. São Paulo: ICMC/USP, 2011.

Resumos publicados em anais de congressos
1.
Matos L. ; Macedo H. ; LUCERO, G. . Residential Automation with Vocal Interaction in Brazilian Portuguese Language. In: International Conference on Computational Processing of Portuguese Language, 2010, Porto Alegre RS. Proceedings of the 9th International Conference on Computational Processing of Portuguese Language - Session Demo (PROPOR 2010), 2010.

2.
Ribeiro B. ; LUCERO, G. . E-LIFT: Verifying E-LOTOS Specifications with SPIN. In: SBMF 2006 - Brazilian Symposium on Formal Methods, 2006. SBMF 2006 - Brazilian Symposium on Formal Methods.

3.
Ribeiro B. ; LUCERO, G. ; Silva L. . Verificação de Modelos de Sistemas Concorrentes Descritos em E-LOTOS. In: VII Congresso de Iniciação Científica - UFS, 2005, São Cristóvão. VII Congresso de Iniciação Científica - UFS, 2005.

4.
Avila S. ; Silva L. ; LUCERO, G. . Linguagens de Programação Funcionais e Reativas para o Ensino de Física. In: VII Congresso de Iniciação Científica - UFS, 2005. VII Congresso de Iniciação Científica - UFS, 2005.

5.
SOUZA, J. P. ; LUCERO, G. . Especificação e Projeto de Sistemas Comunicantes em E-LOTOS. In: II Congresso de Iniciação Científica - UFS, 2000, São Cristóvão. II Congresso de Iniciação Científica - UFS - Resumos, 2005.

Apresentações de Trabalho
1.
LUCERO, G.. Leis Algébricas da programação orientada a objetos. 2015. (Apresentação de Trabalho/Simpósio).

2.
LUCERO, G.. Leis algébricas da programação orientada a objetos. 2015. (Apresentação de Trabalho/Seminário).


Demais tipos de produção técnica
1.
LUCERO, G.. Java Avançado. 2006. (Curso de curta duração ministrado/Extensão).

2.
LUCERO, G.; Brunelli, L. ; Matos L. ; Salgueiro, R. . Projeto pedagógico do curso de Engenharia de Computação. 2006. (Elaboração de projeto pedagógico de curso de graduação).

3.
LUCERO, G.; FARO, M. V. A. S. ; Freire, A. . Projeto pedagógico do curso de Sistemas de Informação do campus de Itabaiana. 2005. (Elaboração de projeto pedagógico de curso de graduação).

4.
LUCERO, G.. Introdução à Programação Java. 1998. .

5.
LUCERO, G.; MEIRA, L. ; MEIRA, S. R. L. . Comunicação, Concorrência & Engenharia de Software. 1995. (Curso de curta duração ministrado/Outra).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
LUCERO, G.; BARROS, E.. Participação em banca de Vanessa Larize Alves de Carvalho. Validação de uma Especificacão TDevC para o desenvolvimento de Device Drivers Robustos. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Monografias de cursos de aperfeiçoamento/especialização
1.
LUCERO, G.. Participação em banca de Edson Farias. Garantindo e Controlando Qualidade de Software com Monitoramento Através de Modelos de Dados Dimensionais. 2009. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em Engenharia de Software) - Universidade Federal de Sergipe.

2.
LUCERO, G.; Silva L.; Nascimento, D.. Participação em banca de Henrique de Melo Cardoso e Sávio Américo Vieira Pessoa. PLUS - Planejamento Unificado de Software. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização em Tecnologias da Informação) - Universidade Federal de Sergipe.

3.
LUCERO, G.. Participação em banca de Elisângela Oliveira Rocha, Estelamaris da Costa Pina. Modelo de Melhoria de Qualidade nos Processos de Desenvolvimento de Software no CPD da UFS. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização em Tecnologias da Informação) - Universidade Federal de Sergipe.

4.
LUCERO, G.. Participação em banca de Glauco Luiz Rezende de Carvalho, Luiz Marcel Feitosa Melo. ReuseMais: Uma Ferramenta para Gestão de Componentes de Softwares. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização em Tecnologias da Informação) - Universidade Federal de Sergipe.

5.
LUCERO, G.. Participação em banca de Annanette R. de Oliveira, Jaziel Souza Lôbo, José W. Chaves. Desenvolvimento de um Sistema de Gestão de Almoxarifado para o Serviço Público Federal, utilizando Ferramentas LIvres. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização em Tecnologias da Informação) - Universidade Federal de Sergipe.

6.
LUCERO, G.. Participação em banca de Alfredo M. Vieira, Fábio S. F. Lima, Luiz E. F. Santos. Testes de Software: Teoria e Ferramentas. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização em Tecnologias da Informação) - Universidade Federal de Sergipe.

7.
LUCERO, G.. Participação em banca de Alberto Dantas Souza, Eduardo Silveira Garcez. GonaX - Ferramenta CASE para Criar Projetos e Gerar Código Fonte. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização em Tecnologias da Informação) - Universidade Federal de Sergipe.

Trabalhos de conclusão de curso de graduação
1.
LUCERO, G.; Silva L.; SOARES, M. S.. Participação em banca de Renato Silveira Nunes Júnior.Verificações Formais com Redes de Petri Coloridas em Processos de Saúde Modelados com BPMN. 2017. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

2.
LUCERO, G.; Ribeiro B.; Silva L.. Participação em banca de Rodrigo Benedito Otoni.Uma Estratégia para a Verificação de Implementações de Sistemas de Controle em Safety-Critical Java. 2016. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

3.
LUCERO, G.. Participação em banca de Marco Aurélio dos Santos, Paulo Eduardo Ferreira Osses.Construção do Portal Departamental: Definição e Validação da Arquitetura com a Implementação da Aplicação "Atualidade". 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

4.
Salgueiro, R.; LUCERO, G.. Participação em banca de Bruno Eduardo Nascimento Oliveira.Modelagem e Avaliação do Desempenho do Pop da Rede do Campus Principal da Universidade Federal de Sergipe. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

5.
LUCERO, G.. Participação em banca de Breno Piva Ribeiro.Extensões e Dados de Tempo para o LIFT. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

6.
LUCERO, G.. Participação em banca de Kalil Araújo Bispo.QoS em Sistemas Distribuídos. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

7.
LUCERO, G.. Participação em banca de Beatriz Trinchão Andrade.Explorando UML-RT na Modelagem de Sistemas Mecatrônicos. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

8.
LUCERO, G.. Participação em banca de Antonio Carlos de Carvalho Junior.Explorando Sistemas de Reescrita na Formalização de Refactorings. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

9.
LUCERO, G.. Participação em banca de Paula Costa de Souza, Vanessa Oliveira Fonseca.Estudo da Adequação do Uso da Plataforma Net e da Metodologo de Desenvolvimento XP na Elaboração de um Software para a Área Médica. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

10.
LUCERO, G.. Participação em banca de Edvanessa Florêncio e Silva, José Coutinho dos Santos Neto.Aplicando Programação Extrema no Desenvolvimento do Sistema de Alocação de salas do DAA/UFS. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

11.
LUCERO, G.. Participação em banca de Amdré Luis Menezes da Silva.Explorando Sistemas de Reescrita no Contexto de Co-Design. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

12.
LUCERO, G.. Participação em banca de Milton César de Souza Leite.Projeto e Implementação de um Sistema de Alocação de Salas para o DAA/UFS. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.



Participação em bancas de comissões julgadoras
Concurso público
1.
LUCERO, G.; DANTAS, D. O.. Concurso público para Professor Assistente-DE do Departamento de Computação da UFS. 2015. Universidade Federal de Sergipe.

2.
LUCERO, G.; Cornélio, M. L.; Silva, A.. Concurso público para professor efetivo em Computação, Algoritmos, Compiladores e Programação. 2009. Universidade Federal de Sergipe.

3.
LUCERO, G.; Matos L.; Cox, K.. Concurso público para professor substituto em Lógica para Computação e Programação Orientada a Objetos. 2009. Universidade Federal de Sergipe.

4.
LUCERO, G.; Andrade, A.; Santos, D.. Concurso público para professor efetivo em Computação, Algoritmos, Compiladores e Programação. 2008. Universidade Federal de Sergipe.

5.
Freire, A.; Nascimento, D.; LUCERO, G.. Concurso público para professor substituto em Programação I, Programação II, Introdução à Ciência da Computação e Microcomputadores. 2008. Universidade Federal de Sergipe.

6.
Salgueiro, R.; Matos L.; LUCERO, G.. Concurso público para professor substituto em Sistemas Operacionais, Sistemas Distribuídos, Arquittura de Computadores, Introdução à Ciência da Computação e Microcomputadores. 2008. Universidade Federal de Sergipe.

7.
Nascimento, D.; Macedo H.; LUCERO, G.. Concurso público para professor substituto em Teoria da Computação, Programação I, Introdução à Ciência da Computação e Microcomputadores. 2008. Universidade Federal de Sergipe.

8.
Salgueiro, R.; Brunelli, L.; LUCERO, G.. Concurso público para professor substituto em Sistemas Operacionais, Sistemas Distribuídos, Arquitetura de Computadores, Introdução à Ciência da Computação e Microcomputadores. 2008. Universidade Federal de Sergipe.

9.
Nascimento, D.; Salgueiro, R.; LUCERO, G.. Concurso público para professor substituto em Teoria da Computação, Programação I, Introdução à Ciência da Computação e Microcomputadores. 2008. Universidade Federal de Sergipe.

10.
Nascimento, D.; Macedo H.; LUCERO, G.. Concurso público para professor substituto em Teoria da Computação, Programação I, Introdução à Ciência da Computação e Microcomputadores. 2008. Universidade Federal de Sergipe.

11.
Nascimento, D.; LUCERO, G.; Macedo H.. Concurso público para professor substituto em Introdução à Ciência da Computação, Microcomputadores, Teoria Geral dos Sistemas e Gestão da Informação. 2007. Universidade Federal de Sergipe.

12.
Nascimento, D.; LUCERO, G.; Freire, A.. Concurso público para professor substituto em Tópicos Especiais em Sistemas Operacionais e Sistemas Distribuídos, Programação I, Microcomputadores e Introdução à Ciência da Computação. 2007. Universidade Federal de Sergipe.

13.
Matos L.; LUCERO, G.; Schneider, H.. Concurso público para professor substituto em Sistemas de Apoio à Decisão, Fundamentos de Sistemas de Informação. Introcução à Ciência da Computação e Microcomputadores. 2006. Universidade Federal de Sergipe.

14.
LUCERO, G.; Schneider, H.; Salgueiro, R.. Concurso público para professor substituto em Introdução à Ciência da Computação e Microcomputadores. 2006. Universidade Federal de Sergipe.

15.
LUCERO, G.; Brunelli, L.; Matos L.. Concurso público para professor substituto em Arquitetura de Computadores I e II, Introdução à Ciência da Computação e Microcomputadores. 2005. Universidade Federal de Sergipe.

16.
LUCERO, G.. Concurso público para professor substituto em Linguagens de Programação, Programação II e III, Introdução à Ciência da Computação e Microcomputadores. 2005. Universidade Federal de Sergipe.

17.
LUCERO, G.. Concurso público para professor substituto em Redes de Computadores, Lab. de Redes de Computadores, Introdução à Ciência da Computação e Microcomputadores. 2005. Universidade Federal de Sergipe.

Outras participações
1.
LUCERO, G.; Freire, A.; Matos L.. Comissão examinadora de Aproveitamento de Estudos em Microcomputadores. 2009. Universidade Federal de Sergipe.

2.
Salgueiro, R.; Silva L.; LUCERO, G.. Comissão examinadora de Aproveitamento de Estudos em Redes I. 2008. Universidade Federal de Sergipe.

3.
Freire, A.; LUCERO, G.; Macedo H.. Comissão examinadora de Aproveitamento de Estudos em Microcomputadores e Programação I. 2008. Universidade Federal de Sergipe.

4.
Cox, K.; Freire, A.; LUCERO, G.. Comissão examinadora de Aproveitamento de Estudos em Microcomputadores. 2007. Universidade Federal de Sergipe.

5.
Cox, K.; Nascimento, D.; LUCERO, G.. Comissão examinadora para seleção de monitores. 2007. Universidade Federal de Sergipe.

6.
Cox, K.; Nascimento, D.; LUCERO, G.. Comissão examinadora de Aproveitamento de Estudos em Fundamentos da Computação. 2007. Universidade Federal de Sergipe.

7.
Schneider, H.; LUCERO, G.; Matos L.. Comissão examinadora de Aproveitamento de Estudos em Programação I. 2006. Universidade Federal de Sergipe.

8.
Nascimento, D.; LUCERO, G.; Matos L.. Comissão examinadora de Aproveitamento de Estudos em Microcomputadores. 2006. Universidade Federal de Sergipe.

9.
LUCERO, G.; Silva L.; Salgueiro, R.. Comissão examinadora de Aproveitamento de Estudos em Compiladores. 2006. Universidade Federal de Sergipe.

10.
LUCERO, G.; Silva L.; Salgueiro, R.. Comissão examinadora para seleção de monitores. 2006. Universidade Federal de Sergipe.

11.
LUCERO, G.. Comissão examinadora de Aproveitamento de Estudos em Microcomputadores. 2005. Universidade Federal de Sergipe.

12.
LUCERO, G.; Cox, K.; Matos L.. Comissão examinadora para seleção de monitores. 2005. Universidade Federal de Sergipe.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Painel O ENADE e a Avaliação dos Cursos de Computação.VI ERBASE - Escola Regional de Computação Baia-Sergipe. 2006. (Simpósio).

2.
VI Workshop de Desenvolvimento Baseado em Componentes. 2006. (Outra).

3.
Simpósio Brasileiro de Métodos Formais.Revisor de artigos. 2004. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
LUCERO, G.. ACM International Collegiate Programming Contest - Brazilian first phase. 2009. (Concurso).

2.
LUCERO, G.. VI ERBASE - Escola Regional de Computação Baia-Sergipe. 2006. (Congresso).



Orientações



Orientações e supervisões concluídas
Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Márcio de Melo. Aplicações de Geoprocessamento na gestão de cadastro na Companhia de Saneamento de Sergipe- Deso. 2009. Monografia. (Aperfeiçoamento/Especialização em Curso de Especialização em Engenharia de Software) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

2.
José Henrique de Melo Cardoso, Sávio Américo Vieira Pêssoa. PLUS - Planejamento Unificado de Software. 2007. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologias da Informação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

3.
Glauco Luiz Rezende de Carvalho, Luiz Marcel Feitosa Melo. ReuseMais: Uma Ferramenta para Gestão de Componentes de Softwares. 2007. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologias da Informação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

4.
Renato Augusto Cruz Dantas. Interoperação de Sistemas Legados usando Corba. 2000. Monografia. (Aperfeiçoamento/Especialização em Especialização Em Redes de Computadores) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

Trabalho de conclusão de curso de graduação
1.
Igor Nascimento dos Santos. Uma Estratégia para Implementar Refatorações Seguras no Eclipse. 2017. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

2.
Eduardo Dória Lima, Bruno Lins Alves. Tupi: Um framework para gerar aplicacoes Web que usem comunicacão assíncrona cliente-servidor de forma transparente para o desenvolvedor. 2009. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

3.
Breno Piva Ribeiro. Extensões de dados e tempo para LIFT. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

4.
Marcos Taro Hide Farias, Anderson Luis Oliveira Franca. Aperipe - Implantação de serviços Web para o site do DCCE. 2001. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

5.
Rubens Allan Santos Isidoro, Rodrigo Octávio Melo do Amaral. Interoperação de sistemas legados. 2001. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

6.
Paulo Robson Ramos de Oliveira, Tarcísio da Rocha. Contractor - Programação por contrato em Java. 2001. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

7.
Jedidias Pereira Souza. Um compilador de E-LOTOS. 2001. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

8.
Lukas Santos Macedo. Aplicações em Java e Corba. 2000. Trabalho de Conclusão de Curso. (Graduação em Especialização Em Redes de Computadores) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

9.
Fabiana Nalone Andrade. Estudo, projeto e implementação da infra-estrutura dosservidores Internet/Intranet do DCCE. 2000. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

10.
Liane Marques Santos. Programação Concorrente: Um Tutorial. 2000. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

11.
Mauricio Vivas de Souza Barreto. Criação de Sites Web Dinâmicos com PHP. 2000. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

12.
Roberta Lilian R Nascimento, Luis Ricardo Belém Santos. Tecnologias Java para o Desenvolvimento de Aplicações Cliente/Servidor. 2000. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

13.
Alberto Costa Neto. Sistemas de Anúncios pela Internet. 1999. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

Iniciação científica
1.
PATRICK JONES DE SOUZA CRUZ. Refatorações confiáveis por construção. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

2.
Igor Nascimento dos Santos. Verificação algébrica de transformação de programas. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

3.
Lawrense Marçal Cantão. Consistência de Leis Algébricas de Programação Orientada a Objetos. 2016. Iniciação Científica - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

4.
Breno Piva Ribeiro. Verificação de Sistemas Concorrentes descritos em E-LOTOS.. 2005. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

5.
Sandra Eliza Fontes de Ávila. Linguagens de Programação Funcionais e Reativas para o Ensino de Física. 2005. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

6.
Jedidias Pereira Souza. Especificação e Projeto de Sistemas Comunicantes em E-LOTOS. 2000. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.

Orientações de outra natureza
1.
Zacarias Figueiredo Lima. Monitoria em Programação Imperativa. 2016. Orientação de outra natureza. (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Giovanny Fernando Lucero Palma.



Educação e Popularização de C & T



Apresentações de Trabalho
1.
LUCERO, G.. Leis Algébricas da programação orientada a objetos. 2015. (Apresentação de Trabalho/Simpósio).



Outras informações relevantes


Monitor da disciplina Linguagem de Programação I no Departamento de Informática da UFPE. 1992.



Página gerada pelo Sistema Currículo Lattes em 16/12/2018 às 11:46:57