André Luiz Galdino

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


Possui graduação em Matemática pela Universidade Federal de Goiás (1996), mestrado em Matemática pela Universidade Federal de Goiás (2000) e doutorado em Matemática pela Universidade de Brasília (2008). Atualmente é professor do Departamento de Matemática da Universidade Federal de Goiás/Regional Catalão. Tem experiência na área de Matemática, com ênfase em Matemática Aplicada, atuando principalmente nos seguintes temas: Teoria de Reescrita e Método Formais. (Texto informado pelo autor)


Identificação


Nome
André Luiz Galdino
Nome em citações bibliográficas
GALDINO, A. L.;Galdino, André L.;Galdino, André L;GALDINO, ANDRÉ LUIZ

Endereço


Endereço Profissional
Universidade Federal de Goiás, Regional Catalão, Unidade Acadêmica Especial de Matemática e Tecnologia - IMTec.
Av. Dr. Lamartine Pinto Avelar , 1120
Setor Universitário
75705020 - Catalão, GO - Brasil - Caixa-postal: 56
Telefone: (64) 34415320
URL da Homepage: https://mat.catalao.ufg.br


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


2004 - 2008
Doutorado em Matemática.
Universidade de Brasília, UnB, Brasil.
com período sanduíche em National Institute of Aerospace - NIA/NASA (Orientador: Dr. César A. Muñoz).
Título: Uma Formalização da Teoria de Reescrita em Linguagem de Ordem Superior, Ano de obtenção: 2008.
Orientador: Dr. Mauricio Ayala Rincón.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Lambda Calculo; Matemática Computacional.
Grande área: Ciências Exatas e da Terra
1998 - 1999
Mestrado em Matemática.
Universidade Federal de Goiás, UFG, Brasil.
Título: Análise de equações diferenciais funcionais via equações a diferenças finitas,Ano de Obtenção: 2000.
Orientador: Prof Dr. Ovídio Cândido de Oliveira Filho.
Bolsista do(a): Fundação de Apoio à Pesquisa, FUNAPE, Brasil.
Palavras-chave: Equação funcional; Oscilação; Soluções periódicas; Lyness.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Outros Setores.
1997 - 1998
Especialização em Matemática. (Carga Horária: 420h).
Universidade Federal de Goiás - Campus Catalão, UFG - CAC, Brasil.
Título: Funções Schanuel, suas Árvores e Aplicações.
Orientador: Prof Ms. Marcelo Henrique Stoppa.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
1993 - 1996
Graduação em Matemática.
Universidade Federal de Goiás, UFG, Brasil.


Pós-doutorado


2012 - 2013
Pós-Doutorado.
Universidade de Brasília, UnB, Brasil.
Grande área: Ciências Exatas e da Terra


Atuação Profissional



Universidade Federal de Goiás, UFG, Brasil.
Vínculo institucional

2017 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado 1, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2015 - 2017
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 4, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2013 - 2015
Vínculo: , Enquadramento Funcional: Professor Adjunto 3, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2011 - 2013
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 2, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2009 - 2011
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 1, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

04/2017 - Atual
Ensino, PROFMAT, Nível: Pós-Graduação

Disciplinas ministradas
Números e Funções
08/2014 - Atual
Direção e administração, Regional Catalão, Unidade Acadêmica Especial de Matemática e Tecnologia - IMTec.

Cargo ou função
Subchefe da Unidade Acadêmica Especial de Matemática e Tecnologia.
05/2010 - Atual
Direção e administração, Regional Catalão, Unidade Acadêmica Especial de Matemática e Tecnologia - IMTec.

Cargo ou função
Coordenador do Laboratório de Simulação Matemática..
01/2009 - Atual
Pesquisa e desenvolvimento , Câmpus Catalão, Departamento de Matemática.

04/2013 - 06/2015
Outras atividades técnico-científicas , Câmpus Catalão, Câmpus Catalão.

Atividade realizada
Coordenador do projeto "Implementação de Critérios de Terminação em Linguagem de Ordem Superior", Edital 05/12, FAPEG Universal..
05/2014 - 08/2014
Direção e administração, Regional Catalão, Unidade Acadêmica Especial de Matemática e Tecnologia - IMTec.

Cargo ou função
Chefe e Assessor Acadêmico.
03/2013 - 04/2013
Direção e administração, Câmpus Catalão, Departamento de Matemática.

Cargo ou função
Chefe interino do Departamento de matemática do Câmpus Catalão/UFG.
11/2011 - 12/2011
Conselhos, Comissões e Consultoria, Câmpus Catalão, .

