Haroldo Goncalves Benatti

Possui graduação em Engenharia Civil pela Universidade Estadual de Feira de Santana (1990), mestrado em Ciências da Computação pela Universidade de São Paulo (1993) e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco (2000). Atualmente é professor titular da Universidade Estadual de Feira de Santana. Possui interesse em Matemática Discreta e Modelos de Regressão.

Informações coletadas do Lattes em 03/04/2024

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

1994 - 2000

Universidade Federal de Pernambuco
Título: Complexidade Descritiva de Problemas em Grafos
Orientador: Ruy José Guerra Barreto de Queiroz
, Ano de obtenção: 2000. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Teoria dos Modelos; Lógica; Grafos; Complexidade Descritiva; Complexidade Computacional.Grande área: Ciências Exatas e da Terra

Mestrado em Ciências da Computação

1990 - 1993

Universidade de São Paulo
Título: Homeomorfismo em Grafos: Algoritmos e Complexidade Computacional
, Ano de Obtenção: 1994.Yoshiko Wakabayashi.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Grafos; Análise de Algoritmos; Complexidade Computacional; Homeomorfismo.Grande área: Ciências Exatas e da Terra

Graduação em Engenharia Civil

1984 - 1990

Universidade Estadual de Feira de Santana

Formação complementar

2023 - 2023

Métodos Estatísticos Epidemiológicos. (Carga horária: 60h). , Universidade Estadual de Maringá, UEM, Brasil.

2023 - 2023

Probabilidade (Mestrado - Área de Concentração Estatística). (Carga horária: 68h). , Universidade Federal da Bahia, UFBA, Brasil.

2022 - 2022

Introdução à Inferência Estatística (Mest em Estatística Aplicado a Saúde. (Carga horária: 60h). , Universidade Estadual de Maringá, UEM, Brasil.

2022 - 2022

Modelos Lineares Generalizados A (Mestrado Estatística). (Carga horária: 102h). , Universidade Federal da Bahia, UFBA, Brasil.

2022 - 2022

Bioestatística (Mestrado em Estatística Aplicado a Saúde). (Carga horária: 60h). , Universidade Estadual de Maringá, UEM, Brasil.

2019 - 2019

Técnicas Computacionais em Estatística (Mestrado Estatística). (Carga horária: 102h). , Universidade Federal da Bahia, UFBA, Brasil.

2000 - 2000

Análise Real. (Carga horária: 90h). , Universidade Federal de Pernambuco, UFPE, Brasil.

1989 - 1989

Noções de Computação II. (Carga horária: 75h). , Universidade de São Paulo, USP, Brasil.

1989 - 1989

Álgebra Linear. (Carga horária: 64h). , Universidade de São Paulo, USP, Brasil.

1987 - 1987

Extensão universitária em Noções de Computação. (Carga horária: 94h). , Universidade de São Paulo, USP, Brasil.

1987 - 1987

Extensão universitária em Introduçãoà Estatística. (Carga horária: 60h). , Universidade de São Paulo, USP, Brasil.

1986 - 1986

Análise I. (Carga horária: 48h). , Instituto Nacional de Matemática Pura e Aplicada, IMPA, Brasil.

Idiomas

Bandeira representando o idioma Inglês

Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada/Especialidade: Matemática Discreta e Combinatória.

Grande área: Ciências Exatas e da Terra / Área: Probabilidade e Estatística / Subárea: Modelos de Regressão.

Participação em eventos

II Workshop Difusão do Conhecimento. 2009. (Encontro).

The 1999 South America Programming Contest. 1999. (Olimpíada).

XI Simposio Latinoamericano de Lógica Matemática. 1998. (Simpósio).

2nd Workshop on Logic, Language, Information and Computation. 1995. (Simpósio).

Participação em bancas

Aluno: José Wiilliam de Souza Prado

BENATTI, H. G.; Eleazar Gerardo Madriz Lozada; Araújo, Ademakson Souza. Noções de Probabilidade por meio de Jogos de Azar. 2015. Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Estadual de Feira de Santana.

Aluno: Pedro Nivaldo Gomes Lima

Ana Carla Percontini da Paixão; Eleazar Gerardo Madriz Lozada;BENATTI, H. G.. Um Estudo de Probabilidade por meio do Jogo de Palitinhos com Aplicações no Ensino Médio. 2015. Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Estadual de Feira de Santana.

Aluno: Calebe Miranda da Silva

Ferreira, M, de A.; Souza, M. S;BENATTI, H. G.. Propriedades Aritméticas e Geométricas das Ternas Pitagóricas. 2014. Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Estadual de Feira de Santana.

Aluno: Paulo Cezar de Souza Santos

Eleazar Gerardo Madriz Lozada; Pina, G. da S.;BENATTI, H. G.. O uso do software GeoGebra no estudo de função polinomial de grau 3. 2014. Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Federal do Recôncavo da Bahia.

Aluno: Anatália Silva Santos

OLIVEIRA, D. F.; SILVA FILHO, C. A.;BENATTI, H. G.. Preenchimentos aplicados ao cálculo de áreas de regiões parabólicas.. 2014. Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Estadual de Feira de Santana.

Aluno: Wallace de Oliveira

Almeida, K. E.; Ferreira, M, de A.;BENATTI, H. G.. Grupos Livres: Construção e Propriedades. 2014. Monografia (Aperfeiçoamento/Especialização em Especialização em Matemática) - Universidade Estadual de Feira de Santana.

Aluno: Ana Carolina Moura Teixeira

Ferreira, M, de A.;BENATTI, H. G.; Almeida, K. E.. Um exemplo de domínio principal que não é euclidiano. 2013. Monografia (Aperfeiçoamento/Especialização em Especialização em Matemática) - Universidade Estadual de Feira de Santana.

Aluno: Liliane Araújo Lima

BENATTI, H. G.. A informática Educativa na Pesquisa em Educação Matemática. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Educação Matemática) - Universidade Estadual de Feira de Santana.

