Rede de Colaboração
Diretório de grupos de pesquisa

Haroldo Gonçalves 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 Adjunto da Universidade Estadual de Feira de Santana. Tem experiência na área de Ciência da Computação , com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas: Teoria dos Modelos, Lógica, Grafos, Complexidade Descritiva, Complexidade Computacional.
(Texto gerado automaticamente pela aplicação CVLattes)

Última atualização do currículo em 07/07/2010
Endereço para acessar este CV:
http://lattes.cnpq.br/7480006350883882
Dados pessoais
NomeHaroldo Gonçalves Benatti
Nome em citações bibliográficasBENATTI, H. G.
SexoMasculino
Endereço profissionalUniversidade Estadual de Feira de Santana, Departamento de Ciências Exatas.
Br 116 KM 03 - Campus Universitário
44031-460 - Feira de Santana, BA - Brasil - Caixa-Postal: 252
Telefone: (75) 32248086 Fax: (75) 2248086
URL da Homepage: http://

Formação acadêmica/Titulação
1994 - 2000Doutorado em Ciências da Computação .
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Complexidade Descritiva de Problemas em Grafos, Ano de Obtenção: 2000.
Orientador: Ruy José Guerra Barreto de Queiroz.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior .
Palavras-chave: Teoria dos Modelos; Lógica; Grafos; Complexidade Descritiva; Complexidade Computacional.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
1990 - 1993Mestrado em Ciências da Computação .
Universidade de São Paulo, USP, Brasil.
Título: Homeomorfismo em Grafos: Algoritmos e Complexidade Computacional, Ano de Obtenção: 1994.
Orientador: Yoshiko Wakabayashi.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico .
Palavras-chave: Grafos; Análise de Algoritmos; Complexidade Computacional; Homeomorfismo.
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.
1984 - 1990Graduação em Engenharia Civil .
Universidade Estadual de Feira de Santana, UEFS, Brasil.

Formação complementar
2000 - 2000Análise Real. (Carga horária: 90h).
Universidade Federal de Pernambuco, UFPE, Brasil.
1989 - 1989Álgebra Linear. (Carga horária: 64h).
Universidade de São Paulo, USP, Brasil.
1989 - 1989Noções de Computação II. (Carga horária: 75h).
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 - 1986Análise I. (Carga horária: 48h).
Associação Instituto Nacional de Matemática Pura e Aplicada.