Cargo ou função
Comissão Julgadora do I Concurso de Logomarcas do ENACOMP.
07/2011 - 10/2011
Conselhos, Comissões e Consultoria, Câmpus Catalão, Departamento de Matemática.

Cargo ou função
Comitê Cinentífico do IX ENACOMP - Encontro Anual de Computação.
02/2011 - 06/2011
Conselhos, Comissões e Consultoria, Câmpus Catalão, Departamento de Matemática.

Cargo ou função
Membro da Comissão Científica do VII CONPEEC - Congresso da Pesquisa, Ensino, Extensão e Cultura.
04/2009 - 06/2009
Ensino, Especialização em Matemática, Nível: Especialização

Disciplinas ministradas
Sistemas Operacionais

Prefeirura Municipal de Catalão - Câmpus Catalão/UFG, PMC-CAC/UFG, Brasil.
Vínculo institucional

2008 - 2009
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto I, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2006 - 2008
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente IV, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2004 - 2006
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente III, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2002 - 2004
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente II, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2000 - 2002
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente I, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1999 - 2000
Vínculo: , Enquadramento Funcional: Professor Auxiliar I, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

11/2001 - 01/2004
Direção e administração, Câmpus Catalão - UFG, .

Cargo ou função
Coordenador de Pós-Graduação, Pesquisa e Extensão do Câmpus Catalão - UFG.
08/2001 - 01/2004
Conselhos, Comissões e Consultoria, Curso de Matemática, .

Cargo ou função
Membro do Conselho Diretor de Unidade (Câmpus Catalão - UFG), Membro de Comissão de Avaliação de Projetos de Pesquisa e Extensão do Departamento de Matemática do Câmpus Catalão.
04/2002 - 08/2003
Ensino, Especialização em Matemática, Nível: Especialização

Disciplinas ministradas
Análise na Reta (2002I, 2003I)
10/2002 - 10/2002
Conselhos, Comissões e Consultoria, Câmpus Catalão - UFG, .

Cargo ou função
Membro de Comissão Eleitoral.
02/2002 - 05/2002
Conselhos, Comissões e Consultoria, Curso de Matemática, .

Cargo ou função
Membro de Banca para Revisão de Prova, Membro de Comissão Eleitoral.
08/1999 - 12/2001
Extensão universitária , Curso de Matemática, .

Atividade de extensão realizada
Coordenador: Projeto Galileu - Curso de Matemática.
04/2001 - 04/2001
Conselhos, Comissões e Consultoria, Curso de Matemática, .

Cargo ou função
Membro de Banca Examinadora para Seleção de Monitor (Geometria Analítica e Cálculo I).


Linhas de pesquisa


1.
Matemática Aplicada
2.
Teoria da Reescrita
3.
Métodos Formais


Projetos de pesquisa