Aluno: Anderson Alves de Santana

Batistela, Rosimeire de Fátima; Pires, M. A. Li. Moreno;BENATTI, H. G.. Análise da da Compreeensão de GnE a partir da obra 'Os Mistérios da Geometria'2014. 2014. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Matemática) - Universidade Estadual de Feira de Santana.

Aluno: Vanderlei Lopes de Jesus

Ferreira, M, de A.; Almeida, K. E.;BENATTI, H. G.. Anéis de Grupo. 2014. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Matemática) - Universidade Estadual de Feira de Santana.

Aluno: Ariquele Ramos Rios

Ferreira, M, de A.; Almeida, K. E.;BENATTI, H. G.. Algoritmo de Euclides em Anéis Quadráticos. 2014. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Matemática) - Universidade Estadual de Feira de Santana.

Aluno: Charlene Silva de Almeida

Rodrigues, C. A.; Angelo, M. F.;BENATTI, H. G.. Aplicação de medidas de rugosidade para a caracterização de imagens de microscopia. 2013. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Estadual de Feira de Santana.

BENATTI, H. G.. Membro de Banca Examinadora do Concurso Público para Professor Assistente de Lógica. 2010. Universidade Federal do Recôncavo da Bahia.

BENATTI, H. G.; Duran, A. de A.; Miyazawa. Concurso Público para Professor Assistente da Matéria Teoria da Computação. 2007. Universidade Estadual de Feira de Santana.

BENATTI, H. G.. Membro de Banca Examinadora do Concurso para Professor Auxiliar da UNEB para a matéria Cálculo. 2005. Universidade do Estado da Bahia.

BENATTI, H. G.. Membro da Banca de Concurso Público para Professor Assistente da UESB para a Matéria Fundamentos de Matemática. 2004. Universidade Estadual do Sudoeste da Bahia.

BENATTI, H. G.. Membro da Banca Examinadora de Concurso Público para Professor Assistente da matéria Linguagens e Técnicas de Programação. 2004. Universidade do Estado da Bahia.

BENATTI, H. G.. Membro da Banca Examinadora de Concurso Público na matéria Álgebra na UEFS. 1998. Universidade Estadual de Feira de Santana.

BENATTI, H. G.. Membro na Banca Examinadora de Concurso Público na matéria Ciência da Computação na UEFS. 1994. Universidade Estadual de Feira de Santana.

BENATTI, H. G.; Mendes, S. G.; Oliveira, N. C.. Banca Examinadora da Seleção Pública para Professor Substituto de Matemática Aplicada. 2014. Universidade Estadual de Feira de Santana.

Fernandes, G. B.; Viola, D. N.;BENATTI, H. G.. Banca Examinadora de Promoção na Carreira, da Classe de Professor Assistente para a Classe de Professor Adjunto, do Prof. Dr. Maurício Santana Lordelo. 2014. Universidade Estadual de Feira de Santana.