Atuação profissional
Universidade Estadual de Feira de Santana, UEFS, Brasil.
Vínculo institucional
1993 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Vínculo institucional
1989 - 1989 Vínculo: Monitor de disciplina, Enquadramento Funcional: Bolsista, Carga horária: 12
Outras informações Monitor da disciplina Introdução à Ciência dos Computadores.
Vínculo institucional
1988 - 1989 Vínculo: Estagiário do CPD, Enquadramento Funcional: Estagiário, Carga horária: 0
Atividades
04/2009 - AtualDireção e administração, UEFS Editora, .
Cargo ou função
Membro do Conselho Administrativo.
10/2008 - AtualDireção e administração, Departamento de Ciências Exatas, .
Cargo ou função
Chefe de Departamento.
01/2008 - AtualAtividades de Participação em Projeto, Departamento de Ciências Exatas, .
Projetos de pesquisa
Métodos Combinatórios para Inferência de Haplótipos
09/2009 - 02/2010Ensino, Engenharia de Computação, Nível: Graduação.
Disciplinas ministradas
Linguagens Formais e Autômatos
05/2009 - 08/2009Ensino, Licenciatura em Matemática, Nível: Graduação.
Disciplinas ministradas
Lógica Matemática e Teoria dos Conjuntos
10/2008 - 03/2009Ensino, Engenharia de Computação, Nível: Graduação.
Disciplinas ministradas
Estruturas Discretas
Projeto Anual 3
Projeto Anual 2
Projeto Anual 1
05/2008 - 09/2008Ensino, Engenharia de Computação, Nível: Graduação.
Disciplinas ministradas
Projeto e Análise de Algoritmos
05/2008 - 09/2008Ensino, Engenharia de Computação, Nível: Graduação.
Disciplinas ministradas
Teoria da Computação
05/2008 - 09/2008Ensino, Licenciatura em Matemática, Nível: Graduação.
Disciplinas ministradas
Pré-Cálculo
10/2007 - 04/2008Ensino, Engenharia de Computação, Nível: Graduação.
Disciplinas ministradas
Teoria da Computação
03/2007 - 07/2007Ensino, Engenharia de Computação, Nível: Graduação.
Disciplinas ministradas
Teoria da Computação
09/2006 - 01/2007Ensino, Engenharia de Computação, Nível: Graduação.
Disciplinas ministradas
Estruturas Discretas
Teoria da Computação
Lógica para Computação
04/2006 - 08/2006Ensino, Engenharia de Computação, Nível: Graduação.
Disciplinas ministradas
Métodos Numéricos I
Projeto e Análise de Algoritmos
10/2005 - 02/2006Ensino, Engenharia de Computação, Nível: Graduação.
Disciplinas ministradas
Estruturas Discretas
Lógica para Computação
7/2004 - 2/2006Outras atividades técnico-científicas , Departamento de Ciências Exatas, .
Atividade realizada
Coordenador do Laboratório de Informática do Departamento de Ciências Exatas.
1/2003 - 1/2006Conselhos, Comissões e Consultoria, CONSAD, .
Cargo ou função
Representante no CONSAD - UEFS.
6/2003 - 11/2005Direção e administração, Colegiado de Matemática, .
Cargo ou função
Vice-Coord. do Colegiado de Matemática.
7/2005 - 8/2005Conselhos, Comissões e Consultoria, .
Cargo ou função
Assessor ad hoc do PIBIC/CNPq/UEFS.
02/2005 - 08/2005Ensino, Engenharia de Computação, Nível: Graduação.
Disciplinas ministradas
Estruturas Discretas
Lógica para Computação
6/2005 - 7/2005Conselhos, Comissões e Consultoria, .
Cargo ou função
Assessor ad hoc do PIBIC/FAPESB/UEFS.
08/2004 - 12/2004Ensino, Engenharia de Computação, Nível: Graduação.
Disciplinas ministradas
Lógica para Computação
08/2004 - 12/2004Ensino, Engenharia de Alimentos, Nível: Graduação.
Disciplinas ministradas
Introdução à Ciência da Computação
3/2004 - 3/2004Extensão universitária .
Atividade de extensão realizada
Mini-curso "Dedução Natural na Lógica Proposicional" ministrado na UESB..
10/2003 - 12/2003Ensino, Engenharia de Computação, Nível: Graduação.
Disciplinas ministradas
Lógica para Computação
02/2003 - 06/2003Ensino, Especialização em Educação Matemática, Nível: Especialização.
Disciplinas ministradas
Algebra Linear Aplicada ao Ensino Médio
02/2003 - 06/2003Ensino, Licenciatura em Matemática, Nível: Graduação.
Disciplinas ministradas
Cálcuo I-A
7/2001 - 6/2003Direção e administração, Colegiado de Matemática, .
Cargo ou função
Vice-Coord. do Colegiado de Matemática.
09/2000 - 11/2002Conselhos, Comissões e Consultoria, Associação dos Docentes da UEFS, .
Cargo ou função
Coordenador Geral da ADUFS.
05/2002 - 10/2002Ensino, Bacharelado em Física, Nível: Graduação.
Disciplinas ministradas
Cálculo I-B
5/2002 - 10/2002Ensino, Licenciatura em Matemática, Nível: Graduação.
Disciplinas ministradas
Cálculo I-A
6/2000 - 6/2002Direção e administração, .
Cargo ou função
Vice-Diretor do Depto. de Ciências Exatas.
02/2002 - 04/2002Extensã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/2002Ensino, Licenciatura em Matemática, Nível: Graduação.
Disciplinas ministradas
Princípios de Desenvolvimento de Algoritmos
Fundamentos da Matemática II
01/2002 - 01/2002Extensão universitária , Departamento de Ciências Exatas, .
Atividade de extensão realizada
Minicurso: Análise Combinatória e Probabilidade.
05/2001 - 08/2001Ensino, Licenciatura em Geografia, Nível: Graduação.
Disciplinas ministradas
Matemática I
05/2001 - 08/2001Ensino, Pedagogia, Nível: Graduação.
Disciplinas ministradas
Matemática I
10/2000 - 03/2001Ensino, Licenciatura em Matemática, Nível: Graduação.
Disciplinas ministradas
Fundamentos da Matemática
Matemática I
03/2000 - 03/2001Direção e administração, Departamento de Ciências Exatas, .
Cargo ou função
Coord. da Área de Fund. da Matemática.
3/2000 - 9/2000Ensino, Licenciatura em Matemática, Nível: Graduação.
Disciplinas ministradas
Matemática I
Fundamentos da Matemática I
04/2000 - 06/2000Ensino, Especialização em Informática Educativa, Nível: Especialização.
Disciplinas ministradas
Introdução a Algoritmos e Estrutura de Dados
9/1998 - 12/1998Ensino, 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/1998Extensã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.
3/1998 - 7/1998Ensino, Licenciatura em Matemática, Nível: Graduação.
Disciplinas ministradas
Álgebra Elementar I
Álgebra Linear I
07/1997 - 04/1998Direção e administração, Departamento de Ciências Exatas, .
Cargo ou função
Coordenador da Área de Matemática.
8/1997 - 12/1997Ensino, Licenciatura em Matemática, Nível: Graduação.
Disciplinas ministradas
Álgebra Elementar I
Álgebra Linear I
3/1997 - 7/1997Ensino, Licenciatura em Matemática, Nível: Graduação.
Disciplinas ministradas
Álgebra Linear I
Álgebra Linear II
Álgebra Elementar I
10/1996 - 12/1996Ensino, Especialização em Informática Educativa, Nível: Especialização.
Disciplinas ministradas
Introdução a Algoritmos e Estrutura de Dados
8/1996 - 12/1996Ensino, Licenciatura em Matemática, Nível: Graduação.
Disciplinas ministradas
Introdução à Informática
1/1994 - 2/1994Ensino, Ciências Contábeis, Nível: Graduação.
Disciplinas ministradas
Processamento de Dados
8/1993 - 12/1993Ensino, Engenharia Civil, Nível: Graduação.
Disciplinas ministradas
Introdução à Ciência dos Computadores
05/1993 - 10/1993Outras atividades técnico-científicas , Centro de Processamento de Dados, .
Atividade realizada
Coordenador do Laboratório de Informática do CPD da UEFS.
5/1993 - 7/1993Ensino, Licenciatura em Matemática, Nível: Graduação.
Disciplinas ministradas
Introdução à Ciência dos Computadores
Introdução à Informática
03/1989 - 08/1989Estágios , Departamento de Ciências Exatas, .
Estágio realizado
Monitoria da disciplina "Introdução à Ciência da Computação".
10/1988 - 3/1989Estágios , Centro de Processamento de Dados, .
Estágio realizado
Estágio em suporte no Centro de Processamento de Dados.
Universidade de São Paulo, USP, Brasil.
Vínculo institucional
1992 - 1992 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.
Vínculo institucional
1992 - 1992 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.
Vínculo institucional
1991 - 1991 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.

Projetos de Pesquisa
2008 - AtualMé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: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) .
Integrantes: Haroldo Gonçalves Benatti - Coordenador.
.

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
2. Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
3. Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Matemática Discreta e Combinatória.

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


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1.   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.
2.   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.

Bancas
Participação em bancas de comissões julgadoras
Concurso público
1. 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.
2. 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.
3. 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.
4. 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.
5. BENATTI, H. G.. Membro da Banca Examinadora de Concurso Público na matéria Álgebra na UEFS. 1998. Universidade Estadual de Feira de Santana.
6. 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.
Outras participações
1. 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.
2. 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.
3. 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.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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.
10. 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.
11. 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.
Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 20:48:37