André Luiz Galdino

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 Instituto de Matemática e Tecnologia da Universidade Federal de Catalão. Tem experiência na área de Matemática, com ênfase em Matemática Aplicada.

Informações coletadas do Lattes em 12/10/2025

Acadêmico

Formação acadêmica

Doutorado em Matemática

2004 - 2008

Universidade de Brasília, UnB
Título: Uma Formalização da Teoria de Reescrita em Linguagem de Ordem Superior
Orientador: em National Institute of Aerospace - NIA/NASA ( Dr. César A. Muñoz)
com , Ano de obtenção: 2008. 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

Mestrado em Matemática

1998 - 1999

Universidade Federal de Goiás
Título: Análise de equações diferenciais funcionais via equações a diferenças finitas
Orientador: Prof Dr. Ovídio Cândido de Oliveira Filho
, Ano de Obtenção: 2000.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 TerraSetores de atividade: Outros Setores.

Especialização em Matemática

1997 - 1998

Universidade Federal de Goiás - Campus Catalão
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.

Graduação em Matemática

1993 - 1996

Universidade Federal de Goiás

Pós-doutorado

2012 - 2013

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Teoria da Computação.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Análise.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra.

Organização de eventos

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).

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).

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).

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).

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).

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).

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).

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

Participação em eventos

Semana de Planejamento Institucional do Câmpus Catalão. 2013. (Outra).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

XI Semana do IMF. 1996. (Outra).

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

VIII Semana da IMF. 1993. (Outra).

Participação em bancas

Aluno: Renato Rodrigues Silva

SANTOS JÚNIOR, P. A.; Lemos, G. C.;GALDINO, A. L.. 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.

Aluno: Ana Cristina Rocha Oliveira

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

Aluno: Andréia Borges Avelar

Ayala-Rincón, M.; HAEUSLER, E. H.; MOURA, F. L. C.; Freitas, R.;GALDINO, A. L.. 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.

Aluno: Leonardo Dourado de Azevedo Neto

GALDINO, A. L.; RIBEIRO, M. R. R.; OLIVEIRA, P. J.. Atividades para o Ensino de Geometria Plana com GeoGebra e HTML. 2010. Monografia (Aperfeiçoamento/Especialização em Matematica) - Universidade Federal de Goiás.

Aluno: Luciana Renolphi

GALDINO, A. L.; SANTEE, D. M.; FARIA, J. M. C.. Ó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.

Aluno: Lisiane Alice Weiss Bezpalko e Mônica Gonçalves da Silva

SILVA, F. K.;GALDINO, A. L.; Vaz, C. M.; Rabelo, M. N.. 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.

Aluno: Marcelo Brandão Peixoto Júnior

CUNHA, J. B. B.;GALDINO, A. L.; SILVEIRA, D. S.; FERREIRA NETO, K.. 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.

Aluno: Luiz Antônio de Assis Machado

GALDINO, A. L.; BERGAMASCHI, P. R.; PURCINA, A. B.; MASTRELA, R.. 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.

Aluno: LUCAS RODRIGUES BORGES

Aluno: José Rafael da Silva e Diana Cortês de Souza

FREITAS, T. P. A.;GALDINO, A. L.; ROSA, M. C.. 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.

Aluno: ângela Maria Vieira e Erivelton Manoel de Jesus

SOUZA, C. F.;GALDINO, A. L.; BARBOSA, M. A.. 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.

Aluno: Alfredo Vieria Nunes e Eudes Gonçalves de Almeida Júnior

GALDINO, A. L.; BORGES, M.; SANTOS JUNIOR, P. A.. 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.

Aluno: RICARDO RODRIGUES BORGES

GALDINO, A. L.; ROSA, A. C.; GOMES, I. M. P.. 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.

Aluno: Juliane Feliciano da Costa Santos e Paulo Afonso de Almeida

GALDINO, A. L.; SANTOS JUNIOR, P. A.. 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.

Aluno: Cristina Aparecida de Souza e Glaúcia José Pereira

BORGES, M.;GALDINO, A. L.. 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.

GALDINO, A. L.; GONCALVES, D. P.. Banca de seleção de Monitoria (com bolsa). 2013. Universidade Federal de Goiás.

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

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

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.

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.

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

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.

Orientou

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;

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;

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;

LUCAS RODRIGUES BORGES

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;

Eudes Gonçalves de Almeida Júnior

Juliane Feliciano da Costa Santos

Paulo Afonso Aparecido de Almeida

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;

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;

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;

Mariane Cardoso

Produções bibliográficas

