Diretório de grupos de pesquisa |
Sergio da Silva Aguiar Possui graduação em Ciências Habilitação Em Matemática pela Universidade Estadual do Sudoeste da Bahia (1991), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (2001) e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco (2008). Atualmente é professor assistente da Universidade Estadual do Sudoeste da Bahia. Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, atuando principalmente nos seguintes temas: lógica, intervalos, domínios, igualdade e lógica, categorias, intervalos, domínios, igualdad.
Última
atualização do currículo em 18/08/2009
Endereço para acessar este CV: http://lattes.cnpq.br/4109987141958057 |
Dados pessoais
| Nome | Sergio da Silva Aguiar |
| Nome em citações bibliográficas | AGUIAR, S. S. |
| Sexo | Masculino |
| Endereço profissional | Universidade Estadual do Sudoeste da Bahia, Departamento de Ciências Exatas, Vitória da Conquista. Estrada do Bem Querer, Km 4 4500000 - Vitoria da Conquista, BA - Brasil Telefone: (77) 4248651 Fax: (77) 4248713 URL da Homepage: http:// |
Formação acadêmica/Titulação
| 2005 - 2008 | Doutorado em Ciências da Computação
.
Universidade Federal de Pernambuco, UFPE, Brasil. Título: Uma Análise de Auto-referência Baseada em Fluxos Semânticos, Ano de Obtenção: 2008. Orientador:  Ruy José Guerra Barretto de Queiroz.
Palavras-chave: Hiperconjuntos; bissimulação; fluxos semânticos; paradoxo do mentiroso; provas. 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. Setores de atividade: Educação. |
| 2000 - 2001 | Mestrado em Ciências da Computação
.
Universidade Federal de Pernambuco, UFPE, Brasil. Título: Uma Lógica Intuicionista Bidimensional Com Semântica Categórica, Ano de Obtenção: 2002. Orientador: Benedito Melo Acioly. Palavras-chave: Lógica; Categorias; Dedução Natural; Domínios; Intervalos; Linguagens. 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. Setores de atividade: Desenvolvimento de Programas (Software). |
| 1996 - 1998 | Especialização em Matemática
.
Universidade Estadual do Sudoeste da Bahia, UESB, Brasil. |
| 1997 - 1997 | Especialização em Ciência da Coomputação
.
Universidade Estadual do Sudoeste da Bahia, UESB, Brasil. |
| 1988 - 1991 | Graduação em Ciências Habilitação Em Matemática
.
Universidade Estadual do Sudoeste da Bahia, UESB, Brasil. |
| 1972 - 1974 | Ensino Médio (2º grau)
.
Colégio Cristo Redentor. |
| 1967 - 1971 | Ensino Fundamental (1º grau)
.
Colégio Estadual Porf Botelho Reis. |
Formação complementar
| 2002 - 2002 | Computação Evolutiva.
(Carga horária: 12h). Universidade Federal do Rio Grande do Norte. |
| 2001 - 2001 | Uma Introdução à Teoria da Prova.
(Carga horária: 6h). Sociedade Brasileira de Computação. |
| 2001 - 2001 | Algoritmos Paralelos Usando Cgm Pvm.
(Carga horária: 6h). Sociedade Brasileira de Computação. |
Atuação profissional
| Universidade Estadual do Sudoeste da Bahia, UESB, Brasil. |
| Vínculo institucional |
| 1996 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor assistente, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 11/2003 - Atual | Pesquisa e desenvolvimento , Departamento de Ciências Exatas, Vitória da Conquista. |
|
Linhas de pesquisa Fundamentos da Matemática Intervalar |
| 1/2001 - Atual | Conselhos, Comissões e Consultoria, Departamento de Ciências Exatas, Vitória da Conquista. |
|
Cargo ou função
Membro de comissão jurídica. |
| 1/1998 - Atual | Conselhos, Comissões e Consultoria, Departamento de Ciências Exatas, Vitória da Conquista. |
|
Cargo ou função
Membro de Colegiado do Curso de Ciência da Computação. |
| 3/1996 - Atual | Ensino, Ciências Habilitação Em Matemática, Nível: Graduação. |
| Disciplinas ministradas Calculo diferencial e Integral I Calculo diferencial e integral II Calculo diferencial e integral III Geometria Analítica e Calculo Vetorial Iniciação à Ciência da Computação Álgebra Aplicada à Computação Lógica Aplicada à Computação Análise de Algoritmos Tópicos de Matemática Elementar História da Matemática Introdução à Lógica Matemática Matemática Aplicada |
| 3/1996 - Atual | Conselhos, Comissões e Consultoria, Departamento de Ciências Exatas, . |
|
Cargo ou função
Membro de colegiado do Curso de Licenciatura em Matemática. |
| 1/2001 - 1/2004 | Direção e administração, . |
| Cargo ou função Vice-Coordenador do Colegiado do Curso de Matema'tica. |
| 1/1998 - 1/2002 | Direção e administração, Departamento de Ciências Exatas, Vitória da Conquista. |
| Cargo ou função Vice- diretor de Departamento. |
| 3/2001 - 5/2001 | Ensino, Curso de Especialização Em Matemática, Nível: Especialização. |
| Disciplinas ministradas Métodos Numéricos e Computacionais-Especialização |
| 1/1999 - 10/2000 | Serviços técnicos especializados , Associação dos Docentes da Universidade Estadual do Sudoeste da Bahia, Vitória da Conquista. |
|
Serviço realizado Diretoria Financeira - tesouraria. |
| 1/1998 - 12/1998 | Extensão universitária , Departamento de Ciências Exatas, Vitória da Conquista. |
|
Atividade de extensão realizada Membro da equipe executora do Programa de Apoio ao Ensino Fundamental. |
| 1/1997 - 12/1997 | Extensão universitária , Departamento de Ciências Exatas, Vitória da Conquista. |
|
Atividade de extensão realizada Seminários de articulação das Ações dos Projetos SEF/PROEXT II. |
Á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: Lógicas e Semântica de Programas. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada /
Especialidade: Matemática Discreta e Combinatória. |
| 3. | Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra /
Especialidade: Lógica Matemática. |
| 4. | Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra /
Especialidade: Conjuntos. |
Idiomas
| Inglês | Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente. |
AGUIAR, S. S. ; ACIÓLY, B. M. . Lógica Bidimensional com Semântica Categórica Interpretada num Domínio Intervalar com Igualdade Local. 2002 (artigo).
Bancas
| Participação em bancas de comissões julgadoras |
| Outras participações |
| 1. | AGUIAR, S. S.; ACIÓLY, B. M.; RAMOS, M. A. R.. seleção pública. 2003. Universidade Estadual do Sudoeste da Bahia. |
| 2. | AGUIAR, S. S.; RAMOS, M. A. R.; BERNARD, M. P. A.. Seleção Pública. 2002. Universidade Estadual do Sudoeste da Bahia. |
| 3. | AGUIAR, S. S.; KHOURI, C. M. B.; TRINDADE, R. M. P.. Seleção Pública. 2001. Universidade Estadual do Sudoeste da Bahia. |
Eventos
| Participação em eventos |
| 1. | 13Th Workshop on Logic, Language, Information and Computation (Wollic'2006). 2006. (Outra). |
| 2. | X ENCONTRO BAIANO DE EDUCAÇÃO MATEMÁTICA.X EBEM. 2003. (Encontro). |
| 3. | Computação em Revista-Workshop.Computação em Revista-Workshop. 2003. (Outra). |
| 4. | II Encontro Regional de Matemática Aplicada e Computacional.II Encontro Regional de Matemática Aplicada e Computacional. 2002. (Encontro). |
| 5. | XXI Congresso da Sociedade Brasileira de Computação.XXI Congresso da Sociedade Brasileira de Computação. 2001. (Congresso). |
| 6. | IV Programa de Verão.V Programa de Verão-UFLA. 2000. (Outra). |
| 7. | II Mostra de Ciências e Matemática.II Mostra de Ciências e Matemática-UESB. 1998. (Outra). |
| Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 21:25:37 |