BENATTI, H. G.. Membro da Banca Examinadora de Progressão na Carreira, de Assistente para Adjunto, da Profa. Maria Aparecida Roseane Ramos.. 2003. Universidade Estadual do Sudoeste da Bahia.

BENATTI, H. G.. Membro da Banca Examinadora de Progressão na Carreira, de Assistente para Adjunto, do Professor Benedito Melo Acióly. 2003. Universidade Estadual do Sudoeste da Bahia.

BENATTI, H. G.. Membro da Banca Examinadora de Progressão na Carreira, de Auxiliar para Assistente, da Professora Rejane Cunha Freitas. 2003. Universidade Estadual do Sudoeste da Bahia.

BENATTI, H. G.. Membro da Comissão Examinadora no Processo de Progressão de Carreira, de Assistente para Adjunto, do Professor Inácio de Sousa Fadigas. 2002. Universidade Estadual de Feira de Santana.

BENATTI, H. G.. Membro da Banca Examinadora de Seleção Pública para a matéria Fundamentos de Matemática na UEFS. 2001. Universidade Estadual de Feira de Santana.

BENATTI, H. G.. Membro da Banca Examinadora de Progressão de Carreira, de Assistente para Adjunto, do Professor Thierry Correia Petit Lobão. 2001. Universidade Estadual de Feira de Santana.

BENATTI, H. G.. Membro da Banca de Progressão de Carreira de Auxiliar para Assistente da Professora Stela Maria Azevedo e Ribeiro. 2001. Universidade Estadual de Feira de Santana.

BENATTI, H. G.. Membro da Banca de Progressão de Carreira de Auxiliar para Assistente da Professora Neima da Costa Oliveira. 2001. Universidade Estadual de Feira de Santana.

BENATTI, H. G.. Membro da Banca Examinadora de Seleção Pública para a matéria Fundamentos da Matemática na UEFS. 2000. Universidade Estadual de Feira de Santana.

BENATTI, H. G.. Membro da Banca Examinadora da Competição de Programação da América do Sul promovida pela ACM. 1999. Universidade Federal de Pernambuco.

BENATTI, H. G.. Membro da Banca Examinadora de Seleção Pública na matéria Ciência da Computação na UEFS. 1994. Universidade Estadual de Feira de Santana.

Orientou

Newton Silva Santos

Alguns algoritmosem Java para a Matemática Básica; 2020; Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Estadual de Feira de Santana,; Orientador: Haroldo Gonçalves Benatti;

Graziela Pereira de Jesus Alixandre

Coeficientes Binomiais Estendidos: algumas propriedades e aplicações para o Ensino Médio; 2019; Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Estadual de Feira de Santana,; Orientador: Haroldo Gonçalves Benatti;

Mirian Silva Santos

Algumas variações do jogo Torre de Hanói; 2017; Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Estadual de Feira de Santana,; Orientador: Haroldo Gonçalves Benatti;

José William de Souza Prado

Noções de Probabilidade por meio de Jogos de Azar; 2015; Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Estadual de Feira de Santana, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Haroldo Gonçalves Benatti;

Joseane Souza

O jogo de Nim com Aplicações para o Ensino Médio; 2015; Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Estadual de Feira de Santana, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Haroldo Gonçalves Benatti;

Carol Oliveira

Teoria dos Jogos Combinatórios; 2015; Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Estadual de Feira de Santana, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Haroldo Gonçalves Benatti;

Jose Fabio de Araujo Lima

MODELAGEM E RESOLUÇÃO DE PROBLEMAS POR MEIO DE GRAFOS: APLICAÇÕES NO ENSINO BÁSICO; 2014; Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Estadual de Feira de Santana, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Haroldo Gonçalves Benatti;

Débora Claudino

Jogo de Nim: versões e estratégias; ; 2015; Trabalho de Conclusão de Curso; (Graduação em Licenciatura em Matemática) - Universidade Estadual de Feira de Santana; Orientador: Haroldo Gonçalves Benatti;

Produções bibliográficas

  • BENATTI, H. G. ; QUEIROZ, R. J. G. B. . On the Two Disjoint Paths Problem over Undirected Graphs.. Bulletin of the Section of Logic , v. 35, p. 195-214, 2006.

  • BENATTI, H. G. ; QUEIROZ, R. J. G. B. . Descriptive Complexity of Modularity Problems on Graphs.. Bulletin of the Section of Logic , Lodz, Polônia, v. 34, n.2, p. 61-75, 2005.

Outras produções