2013 - 2015
Coordenador do projeto FAPEG Universal: Implementação de Critérios de Terminação em Linguagens de Ordem Superior
Descrição: O objetivo central da pesquisa proposta é a formalização de uma teoria no assistente de prova PVS para o tratamento da propriedade de terminação em sistemas de reescrita de termos..
Situação: Concluído; Natureza: Pesquisa.
2009 - 2011
Multiterminal: uma alternativa para a montagem de laboratórios computacionais acadêmicos ''de baixo custo''
Descrição: Com o aumento do poder de processamento dos computadores, ou seja, a habilidade do computador em manipular dados, um grande número de tarefas podem ser executadas simultaneamentes sem sobrecarregar o computador, isto é, sem deixar o computador lento. O poder de processamento varia de acordo com a arquitetura do computador, no entanto, usando a maioria das configurações padrão disponíveis no mercado, as quais são superiores às necessidades básicas como acessar a internet, ler e-mails, editar textos e planilhas, e levando em conta que é possível haver somente um usuário utilizando o computador por vez, a utilização do computador se torna muito limitada, ou seja, o computador fica ocioso a maior parte do tempo. Isto leva a uma pergunta natural: Como aproveitar a capacidade ociosa dos computadores? É ai que surge a idéia de Multiterminal, ou seja, a utilização de um único computador (CPU) para conectar dois (ou mais) monitores, teclados e mouses, os quais podem operar independentemente um do outro, isto é, cada conjunto sob o controle de um usuário diferente..
Situação: Concluído; Natureza: Pesquisa.
2009 - 2010
E-MARIA: Ensinando Matemática Através de Recursos da Informática e Aplicações
Descrição: Pretende-se, com este projeto, estimular alunos e professores/educadores a debruçarem-se sobre as relações da Matemática com outros temas, fomentar a realização de atividades disciplinares e interdisciplinares e promover a divulgação de trabalhos através da Internet. Além disso, procurar abordar a usabilidade do software educativo, em particular o software GeoGebra, no aprendizado da matemática, bem como, propor novas implementações voltadas à matemática. Em outras palavras, o objetivo deste projeto é geral applets dinâmicos - applets java e hipertexto ? no contexto do ensino básico e superior, e disponibilizar através da internet..
Situação: Concluído; Natureza: Pesquisa.
2006 - Atual
Especificação da Teoria de Reescrita em PVS
Descrição: Baseado em uma lógica de ordem-superior tipada simples, o PVS (Prototype Verification System) possui uma linguagem de especificação projetada para admitir especificações sucintas, legíveis, e logicamente significantes, de forma a efetivar construções de provas em vez de execuções eficientes. Além disso, a linguagem de especificação do PVS contém diferentes construtores de tipos, subtipos e tipos dependentes. Existem importantes aplicações desenvolvidas no PVS, como por exemplo, demonstrações de teoremas clássicos da análise matemática e verificação de provas, para especificação de ponto flutuante, correção e especificações de hardware, algoritmos distribuídos, protocolos e aplicação a sistemas críticos. No entanto, apesar da sua expressividade e aplicabilidade, o PVS não contém uma completa teoria, também estratégias de prova, para teoria de reescrita. Desta forma, o objetivo deste projeto é fazer um estudo formal e desenvolver uma teoria, também estratégias de prova, para teoria de reescrita no sistema PVS..
Situação: Em andamento; Natureza: Pesquisa.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada.
2.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Teoria da Computação.
3.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Análise.
4.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra.


Idiomas


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


Prêmios e títulos


2007
Melhores Trabalhos CLEI 2007 - convite publicação número especial CLEI Elec. Journal, CLEI.


Produções



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

1.
ROCHA-OLIVEIRA, ANA CRISTINA2017 ROCHA-OLIVEIRA, ANA CRISTINA ; GALDINO, A. L. ; Ayala-Rincón, M. . Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System. JOURNAL OF AUTOMATED REASONING, v. 58, p. 231-251, 2017.

2.
AVELAR, A. B.2014AVELAR, A. B. ; GALDINO, A. L. ; DE MOURA, F. L. C. ; AYALA-RINCON, M. . First-order unification in the PVS proof assistant. Logic Journal of the IGPL (Print), v. 22, p. 758-789, 2014.

3.
Avelar, Andréia B2012Avelar, Andréia B ; Galdino, André L ; de Moura, Flávio LC ; Ayala-Rincón, Mauricio . A Formalization of the Theorem of Existence of First-Order Most General Unifiers. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, v. 81, p. 63-78, 2012.

4.
Galdino, André L.2010 Galdino, André L.; Ayala-Rincón, Mauricio . A Formalization of the Knuth Bendix( Huet) Critical Pair Theorem. Journal of Automated Reasoning, v. 45, p. 301-325, 2010.

5.
GALDINO, A. L.2009 GALDINO, A. L.; Ayala-Rincón, M. . A PVS Theory for Term Rewriting Systems. Electronic Notes in Theoretical Computer Science, v. 247, p. 67-83, 2009.

6.
GALDINO, A. L.;Galdino, André L.;Galdino, André L;GALDINO, ANDRÉ LUIZ2008GALDINO, A. L.; Ayala-Rincón, M. . A Formalization of Newman's and Yokouchi's Lemmas in a Higher-Order Language. Journal of Formalized Reasoning, v. 1, p. 39-50, 2008.

7.
GALDINO, A. L.;Galdino, André L.;Galdino, André L;GALDINO, ANDRÉ LUIZ2008GALDINO, A. L.; Ayala-Rincón, M. . A Theory for Abstract Reduction Systems in PVS. CLEI Electronic Journal, v. 11, p. 1-12, 2008.

Trabalhos completos publicados em anais de congressos
1.
OLIVEIRA, A. C. R. ; Galdino, André L. ; Ayala-Rincón, M. . Synchronizing Applications of the Parallel Moves Lemma to Formalize Confluence of Orthogonal TRSs in PVS. In: 2nd International Workshop on Confluence, IWC 2013, 2013, Eindhoven. Proc. 2nd International Workshop on Confluence IWC 2013. Eindhoven: RDP, 2013. p. 47-51.