de Lima, Thaynara Arielly ; GALDINO, ANDRÉ LUIZ ; AVELAR, ANDRÉIA BORGES ; Ayala-Rincón, Mauricio . Formalization of Ring Theory in PVS. JOURNAL OF AUTOMATED REASONING , v. 65, p. 1231-1263, 2021.
AVELAR, A. B. ; de Lima, T. A. ; GALDINO, A. L. . Formalizing Ring Theory in PVS. Lecture Notes in Computer Science , v. 10895, p. 40-47, 2018.
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.
AVELAR, 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.
Avelar, 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.
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.
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.
GALDINO, 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.
GALDINO, A. L. ; Ayala-Rincón, M. . A Theory for Abstract Reduction Systems in PVS. CLEI Electronic Journal , v. 11, p. 1-12, 2008.
de Lima, T. A. ; GALDINO, A. L. ; RIBEIRO, B. B. O. ; Ayala-Rincón, M. . A Formalization of the General Theory of Quaternions. In: International Conference on Interactive Theorem Proving, 2024, Tblisi. LiPIcs Proc. 15th International Conference on Interactive Theorem Proving (ITP), 2024. v. 309. p. 11:1-11:18.
Ayala-Rincón, Mauricio ; ARIELLY DE LIMA, THAYNARA ; AVELAR, ANDRÉIA B. ; GALDINO, ANDRÉ LUIZ . Formalization of Algebraic Theorems in PVS (Invited Talk). In: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2023, Manizales. org.crossref.xschema._1.Title@6125260e. Manchester: EasyChair - EPiC Series in Computing, 2023. v. 94. p. 1-10.
LIMA, T. A. ; GALDINO, A. L. ; AVELAR, A. B. ; Ayala-Rincón, M. . Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. In: 18th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA), 2023, Rome. Proc. LSFA 2023, 2023. p. 6-21.
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.
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.
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.
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.
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.
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.
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.
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.
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.
GALDINO, A. L. . Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. 2007. (Apresentação de Trabalho/Congresso).
GALDINO, A. L. . A Theory for Abstract Reduction Systems in PVS. 2007. (Apresentação de Trabalho/Congresso).
GALDINO, A. L. . An Optimal 2-D Conflict Resolution Algorithm. 2006. (Apresentação de Trabalho/Conferência ou palestra).
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).
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).
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).
GALDINO, A. L. . Semântica e Tipos Dependentes do PVS e Aplicações. 2004. (Apresentação de Trabalho/Conferência ou palestra).
GALDINO, A. L. . Natureza e Matemática uma combinação interessante.. 2002. (Apresentação de Trabalho/Outra).
GALDINO, A. L. . Construindo Árvores com o uso do Computador. 2002. (Apresentação de Trabalho/Outra).
GALDINO, A. L. . Vamos Construir Florestas?. 2001. (Apresentação de Trabalho/Simpósio).
GALDINO, A. L. . Como Construir seu Proprio Jardim. 2001. (Apresentação de Trabalho/Outra).
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).
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).
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).
GALDINO, A. L. . A História da Equação do Segundo Grau. 1998. (Apresentação de Trabalho/Outra).
GALDINO, A. L. ; STOPPA, M. H. . Representação Única das Funções Schanuel. 1997. (Apresentação de Trabalho/Seminário).
GALDINO, A. L. . Funções Schanuel - Uma Introdução. 1997. (Apresentação de Trabalho/Outra).

Outras produções

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

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.

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

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

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).

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

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

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).

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. , Integrantes: André Luiz Galdino - Coordenador., Financiador(es): Fundação de Amparo a Pesquisa do Estado de Goiás - Auxílio financeiro.
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. , Integrantes: André Luiz Galdino - Coordenador.
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. , Integrantes: André Luiz Galdino - Coordenador.
2006 - 2016

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: Concluído; Natureza: Pesquisa. , Integrantes: André Luiz Galdino - Coordenador.

Prêmios

2007

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

Histórico profissional

Endereço profissional

Universidade Federal de Catalão, Instituto de Matemática e Tecnologia. , Av. Dr. Lamartine Pinto Avelar , 1120, Setor Universitário, 75705020 - Catalão, GO - Brasil - Caixa-postal: 56, Telefone: (64) 34415320, URL da Homepage:

Experiência profissional

2023 - 2023

Universidade Federal de Goiás

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

2021 - 2023

Universidade Federal de Goiás

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

2019 - 2021

Universidade Federal de Goiás

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

2017 - 2019

Universidade Federal de Goiás

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

2015 - 2017

Universidade Federal de Goiás

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

2013 - 2015

Universidade Federal de Goiás

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

2011 - 2013

Universidade Federal de Goiás

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

2009 - 2011

Universidade Federal de Goiás

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

Atividades

05/2010 - 07/2023
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 - 07/2023
Pesquisa e desenvolvimento, Câmpus Catalão, Departamento de Matemática.Linhas de pesquisa
08/2014 - 11/2018
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.
04/2017 - 04/2018
Ensino, PROFMAT, Nível: Pós-GraduaçãoDisciplinas ministradas, Números e Funções
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çãoDisciplinas ministradas, Sistemas Operacionais

2008 - 2009

Prefeirura Municipal de Catalão - Câmpus Catalão/UFG

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

2006 - 2008

Prefeirura Municipal de Catalão - Câmpus Catalão/UFG

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

2004 - 2006

Prefeirura Municipal de Catalão - Câmpus Catalão/UFG

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

2002 - 2004

Prefeirura Municipal de Catalão - Câmpus Catalão/UFG

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

2000 - 2002

Prefeirura Municipal de Catalão - Câmpus Catalão/UFG

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

1999 - 2000

Prefeirura Municipal de Catalão - Câmpus Catalão/UFG

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çãoDisciplinas 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).

2025 - Atual

UNIVERSIDADE FEDERAL DE CATALÃO

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

2023 - 2025

UNIVERSIDADE FEDERAL DE CATALÃO

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

Atividades

07/2023
Direção e administração, Instituto de Matemática e Tecnologia.Cargo ou função, Membro Conselho Diretor.