BENATTI, H. G. . Dedução Natural da Lógica Proposicional. 2004. (Curso de curta duração ministrado/Extensão).

BENATTI, H. G. . A Matemática do Século XXI. 2002. .

Projetos de pesquisa

  • 2008 - 2009

    Métodos Combinatórios para Inferência de Haplótipos, Descrição: Nesta pesquisa, nós pretendemos estudar problemas de inferência de haplótipos a partir de dados de genótipos em uma população e em uma estrutura que acrescenta ao problema informações da linha de descendência, conhecida como pedigree. Além dos problemas desta natureza, também investigaremos a construção de haplótipos por seqüenciamento. Na realidade, cada um deles define um meta?problema e se desdobra em diversas versões com características particulares e que demandam técnicas específicas para o respectivo tratamento computacional.Todos os problemas serão estudados com o enfoque da Biologia Computacional,mais particularmente, dos métodos algorítmicos e combinatórios.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Haroldo Gonçalves Benatti - Coordenador.

Prêmios

2010

Patrono da Turma de Engenharia da Computação, UEFS.

2009

Patrono da Turma de Engenharia de Computação, UEFS.

Histórico profissional

Endereço profissional

  • Universidade Estadual de Feira de Santana, Departamento de Ciências Exatas. , Br 116 KM 03 - Campus Universitário, Campo Limpo, 44031460 - Feira de Santana, BA - Brasil - Caixa-postal: 252, Telefone: (75) 32248086, Fax: (75) 31618086, URL da Homepage:

Experiência profissional

1993 - Atual

Universidade Estadual de Feira de Santana

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

1989 - 1989

Universidade Estadual de Feira de Santana

Vínculo: Monitor de disciplina, Enquadramento Funcional: Bolsista, Carga horária: 12

Outras informações:
Monitor da disciplina Introdução à Ciência dos Computadores.

1988 - 1989

Universidade Estadual de Feira de Santana

Vínculo: Estagiário do CPD, Enquadramento Funcional: Estagiário, Carga horária: 0