2.
AVELAR, A. B. ; MOURA, F. L. C. ; GALDINO, A. L. ; Ayala-Rincón, M. . Verification of The Completeness of Unification Algorithms à la Robinson. In: 17th Workshop on Logic, Language, Information and Computation, 2010, Brasília. Springer LNCS Proc. 17th Workshop on Logic, Language, Information and Computation. Heidelberg: Springer-Verlag, 2010. v. 6188. p. 110-124.

3.
GALDINO, A. L.; Ayala-Rincón, M. . Verification of Newman's and Yokouchi's Lemmas in PVS. In: Computability in Europe 2008 Logic and Theory of Algorithms CiE 2008, 2008, Atenas. Pre-proceedings volume CiE 2008, 2008.

4.
GALDINO, A. L.; Ayala-Rincón, M. . A Theory for Abstract Reduction Systems in PVS. In: XXXIII Conferencia Latinoamericana de Informática, 2007, San José. Memorias de la XXXIII Conferencia Latinoamericana de Informática. San José: CLEI 2007, 2007. p. 1-16.

5.
GALDINO, A. L.; Muñoz, C. ; Ayala-Rincón, M. . Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. In: 14th International Workshop on Logic, Language, Information and Computation - WoLLIC 2007, 2007, Rio de Janeiro. Springer-Verlag LNCS. Berlin: Springer-Verlag, 2007. v. 4576. p. 177-188.

6.
GALDINO, A. L.. Vamos Contruir Florestas?. In: Simpósio de Matemática - XII Jornada de Matemática de Catalão, 2001, Catalão - Goiás. Simpósio de Matemática - XII Jornada de Matemática, 2001. v. 1. p. 42-48.

7.
OLIVEIRA FILHO, O. C. ; GALDINO, A. L. . Análise de Equações Diferencias Funcionais via Equações Diferença. In: 50º Seminário Brasileiro de Análise - SBA, 1999, São Paulo - SP. 50º Seminário Brasileiro de Análise, 1999. v. I. p. 523-537.

8.
STOPPA, M. H. ; GALDINO, A. L. . A representação única das Funções Schanuel. In: 46º Seminário Brasileiro de Análise - SBA, 1997, Niterói - RJ. 46º Seminário Brasileiro de Análise, 1997. v. Único. p. 407-417.

9.
GALDINO, A. L.. Desigualdade de Cauchy-Schwartz. In: VII Jornada de Matemática, 1996, Catalão - Go. VII Jornada de Matemática, 1996. v. 1. p. 07-10.

Apresentações de Trabalho
1.
GALDINO, A. L.. Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. 2007. (Apresentação de Trabalho/Congresso).

2.
GALDINO, A. L.. A Theory for Abstract Reduction Systems in PVS. 2007. (Apresentação de Trabalho/Congresso).

3.
GALDINO, A. L.. An Optimal 2-D Conflict Resolution Algorithm. 2006. (Apresentação de Trabalho/Conferência ou palestra).

4.
GALDINO, A. L.. Estratégias da Teoria de Reescrita em PVS: considerações sobre especificação e aplicações. 2006. (Apresentação de Trabalho/Conferência ou palestra).

5.
GALDINO, A. L.. Demonstrações, Tipos e o Cálculo de Inferência do Assistente de Provas PVS. 2005. (Apresentação de Trabalho/Conferência ou palestra).

6.
GALDINO, A. L.. Verificação Formal em PVS do Sistema KB2D de Resolução de Conflitos de Tráfego Áereo. 2005. (Apresentação de Trabalho/Conferência ou palestra).

7.
GALDINO, A. L.. Semântica e Tipos Dependentes do PVS e Aplicações. 2004. (Apresentação de Trabalho/Conferência ou palestra).

8.
GALDINO, A. L.. Natureza e Matemática uma combinação interessante.. 2002. (Apresentação de Trabalho/Outra).

9.
GALDINO, A. L.. Construindo Árvores com o uso do Computador. 2002. (Apresentação de Trabalho/Outra).

10.
GALDINO, A. L.. Vamos Construir Florestas?. 2001. (Apresentação de Trabalho/Simpósio).

11.
GALDINO, A. L.. Como Construir seu Proprio Jardim. 2001. (Apresentação de Trabalho/Outra).

12.
GALDINO, A. L.; SILVA, É. A. ; SANTOS JUNIOR, P. A. . Aplicações da Álgebra a Códigos de Bose-Chaudhuri. 2000. (Apresentação de Trabalho/Outra).

13.
GALDINO, A. L.. Comportamento Oscilatório e Assintótico da Equação x'(t)= ax(t) + bx([t]) + dx([t+1]). 1999. (Apresentação de Trabalho/Comunicação).

14.
GALDINO, A. L.; OLIVEIRA FILHO, O. C. . Análise de Equações Diferenciais Funcionais via Equações Diferenças. 1999. (Apresentação de Trabalho/Seminário).

15.
GALDINO, A. L.. A História da Equação do Segundo Grau. 1998. (Apresentação de Trabalho/Outra).

16.
GALDINO, A. L.; STOPPA, M. H. . Representação Única das Funções Schanuel. 1997. (Apresentação de Trabalho/Seminário).

17.
GALDINO, A. L.. Funções Schanuel - Uma Introdução. 1997. (Apresentação de Trabalho/Outra).


Produção técnica
Programas de computador sem registro
1.
AVELAR, A. B. ; GALDINO, A. L. ; Ayala-Rincón, M. . UNIFICATION - Uma teoria PVS para unificação em sistemas de primeira ordem - Parte de NASA LaRC PVS library. 2011.

2.
GALDINO, A. L.. groups - PVS theory for Groups - Parte de NASA LaRC PVS library. 2011.

3.
GALDINO, A. L.; Ayala-Rincón, M. . TRS - PVS theory for term rewriting systems - Parte de NASA LaRC PVS library. 2008.

4.
GALDINO, A. L.; Ayala-Rincón, M. . ARS - PVS theory for abstract reduction systems - Parte de NASA LaRC PVS library. 2007.


Demais tipos de produção técnica
1.
GALDINO, A. L.; SOUZA, C. F. ; SANTEE, D. M. ; SILVA, F. K. ; FUCHIGAMI, H. Y. ; CUNHA, J. B. B. ; STOPPA, M. H. ; RIBEIRO, M. R. R. ; BERGAMASCHI, P. R. ; QUEIROZ, T. A. ; GUIMARAES, T. A. . IV Simpósio de Matemática e Matemática Industrial. 2012. (Editoração/Anais).

2.
GALDINO, A. L.. Modelo Matemático para Descrever uma Infecção Virótica. 2003. (Curso de curta duração ministrado/Extensão).

3.
GALDINO, A. L.; SANTEE, D. M. . Simpósio de Matemática - XIV Jornada de Matemática de Catalão. 2003. (Editoração/Anais).

4.
GALDINO, A. L.. Tudo o que você queria saber sobre a Equação do 2º Grau e não lhe contaram. 1999. (Curso de curta duração ministrado/Extensão).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
SANTOS JÚNIOR, P. A.; Lemos, G. C.; GALDINO, A. L.. Participação em banca de Renato Rodrigues Silva. Razão Áurea como Motivação ao Estudo de Conteúdos Matemáticos. 2014. Dissertação (Mestrado em PROFMAT) - Universidade Federal de Goiás - Campus Catalão.

2.
Ayala-Rincón, M.; GALDINO, A. L.; HAEUSLER, E. H.. Participação em banca de Ana Cristina Rocha Oliveira. Formalização da Confluência para Sistemas de Reescrita Ortogonais. 2012. Dissertação (Mestrado em Matemática) - Universidade de Brasília.

Teses de doutorado
1.
Ayala-Rincón, M.; HAEUSLER, E. H.; MOURA, F. L. C.; Freitas, R.; GALDINO, A. L.. Participação em banca de Andréia 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.

Monografias de cursos de aperfeiçoamento/especialização
1.
GALDINO, A. L.; RIBEIRO, M. R. R.; OLIVEIRA, P. J.. Participação em banca de Leonardo Dourado de Azevedo Neto. Atividades para o Ensino de Geometria Plana com GeoGebra e HTML. 2010. Monografia (Aperfeiçoamento/Especialização em Matematica) - Universidade Federal de Goiás.

2.
GALDINO, A. L.; SANTEE, D. M.; FARIA, J. M. C.. Participação em banca de Luciana Renolphi. Ótica no Ensino Médio. 2003. Monografia (Aperfeiçoamento/Especialização em Especialização em Matemática) - Campus de Catalão da Universidade Federal de Goiás.

Trabalhos de conclusão de curso de graduação
1.
SILVA, F. K.; GALDINO, A. L.; Vaz, C. M.; Rabelo, M. N.. Participação em banca de Lisiane Alice Weiss Bezpalko e Mônica Gonçalves da Silva.O Jogo Ouro de Tolo como Ferramenta no Ensino de Probabilidade. 2014. Trabalho de Conclusão de Curso (Graduação em Matemática Licenciatura) - Universidade Federal de Goiás - Campus Catalão.