Atividades

  • 03/2016

    Ensino, Ciências Contábeis, Nível: Graduação,Disciplinas ministradas, Matemática Financeira

  • 04/2021 - 04/2023

    Direção e administração, Departamento de Ciências Exatas.,Cargo ou função, Vice Diretor do Departamento de Ciências Exatas.

  • 04/2019 - 04/2021

    Conselhos, Comissões e Consultoria, Associação dos Docentes da UEFS.,Cargo ou função, Membro da Diretoria da ADUFS..

  • 03/2017 - 03/2019

    Conselhos, Comissões e Consultoria, Associação dos Docentes da UEFS.,Cargo ou função, Membro do Conselho Fiscal da ADUFS.

  • 11/2013 - 03/2015

    Direção e administração, Colegiado de Matemática.,Cargo ou função, Coordenador.

  • 01/2015 - 02/2015

    Ensino, Mestrado Profissional em Matemática, Nível: Pós-Graduação,Disciplinas ministradas, Resolução de Problemas

  • 08/2014 - 12/2014

    Ensino, Engenharia de Alimentos, Nível: Graduação,Disciplinas ministradas, Probabilidade e Estatística I E

  • 08/2014 - 12/2014

    Ensino, Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Orientação à Pesquisa I

  • 08/2014 - 12/2014

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Orientação à Pesquisa II

  • 03/2014 - 07/2014

    Ensino, Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Estruturas Discretas

  • 03/2014 - 07/2014

    Ensino, Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Orientação à Pesquisa I

  • 03/2014 - 07/2014

    Ensino, Mestrado Profissional em Matemática, Nível: Pós-Graduação,Disciplinas ministradas, Matemática Discreta

  • 03/2013 - 07/2013

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Estruturas Discretas, Matemática Aplicada à Biologia

  • 03/2013 - 07/2013

    Ensino, Mestrado Profissional em Matemática, Nível: Pós-Graduação,Disciplinas ministradas, Matemática Discreta

  • 08/2012 - 12/2012

    Ensino, Mestrado Profissional em Matemática, Nível: Pós-Graduação,Disciplinas ministradas, Aritmética

  • 10/2008 - 11/2012

    Direção e administração, Departamento de Ciências Exatas.,Cargo ou função, Chefe de Departamento.

  • 03/2012 - 07/2012

    Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Análise Combinatória, Cálculo Diferencial e Integral I-E

  • 03/2012 - 07/2012

    Ensino, Mestrado Profissional em Matemática, Nível: Pós-Graduação,Disciplinas ministradas, Matemática Discreta

  • 03/2011 - 07/2011

    Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Programação Linear, Lógica Matemática e Teoria dos Conjuntos

  • 02/2011 - 04/2011

    Conselhos, Comissões e Consultoria, Reitoria.,Cargo ou função, Membro da Coordenação do Processo Eleitoral para escolha do Reitor e Vice-Reitor.

  • 08/2010 - 12/2010

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Estruturas Discretas

  • 03/2010 - 07/2010

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Orientação a Pesquisa I, Orientação a Pesquisa III

  • 04/2009 - 04/2010

    Direção e administração, UEFS Editora.,Cargo ou função, Membro do Conselho Administrativo.

  • 09/2009 - 02/2010

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Linguagens Formais e Autômatos

  • 05/2009 - 08/2009

    Ensino, Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Lógica Matemática e Teoria dos Conjuntos

  • 10/2008 - 03/2009

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Estruturas Discretas, Projeto Anual 3, Projeto Anual 2, Projeto Anual 1

  • 05/2008 - 09/2008

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos

  • 05/2008 - 09/2008

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Teoria da Computação

  • 05/2008 - 09/2008

    Ensino, Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Pré-Cálculo

  • 02/2007 - 07/2008

    Conselhos, Comissões e Consultoria, Colegiado de Engenharia de Computação.,Cargo ou função, Membro do Colegiado do Curso de Engenharia de Computação.

  • 10/2007 - 04/2008

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Teoria da Computação

  • 03/2007 - 07/2007

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Teoria da Computação

  • 09/2006 - 01/2007

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Estruturas Discretas, Teoria da Computação, Lógica para Computação

  • 04/2006 - 08/2006

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Métodos Numéricos I, Projeto e Análise de Algoritmos

  • 10/2005 - 02/2006

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Estruturas Discretas, Lógica para Computação

  • 07/2004 - 02/2006

    Outras atividades técnico-científicas , Departamento de Ciências Exatas, Departamento de Ciências Exatas.,Atividade realizada, Coordenador do Laboratório de Informática do Departamento de Ciências Exatas.

  • 01/2003 - 01/2006

    Conselhos, Comissões e Consultoria, CONSAD.,Cargo ou função, Representante no CONSAD - UEFS.

  • 06/2003 - 11/2005

    Direção e administração, Colegiado de Matemática.,Cargo ou função, Vice-Coord. do Colegiado de Matemática.

  • 07/2005 - 08/2005

    Conselhos, Comissões e Consultoria, Universidade Estadual de Feira de Santana.,Cargo ou função, Assessor ad hoc do PIBIC/CNPq/UEFS.

  • 02/2005 - 08/2005

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Estruturas Discretas, Lógica para Computação

  • 06/2005 - 07/2005

    Conselhos, Comissões e Consultoria, Universidade Estadual de Feira de Santana.,Cargo ou função, Assessor ad hoc do PIBIC/FAPESB/UEFS.

  • 08/2004 - 12/2004

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Lógica para Computação

  • 08/2004 - 12/2004

    Ensino, Engenharia de Alimentos, Nível: Graduação,Disciplinas ministradas, Introdução à Ciência da Computação

  • 03/2004 - 03/2004

    Extensão universitária , Universidade Estadual de Feira de Santana.,Atividade de extensão realizada, Mini-curso "Dedução Natural na Lógica Proposicional" ministrado na UESB..

  • 10/2003 - 12/2003

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Lógica para Computação

  • 02/2003 - 06/2003

    Ensino, Especialização em Educação Matemática, Nível: Especialização,Disciplinas ministradas, Algebra Linear Aplicada ao Ensino Médio

  • 02/2003 - 06/2003

    Ensino, Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Cálcuo I-A

  • 07/2001 - 06/2003

    Direção e administração, Colegiado de Matemática.,Cargo ou função, Vice-Coord. do Colegiado de Matemática.

  • 09/2000 - 11/2002

    Conselhos, Comissões e Consultoria, Associação dos Docentes da UEFS.,Cargo ou função, Coordenador Geral da ADUFS.

  • 05/2002 - 10/2002

    Ensino, Bacharelado em Física, Nível: Graduação,Disciplinas ministradas, Cálculo I-B

  • 05/2002 - 10/2002

    Ensino, Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Cálculo I-A

  • 06/2000 - 06/2002

    Direção e administração, Departamento de Ciências Exatas.,Cargo ou função, Vice-Diretor do Depto. de Ciências Exatas.

  • 02/2002 - 04/2002

    Extensão universitária , Núcleo de Educação Matemática Omar Catunda - NEMOC.,Atividade de extensão realizada, Curso de Aperfeiçoamento em Matemática - Pró-Ciências - Edital 01/01.

  • 10/2001 - 03/2002

    Ensino, Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Princípios de Desenvolvimento de Algoritmos, Fundamentos da Matemática II

  • 01/2002 - 01/2002

    Extensão universitária , Departamento de Ciências Exatas.,Atividade de extensão realizada, Minicurso: Análise Combinatória e Probabilidade.

  • 05/2001 - 08/2001

    Ensino, Licenciatura em Geografia, Nível: Graduação,Disciplinas ministradas, Matemática I

  • 05/2001 - 08/2001

    Ensino, Pedagogia, Nível: Graduação,Disciplinas ministradas, Matemática I

  • 10/2000 - 03/2001

    Ensino, Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Fundamentos da Matemática, Matemática I

  • 03/2000 - 03/2001

    Direção e administração, Departamento de Ciências Exatas.,Cargo ou função, Coord. da Área de Fund. da Matemática.

  • 03/2000 - 09/2000

    Ensino, Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Matemática I, Fundamentos da Matemática I

  • 04/2000 - 06/2000

    Ensino, Especialização em Informática Educativa, Nível: Especialização,Disciplinas ministradas, Introdução a Algoritmos e Estrutura de Dados

  • 09/1998 - 12/1998

    Ensino, Especialização em Educação Matemática, Nível: Especialização,Disciplinas ministradas, Introdução à Teoria dos Grafos e suas Aplicações

  • 08/1998 - 10/1998

    Extensão universitária , Núcleo de Educação Matemática Omar Catunda - NEMOC.,Atividade de extensão realizada, Curso de Aperfeiçoamento em Matemática - Pró-Ciências - Edital 01/98.

  • 03/1998 - 07/1998

    Ensino, Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Álgebra Elementar I, Álgebra Linear I

  • 07/1997 - 04/1998

    Direção e administração, Departamento de Ciências Exatas.,Cargo ou função, Coordenador da Área de Matemática.

  • 08/1997 - 12/1997

    Ensino, Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Álgebra Elementar I, Álgebra Linear I

  • 03/1997 - 07/1997

    Ensino, Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Álgebra Linear I, Álgebra Linear II, Álgebra Elementar I

  • 10/1996 - 12/1996

    Ensino, Especialização em Informática Educativa, Nível: Especialização,Disciplinas ministradas, Introdução a Algoritmos e Estrutura de Dados

  • 08/1996 - 12/1996

    Ensino, Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Introdução à Informática

  • 01/1994 - 02/1994

    Ensino, Ciências Contábeis, Nível: Graduação,Disciplinas ministradas, Processamento de Dados

  • 08/1993 - 12/1993

    Ensino, Engenharia Civil, Nível: Graduação,Disciplinas ministradas, Introdução à Ciência dos Computadores

  • 05/1993 - 10/1993

    Outras atividades técnico-científicas , Centro de Processamento de Dados, Centro de Processamento de Dados.,Atividade realizada, Coordenador do Laboratório de Informática do CPD da UEFS.

  • 05/1993 - 07/1993

    Ensino, Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Introdução à Ciência dos Computadores, Introdução à Informática

  • 03/1989 - 08/1989

    Estágios , Departamento de Ciências Exatas.,Estágio realizado, Monitoria da disciplina "Introdução à Ciência da Computação".

  • 10/1988 - 03/1989

    Estágios , Centro de Processamento de Dados.,Estágio realizado, Estágio em suporte no Centro de Processamento de Dados.

1992 - 1992

Universidade de São Paulo

Vínculo: Bolsita do XXI Curso de Verão, Enquadramento Funcional: Bolsista

Outras informações:
Monitor da disciplina "Noções de Computação I" no XXI Curso de Verão do IME-USP.

1992 - 1992

Universidade de São Paulo

Vínculo: Instrutor do CEC (IME-USP), Enquadramento Funcional: Bolsista

Outras informações:
Instrutor da disciplina "Computação Instrumental" no Centro de Ensino de Computação do IME-USP.

1991 - 1991

Universidade de São Paulo

Vínculo: Monitor do XX Curso de Verão, Enquadramento Funcional: Bolsista

Outras informações:
Monitor da disciplina "Noções de Teoria dos Grafos e Aplicações" no XX Curso de Verão do IME-USP.