2.
CUNHA, J. B. B.; GALDINO, A. L.; SILVEIRA, D. S.; FERREIRA NETO, K.. Participação em banca de Marcelo Brandão Peixoto Júnior.Ensinando Geometria por meio da Resolução de Problemas. 2013. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal de Goiás.

3.
GALDINO, A. L.; BERGAMASCHI, P. R.; PURCINA, A. B.; MASTRELA, R.. Participação em banca de Luiz Antônio de Assis Machado.Ensinando Análise Combinatória por meio de Resolução de Problemas. 2011. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal de Goiás.

4.
GALDINO, A. L.; BERGAMASCHI, P. R.; PURCINA, A. B.; MASTRELA, R.. Participação em banca de Lucas Rodrigues Borges.Ensinando Análise Combinatória por meio de Resolução de Problemas. 2011. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal de Goiás.

5.
FREITAS, T. P. A.; GALDINO, A. L.; ROSA, M. C.. Participação em banca de José Rafael da Silva e Diana Cortês de Souza.Resolução de Problemas: Um auxílio no ensino de matemática. 2009. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal de Goiás.

6.
SOUZA, C. F.; GALDINO, A. L.; BARBOSA, M. A.. Participação em banca de ângela Maria Vieira e Erivelton Manoel de Jesus.Geometria Plana e Espacial: Uma experiência utilizando modelagem matemática no Colégio Estadual Anice Cecílio Pedreiro. 2009. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal de Goiás.

7.
GALDINO, A. L.; BORGES, M.; SANTOS JUNIOR, P. A.. Participação em banca de Alfredo Vieria Nunes e Eudes Gonçalves de Almeida Júnior.Numerais decimais e sistemas de medidas: Uma abordagem do Ensino da Matemática através da resolução. 2008. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal de Goiás.

8.
GALDINO, A. L.; ROSA, A. C.; GOMES, I. M. P.. Participação em banca de Ricardo Rodrigues Borges.Modelagem matemática como estratégia de ensino-aprendizagem de matrizes. 2008. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal de Goiás.

9.
GALDINO, A. L.; SANTOS JUNIOR, P. A.. Participação em banca de Juliane Feliciano da Costa Santos e Paulo Afonso de Almeida.Uma perspectiva de valorização do ensino: Ensinando segundo a abordagem da resolução de problemas. 2008. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal de Goiás.

10.
BORGES, M.; GALDINO, A. L.. Participação em banca de Cristina Aparecida de Souza e Glaúcia José Pereira.Matemática Financeira na vida e na escola: contra pontos entre teoria e a prática. 2008. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal de Goiás.



Participação em bancas de comissões julgadoras
Outras participações
1.
GALDINO, A. L.; GONCALVES, D. P.. Banca de seleção de Monitoria (com bolsa). 2013. Universidade Federal de Goiás.

2.
GALDINO, A. L.; QUEIROZ, L. R. S.. Banca de seleção de Monitoria (com bolsa). 2012. Universidade Federal de Goiás.

3.
GALDINO, A. L.; SILVA, É. A.. Banca de seleção de Monitoria (com bolsa). 2011. Universidade Federal de Goiás.

4.
GALDINO, A. L.; SANTOS JÚNIOR, P. A.; SANTOS, A. S.. Banca de Seleção de Estagiário para o Laboratório de Simulação Matemática CAC/UFG. 2011. Universidade Federal de Goiás.

5.
SILVA, É. A.; GALDINO, A. L.; BORGES, M.. Banca de Seleção de Estagiário para o Curso de Matemática do Câmpus Catalão/UFG. 2010. Universidade Federal de Goiás.

6.
GALDINO, A. L.; SOUZA, J. M. E.; BERGAMASCHI, P. R.. Banca de seleção de Monitoria (com bolsa). 2010. Universidade Federal de Goiás.

7.
GALDINO, A. L.; SOUZA, C. F.; FREITAS, T. P. A.. Banca de seleção de Monitoria (com bolsa). 2007. Campus de Catalão da Universidade Federal de Goiás.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Semana de Planejamento Institucional do Câmpus Catalão. 2013. (Outra).

2.
IV Simpósio de Matemática e Matemática Industrial. 2012. (Simpósio).

3.
II Simpósio de Matemática e Matemática Industrial. 2010. (Simpósio).

4.
I Simpósio de Matemática e Matemática Industrial. 2009. (Simpósio).

5.
RDP 2009 - Federated Conference on Rewriting, Deduction & Programming. 2009. (Congresso).

6.
14 Workshop on Logic, Language, Information and Computation. 2007. (Congresso).

7.
XXVII Congresso da Sociedade Brasileira de Computação. 2007. (Congresso).

8.
XXXIII Conferencia Latinoamericana de Informática. 2007. (Congresso).

9.
4o Seminário Informal(, mas Formal!) do Grupo de Teoria da Computação. 2006. (Seminário).

10.
3o Seminário Informal(, mas Formal!) do Grupo de Teoria da Computação. 2005. (Seminário).

11.
Seminário do Grupo de Teoria da Computação. 2005. (Seminário).

12.
2o Seminário Informal(, mas Formal!) do Grupo de Teoria da Computação. 2004. (Seminário).

13.
Simpósio de Matemática - XIV Jornada de Matemática de Catalão. 2003. (Simpósio).

14.
Simpósio de Matemática - XIII Jornada de Matemática de Catalão. 2002. (Simpósio).

15.
23º Colóquio Brasileiro de Matemática. 2001. (Outra).

16.
Primeiro Encontro de Matemática e Educação Matemática. 2001. (Encontro).

17.
Simpósio de Matemática - XII Jornada de Matemática de Catalão. 2001. (Simpósio).

18.
V Encontro de Matemática e Estatística da UFG. 2001. (Encontro).

19.
ICMC - V Summer Meeting on Differential Equations. 2000. (Outra).

20.
Simpósio de Matemática - XI Jornada de Matemática de Catalão. 2000. (Simpósio).

21.
22º Colóquio Brasileiro de Matemática. 1999. (Outra).

22.
50º Seminário Brasileiro de Análise. 1999. (Seminário).

23.
III Encontro de Matemática e Estatística da UFG. 1999. (Encontro).

24.
Simpósio de Matemática - X Jornada de Matemática de Catalão. 1999. (Simpósio).

25.
II Encontro de Matemática e Estatística da UFG. 1998. (Encontro).

26.
1º Encontro de Computação. 1997. (Encontro).

27.
21º Colóquio Brasileiro de Matemática. 1997. (Congresso).

28.
46º Seminário Brasileiro de Análise. 1997. (Seminário).

29.
I Encontro de Matemática e Estatística da UFG. 1997. (Encontro).

30.
IV Encontro Regional de Educação Matemática. 1997. (Encontro).

31.
IV Jornada de Educação Matemática. 1997. (Outra).

32.
VIII Jornada de Matemática de Catalão. 1997. (Outra).

33.
III Encontro Regional de Educação Matemática. 1996. (Encontro).

34.
VII Jornada de Matemática de Catalão. 1996. (Outra).

35.
XI Semana do IMF. 1996. (Outra).

36.
IV Jornada de Matemática de Catalão. 1993. (Outra).

37.
VIII Semana da IMF. 1993. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
SILVA, F. K. ; GALDINO, A. L. ; SILVA, É. A. ; SANTOS JÚNIOR, P. A. ; RIBEIRO, M. R. R. ; SOUZA, C. F. ; SANTEE, D. M. ; FREITAS, T. P. A. . IV Simpósio de Matemática e Matemática Industrial. 2012. (Congresso).

2.
GALDINO, A. L.; SOUZA, C. F. ; SANTEE, D. M. ; SILVA, É. A. ; SILVA, F. K. ; SOUZA, J. M. E. ; BERGAMASCHI, P. R. ; CUNHA, J. B. B. ; RIBEIRO, M. R. R. ; SANTOS JÚNIOR, P. A. ; BORGES, R. A. ; GUIMARAES, T. A. . III Simpósio de Matemática e Matemática Industrial. 2011. (Congresso).

3.
BORGES, M. ; FREITAS, T. P. A. ; CUNHA, J. B. B. ; GALDINO, A. L. ; OLIVEIRA, P. J. ; SANTOS JUNIOR, P. A. ; SILVA, É. A. ; SILVA, F. K. ; SOUZA, C. F. . II Simpósio de Matemática e Matemática Industrial. 2010. (Congresso).

4.
GALDINO, A. L.; SOUZA, C. F. ; SILVA, É. A. ; SILVA, F. K. ; CUNHA, J. B. B. ; BORGES, M. ; RIBEIRO, M. R. R. ; OLIVEIRA, P. J. ; SANTOS JUNIOR, P. A. ; STOPPA, M. H. ; BERGAMASCHI, P. R. ; FREITAS, T. P. A. . I Simpósio de Matemática e Matemática Industrial. 2009. (Congresso).

5.
GALDINO, A. L.; BORGES, M. ; SILVA, É. A. ; SANTOS JÚNIOR, P. A. ; RIBEIRO, M. R. R. . Simpósio de Matemática - XIII Jornada de Matemática de Catalão. 2002. (Outro).

6.
GALDINO, A. L.; SILVA, É. A. ; RIBEIRO, M. R. R. ; SANTOS JÚNIOR, P. A. . Simpósio de Matemática - XII Jornada de Matemática. 2001. (Outro).

7.
GALDINO, A. L.; RIBEIRO, M. R. R. ; SILVA, É. A. ; FERREIRA, R. . Símposio de Matemática - XI Jornada de Matemática de Catalão. 2000. (Outro).

8.
GALDINO, A. L.; RIBEIRO, M. R. R. ; FERREIRA, R. . Simpósio de Matemática - X jornada de matemática de Catalão. 1999. (Outro).



Orientações



Orientações e supervisões concluídas
Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Leonardo Dourado de Azevedo Neto. Atividades para o Ensino de Geometria Plana com GeoGebra e HTML. 2010. Monografia. (Aperfeiçoamento/Especialização em Matematica) - Universidade Federal de Goiás. Orientador: André Luiz Galdino.

2.
Luciana Renolphi. Ótica no Ensino Médio. 2003. Monografia. (Aperfeiçoamento/Especialização em Especialização em Matemática) - Campus de Catalão da Universidade Federal de Goiás. Orientador: André Luiz Galdino.

Trabalho de conclusão de curso de graduação
1.
Luiz Antônio de Assis Machado. Ensinando Análise Combinatória por meio de Resolução de Problemas. 2011. Trabalho de Conclusão de Curso. (Graduação em Matemática) - Universidade Federal de Goiás. Orientador: André Luiz Galdino.

2.
Lucas Rodrigues Borges. Ensinando Análise Combinatória por meio de Resolução de Problemas. 2011. Trabalho de Conclusão de Curso. (Graduação em Matemática) - Universidade Federal de Goiás. Orientador: André Luiz Galdino.

3.
Alfredo Viera Nunes. Trabalho Final de Curso. 2008. Trabalho de Conclusão de Curso. (Graduação em Licenciatura Plena em Matemática) - Campus de Catalão da Universidade Federal de Goiás. Orientador: André Luiz Galdino.

4.
Eudes Gonçalves de Almeida Junior. Trabalho Final de Curso. 2008. Trabalho de Conclusão de Curso. (Graduação em Licenciatura Plena em Matemática) - Campus de Catalão da Universidade Federal de Goiás. Orientador: André Luiz Galdino.

5.
Juliane Feliciano da Costa Santos. Trabalho Final de Curso. 2008. Trabalho de Conclusão de Curso. (Graduação em Licenciatura Plena em Matemática) - Campus de Catalão da Universidade Federal de Goiás. Orientador: André Luiz Galdino.

6.
Paulo Afonso Aparecido de Almeida. Trabalho Final de Curso. 2008. Trabalho de Conclusão de Curso. (Graduação em Licenciatura Plena em Matemática) - Campus de Catalão da Universidade Federal de Goiás. Orientador: André Luiz Galdino.

7.
Ana Paula Purcina. O Ensino de Matemática no Ensino Médio - Primeira Parte. 2003. Trabalho de Conclusão de Curso. (Graduação em Licenciatura Plena em Matemática) - Campus de Catalão da Universidade Federal de Goiás. Orientador: André Luiz Galdino.

8.
Elcimar Rabelo de Oliveira. O Ensino de Matemática no Ensino Médio - Segunda Parte. 2003. Trabalho de Conclusão de Curso. (Graduação em Licenciatura Plena em Matemática) - Campus de Catalão da Universidade Federal de Goiás. Orientador: André Luiz Galdino.

Orientações de outra natureza
1.
Ricardo Carísio Batista de Paiva. Monitoria. 2007. Orientação de outra natureza. (Licenciatura Plena em Matemática) - Campus de Catalão da Universidade Federal de Goiás, Universidade Federal de Goiás. Orientador: André Luiz Galdino.

2.
Mariane Cardoso. Monitoria. 2007. Orientação de outra natureza. (Licenciatura Plena em Matemática) - Campus de Catalão da Universidade Federal de Goiás, Universidade Federal de Goiás. Orientador: André Luiz Galdino.




Página gerada pelo Sistema Currículo Lattes em 22/10/2018 às 21:57:04