José Lopes de Siqueira Neto

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


Bacharel em Física pela Universidade Federal de Minas Gerais (1981), Master of Sciences (M. Sc.) em Engenharia Eletrônica - Netherlands University Foundation For International Cooperation e Philips International Institute (1983) e Docteur ès Sciences (Dr. Sc.) pela Université de Paris XI (Paris-Sud) (1992). Atualmente é Professor Adjunto da Universidade Federal de Minas Gerais. Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial, atuando principalmente nos seguintes temas: aprendizagem simbólica automática, demonstração automática de teoremas e programação em lógica e com restrições. (Texto informado pelo autor)


Identificação


Nome
José Lopes de Siqueira Neto
Nome em citações bibliográficas
DE SIQUEIRA, J.

Endereço


Endereço Profissional
Universidade Federal de Minas Gerais, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
Av. Antônio Carlos, 6627
Pampulha
31270-901 - Belo Horizonte, MG - Brasil
Telefone: (31) 34995860
Fax: (31) 34995858
URL da Homepage: http://www.dcc.ufmg.br/~jose


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


1986 - 1992
Doutorado em Doctorat En Informatique.
Université Paris-Sud 11, PARIS-SUD 11, França.
Título: Controle de la démonstration automatique de théorèmes, construction de contre-modèles et applications à l'Intelligence Artificielle, Ano de obtenção: 1992.
Orientador: Yves Kodratoff.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Demonstração Automática de Teoremas; Inteligência Artificial; Cálculo de Gentzen; Controle da Demonstração Automática de Teoremas; Lógica de Primeira Ordem.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1982 - 1983
Mestrado em Engenharia Eletrônica.
Netherlands International Foundation For International Cooperation.
Título: GOOSE/BOS: An Operating System for a Multiprocessor System,Ano de Obtenção: 1983.
Orientador: Jan Maarkrit.
Bolsista do(a): Philips International Institute.
Palavras-chave: Multiprocessamento; Sistemas Operacionais.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação.
Setores de atividade: Informática.
1978 - 1981
Graduação em Bacharelado Em Física.
Universidade Federal de Minas Gerais, UFMG, Brasil.
1975 - 1977
Ensino Médio (2º grau).
Colégio Técnico do Centro Pedagógico da Ufmg.


Pós-doutorado


1996 - 1997
Pós-Doutorado.
Institut National de Recherche En Informatique Et En Automatique.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.


Atuação Profissional



Universidade Federal de Minas Gerais, UFMG, Brasil.
Vínculo institucional

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

Atividades

6/2002 - Atual
Conselhos, Comissões e Consultoria, .

Cargo ou função
Membro de conselho de unidade.
3/1994 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Fundamentos Teóricos da Computação
Inteligência Artificial
Algoritmos eEstruturas de Dados I
Algoritmos e Estruturas de Dados II
1/1994 - Atual
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.

8/1995 - 12/1996
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Fundamentos Teóricos da Computação
Tópicos Especiais em Inteligência Artificial
10/1995 - 8/1996
Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.

Cargo ou função
Outro.

Institut Universitaire de Technologie D'orsay, IUTORSAY, França.
Vínculo institucional

1990 - 1992
Vínculo: Colaborador, Enquadramento Funcional: Auxiliar Temporário de Ensino e Pesquisa, Carga horária: 20

Atividades

9/1990 - 10/1992
Ensino, Formação Técnica Superior em Informática, Nível: Graduação

Disciplinas ministradas
Algoritmos e Linguagem C
Sistemas Operacionais

École Nationale Supérieure de Techniques Avancées, ENSTA, França.
Vínculo institucional

1989 - 1993
Vínculo: Colaborador, Enquadramento Funcional: Professor assistente, Carga horária: 4

Atividades

4/1989 - 4/1993
Ensino, Engenharia Naval, Nível: Pós-Graduação

Disciplinas ministradas
Introdução à Lógica Matemática
Banco de Dados
Programação em Lógica
Programção Funcional
Intrligência Artificial

École Supérieure Díngénieurs En Electrotechnique Et Electronique, ESIEE, França.
Vínculo institucional

1988 - 1990
Vínculo: Colaborador, Enquadramento Funcional: Professor Assistente, Carga horária: 2

Atividades

6/1988 - 8/1990
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Algoritomos e Estruturas de Dados
Programção Estruturada

Fundação Centro Tecnológico para Informática, CTI, Brasil.
Vínculo institucional

1984 - 1986
Vínculo: Celetista, Enquadramento Funcional: Técnico Superior, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Estudo e especificaçãode um alinguagem de programaçãodistribuída de alto nível, apropriada ao desenvolvimentode aplicações de controle industrial, baseada emrede local de microcomputadores. Estudo ose diferentes protocolos de redes locais adequados à realização de umarede localparaapliações industriais

Atividades

3/1985 - 7/1986
Pesquisa e desenvolvimento , Instituto de Automação, Divisão de Inteligência Artificial.

6/1984 - 3/1985
Pesquisa e desenvolvimento , Instituto de Automação, Divisão de Inteligência Artificial.



Linhas de pesquisa


1.
Inteligência Artificial
2.
Linguagens Formais
3.
Estudo e especificação de uma linguagem para programação distribuída de alto nível, para aplicações industriais
4.
Estudo de protocolos de redes locais adequados à aplicações industriais
5.
Estudo de modificações do sistema CP/M para incorporação de camadas básicas dos protocolos de redes
6.
Desenvolvimento de um sistema de manipulação algébrica simbólica em Prolog
7.
Concepção e realização de um sistema de geração simbólica de modelo dinâmico de robôs industriais de até seis graus de liberdade


Projetos de extensão


2007 - 2009
Convênio com Inovar Sistemas Ltda
Descrição: Cooperação mútua para intercâmbio de consultorias e atividades integradas para obtenção de resultados de interesse comum entre os participantes.
Situação: Concluído; Natureza: Extensão.


Á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: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Matemática Simbólica.


Idiomas


Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Produções



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

1.
AYALA-RINCÓN, M.2007AYALA-RINCÓN, M. ; ABREU, B. T. ; DE SIQUEIRA, J. . A variant of the Ford-Johnson algorithm that is more space efficient. Information Processing Letters, v. 102, p. 201-207, 2007.

2.
AYALA-RINCÓN, M.2002AYALA-RINCÓN, M. ; FONSECA, A. F. ; POUBEL, H. W. ; DE SIQUEIRA, J. . A Framework to Visualize Equivalences Between Computational Models of Regular Languages. Information Processing Letters, Holanda, v. 84, n.1, p. 5-16, 2002.

3.
AYALA-RINCÓN, M.2001AYALA-RINCÓN, M. ; FONSECA, A. F. ; SILVA, A. H. R. ; POUBEL, H. W. ; DE SIQUEIRA, J. . Animations of relations between Computational Models and Their Language Representations. Bulletin of the European Association for Theoretical Computer Science, Leiden, Holanda, v. 74, p. 235-241, 2001.

Trabalhos completos publicados em anais de congressos
1.
ED-DBALI, A. ; DERANSART, P. ; BIGONHA, M. A. S. ; DE SIQUEIRA, J. ; BIGONHA, R. S. . HyperPro - Un environnement integré de documentation pour la PLC. In: Journées Francophones de Programmation en Logique et par Contraintes, 2001, Paris. Programmation en logique avec contraintes, Actes des JFPLC'2001. Paris: Hermes, 2001. p. 257-269.

2.
ED-DBALI, A. ; DERANSART, P. ; BIGONHA, M. A. S. ; DE SIQUEIRA, J. ; BIGONHA, R. S. . HyperPro - An integrated documentation environment for CLP. In: Eleventh International Workshop on Logic Programming Environments (WLPE'01), 2001, Paphos, Chipre. Proceedings of the Eleventh International Workshop on Logic Programming Environments (WLPE'01), 2001.

3.
CARVALHO, R. D. ; DE SIQUEIRA, J. ; VIEIRA, N. J. . Urban Traffic Simulation and Optimization with Constraint Logic Programming. In: IASTED International Conference on Applied Simulation and Modeling, 2001, Marbella, Espanha. Proceedinds of the IASTED International Conference on Applied Simulation and Modeling, 2001. p. 78-83.

4.
BIGONHA, M. A. S. ; DE SIQUEIRA, J. ; BIGONHA, R. S. ; ED-DBALI, A. ; DERANSART, P. ; RIBEIRO, F. P. ; SCHMIDT, F. M. . Sistema de Indexação e Projeções de Hyperpro. In: VI Congreso Argentino de Ciencias de la Computación, 2000, Ushuaia, Argentina. Anales del VI Congreso Argentino de Ciencias de la Computación, 2000. p. 335-346.

5.
CARVALHO, C. L. ; PEREIRA, A. E. C. ; SILVA, R. M. ; JÚLIA, J. ; DE SIQUEIRA, J. . An Intelligent Control System for Visual Languages. In: 1999 IEEE International Conference on Systems, Man and Cybernetics, 1999, Tokyo. Proceedings of the 1999 IEEE International Conference on Systems, Man and Cybernetics, 1999. p. III-851-III-856.

6.
BIGONHA, M. A. S. ; ED-DBALI, A. ; BIGONHA, R. S. ; RIBEIRO, F. P. ; DERANSART, P. ; DE SIQUEIRA, J. . Projection of HyperPro Document. In: II Simpósio Brasileiro de Linguagens de Programação, 1999, Porto Alegre. Anais do II Simpósio Brasileiro de Linguagens de Programação. Porto Alegre, 1999. p. 171-185.

7.
MARQUES, D. A. ; CAMPOS, M. F. M. ; DE SIQUEIRA, J. . Obtenção Automática do Modelo Dinâmico de Manipuladores a Partir do Projeto CAD. In: 3º Simpósio Brasileiro de Automação Inteligente, 1997, Vitória, ES. Anais do 3º Simpósio Brasileiro de Automação Inteligente, 1997. p. 483-489.

8.
DERANSART, P. ; BIGONHA, M. A. S. ; PAROT, P. ; DE SIQUEIRA, J. . A literate logic programming system. In: Simpósio Brasileiro de Linguagens de Programação, 1996, Belo Horizonte. Anais do I SBLP, 1996. p. 1-15.

9.
DE SIQUEIRA, J.. SEQUOIA: A Theorem Prover for Counter-model Construction. In: XV International Conference of the Chilean Computer Science Society, 1995, Arica, Chile. Proceedings of the XV International Conference of the Chilean Computer Science Society, 1995. p. 414-425.

10.
DE SIQUEIRA, J.. Corréction de programmes Prolog à partir d'explications. In: 4ème Journées Françaises d'Apprentissage, 1989, St. Malo, França. Actes des 4ème Journées Françaises d'Apprentissage, 1989. p. 183-193.

11.
DE SIQUEIRA, J.. Apprentissagem à partir d'explications dans un environement Prolog complet. In: 3ème Journées Françaises d'Apprentissage, 1988, Cassis, França. Actes des 3ème Journées Françaises d'Apprentissage, 1988. p. 191-218.

12.
DE SIQUEIRA, J.; PUGET, J.-F. . Explanation-Based Generalisation of Failures. In: 8'th European Conference on Artificial Intelligence, 1988, Munique, Alemanha. Proceedings of the 8'th European Conference on Artificial Intelligence, 1988. p. 339-344.

13.
DE SIQUEIRA, J.; PEREIRA, A. E. C. ; A, J. B. M. . Symbolic Computation Applied to Robot Dynamic Modeling. In: 16th International Symposium on Industrial Robots, 1986, Bruxelas, Bélgicaca. Proceedings of the 16th International Symposium on Industrial Robots, 1986. p. 389-400.

Resumos expandidos publicados em anais de congressos
1.
VIEIRA, N. J. ; DE SIQUEIRA, J. ; Monteiro, C.P.S. ; Palotti, J.R.M. ; Vieira, I.C. ; Menezes, P.H.C. . Sistemas de Inferência Baseados em Lógica Matemática II. In: VIII Semana da Graduação da UFMG, 2005, Belo Horizonte. Anais da VIII Semana da Graduação da UFMG. Belo Horizonte: Imprensa Universitária da UFMG, 2005.

2.
VIEIRA, N. J. ; DE SIQUEIRA, J. ; Monteiro, C.P.S. ; MAURO, D. F. ; SANTOS, F.V. ; MENDES, M. L. . Sistemas de Inferência Baseados em Lógica Matemática I. In: VII Semana da Graduação da UFMG, 2004, Belo Horizonte. Anais da VII Semana da Graduação da UFMG. Belo Horizonte: Imprensa Universitária da UFMG, 2004.

3.
SILVA, A. ; DE SIQUEIRA, J. . Implementação do tratamento de igualdade no Sequoia. In: VI Semana de Iniciação Científica da UFMG, 1997, Belo Horizonte. Resumos da VI SIC. Belo Horizonte: Imprensa Universitária da UFMG, 1997. p. 205-205.

4.
SANTOS, D.A.S. ; PADUA, C. I. P. S. ; COELHO, C.J.N. ; DE SIQUEIRA, J. . Simsel - Simplificador sintático de expressões lógicas. In: VI Semana de Iniciação Científica da UFMG, 1997, Belo Horizonte. Resumos da VI SIC. Belo Horizonte: Impremssa Universitária da UFMG, 1997. p. 206-206.

5.
DERANSART, P. ; BIGONHA, R. S. ; DE SIQUEIRA, J. ; BIGONHA, M. A. S. . A hypertext based environment to write literate logic programs. In: Joint International Conference and Symposium on Logic Programming, 1997, Bon. Proceedings fo the JICSLP'96, 1997. p. 243-252.

6.
SILVA, A. ; DE SIQUEIRA, J. . Implementação Prolog de um avaliador parcial guiado pela entrada para a lógica de primeira ordem. In: V Semana de Iniciação Científica da UFMG, 1997, Belo Horizonte. Resumos da V SIC. Belo Horizonte: Imprensa Universitária da UFMG, 1997. p. 191-191.

7.
MARQUES, D. A. ; DE SIQUEIRA, J. . Geração simbólica e simplificação de modelos dinâmicos de robôs industriais. In: V Semana de Iniciação Científica da UFMG, 1996, Bel. Resumos da V SIC. Belo Horizonte: Imprensa Universitária da UFMG, 1996. p. 192-192.

8.
BARBOSA, R. A. ; DE SIQUEIRA, J. . Sistemas especialistas cooperativos. In: IV Semana de Iniciação Científica da UFMG, 1995, Belo Horizonte. Resumos da IV Semana de Iniciação Científica da UFMG. Belo Horizonte: Imprensa Universitária da UFMG, 1995.

9.
PAULA, E. M. ; DE SIQUEIRA, J. . SEQUOIA: Um demonstrador detoremas controlável para o cálculo de seqüentes. In: IV Semana de Iniciação Científica da UFMG, 1995, Belo Horizonte. Resumos da IV Semana de Iniciação Científica da UFMG. Belo Horizonte: Imprensa Universitária da UFMG, 1995.

10.
DE SIQUEIRA, J.. Counter-Model Construction trhough Controllable Deduction. In: Workshop on Logic Language Information and Computation, 1994, Recife. Bulletin of the Interest Group in Pure and Applied Logics, 1994. v. 3. p. 143-144.

Resumos publicados em anais de congressos
1.
SCHMIDT, F. M. ; DE SIQUEIRA, J. ; BIGONHA, M. A. S. ; DERANSART, P. ; BIGONHA, R. S. ; ED-DBALI, A. . Ìndices e Projeções baseadas em índices para o sistema Hyperpro básico. In: VIII Semana de Iniciação Científica da UFMG, 1999, Belo Horizonte. Resumos da SIC'99, 1999. p. 191-191.

2.
Fonseca, N.M. ; BIGONHA, M. A. S. ; BIGONHA, R. S. ; DERANSART, P. ; ED-DBALI, A. ; DE SIQUEIRA, J. . Um ambiente para desenvolver programas em Machina baseado em paradigmas de estilo literário. In: VIII Semana de Iniciação Científica da UFMG, 1999, Belo Horizonte. Resumos da SIC'99, 1999. p. 189-189.

3.
RIBEIRO, F. P. ; BIGONHA, M. A. S. ; BIGONHA, R. S. ; DE SIQUEIRA, J. ; DERANSART, P. ; ED-DBALI, A. . Um ambiente para desenvolver programação em lógica baseado no paradigma de estilo literário. In: VII Semana de Iniciação Científica da UFMG, 1998, Belo Horizonte. Resumos da VII SIC. Belo Horizonte: Imprensa Universitária da UFMG, 1998. p. 204-204.

4.
RIBEIRO, F. P. ; BIGONHA, M. A. S. ; BIGONHA, R. S. ; DE SIQUEIRA, J. ; DERANSART, P. ; PAROT, P. . Um ambiente para desenvolver programação em lógica baseado no paradigma de estilo literário. In: VI Semana de Iniciação Cinetífica da UFMG, 1997, Belo Horizonte. Resumos da VI SIC. Belo Horizonte: Imprensa Universitária da UFMG, 1997. p. 207-207.

5.
DERANSART, P. ; BIGONHA, R. S. ; PAROT, P. ; BIGONHA, M. A. S. ; DE SIQUEIRA, J. . A Hypertext Based Environment to Write Literate Logic Programs. In: Joint International Conference and Synposium on Logic Programming, 1996, Bonn, Alemanha. Proceedings of the 1996 Joint International Conference and Syposium on Logic Programming, 1996. p. 540-540.

Outras produções bibliográficas
1.
DE SIQUEIRA, J.. Ensino de Inteligencia Artificial: uma proposta de curriculo 1994 (Artigo Didático (Classificação CNCT, inexistente para CNPq & CAPES)).


Produção técnica
Trabalhos técnicos
1.
DE SIQUEIRA, J.; SCHMIDT, F. M. . Manual do usuário de índices e projeções baseadas em índices para o Hyperpro. 1999.

2.
DE SIQUEIRA, J.; SCHMIDT, F. M. . Manual de sistema de índices e projeções baseadas em índices para o Hyperpro. 1999.

3.
Alves, L.R. ; Araújo, A.A. ; DE SIQUEIRA, J. . Aplicação da Computação na identificação de pólen dem produtos apícolas. 1999.

4.
DERANSART, P. ; ED-DBALI, A. ; BIGONHA, M. A. S. ; BIGONHA, R. S. ; DE SIQUEIRA, J. . HyperPro functionalities and utilities. 1997.

5.
DERANSART, P. ; BIGONHA, R. S. ; PAROT, P. ; BIGONHA, M. A. S. ; DE SIQUEIRA, J. . A hypertext based environment to write literate logic programs. 1997.


Demais tipos de produção técnica
1.
DE SIQUEIRA, J.. Introdução à linguagem Prolog. 2000. (Curso de curta duração ministrado/Extensão).

2.
DE SIQUEIRA, J.. Demonstração automática de toremas com cálculo de seqüentes de Gentzen: Completeza, correção controle e relações com tableaux e resolução. 1998. (Curso de curta duração ministrado/Outra).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
VIEIRA, N. J.; DE SIQUEIRA, J.; BRAGA, J. L.. Participação em banca de Isabel Gomes Barbosa. Obtenção de respostas baseadas em casos a partir de árvores de prova. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

2.
VIEIRA, N. J.; DE SIQUEIRA, J.. Participação em banca de João Paulo Domingos Silva. Algoritmos de classificação baseados em análise formal de conceitos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

3.
A, J. B. M.; DE SIQUEIRA, J.. Participação em banca de Ivete Nunes Barbosa Novelo. Uma abordagem para a administração tributária estadual. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

4.
A, J. B. M.; DE SIQUEIRA, J.. Participação em banca de Mauro Nakamura Filho. Algumas considerações sobre a implementação de sistemas deinformação de uma adaministração. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

5.
DE SIQUEIRA, J.. Participação em banca de Rêmulo Dias de Carvalho. Simulação e Otimização do fluxo de tráfego urbano com programação em lógica com restrições em domínios finitos. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

6.
Gama, A.C.C.; Violaro, F.; DE SIQUEIRA, J.; Vieira, M.N.. Participação em banca de Helder Soares de Souza. Orpheus - Sistema especialista para avaliação de disfonias e de voz cantada. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

7.
AYALA-RINCÓN, M.; DE SIQUEIRA, J.. Participação em banca de Ivan Eid Tavares de Araújo. Unificação em teorias monoidais e módulo aritmética de Presburger. 1998. Dissertação (Mestrado em Matemática) - Universidade de Brasília.

8.
VIEIRA, N. J.; DE SIQUEIRA, J.. Participação em banca de Valério Gomes da Costa. Um sistema de auxílio à elaboração de layouts arquitetônicos. 1997. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

9.
AYALA-RINCÓN, M.; DE SIQUEIRA, J.. Participação em banca de Paulo Domingos Conejo. Limite inferior par atualização de árvores de sufixos. 1997. Dissertação (Mestrado em Matemática) - Universidade de Brasília.

10.
DE SIQUEIRA, J.; VIEIRA, N. J.; BRAGA, J. L.. Participação em banca de Ruiter Braga Caldas. Um compilador de exceções para otimização de programas baseados no pradigma de geração e teste. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

11.
VIEIRA, N. J.; DE SIQUEIRA, J.. Participação em banca de Vânia Maria de Menezes. Modelagem de conhecimento em lógic: um estudo de caso. 1994. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Teses de doutorado
1.
DE SIQUEIRA, J.; PEREIRA, A. E. C.. Participação em banca de Mauro Hemerly Gazzani. Programação correta em linguagem de execução distribuída. 2003. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Uberlândia.

2.
A, J. B. M.; DE SIQUEIRA, J.. Participação em banca de Ilson Wilmar Rodrigues Filho. Um modelo de busca de informação usando estruturas hierárquicas complexas. 2000 - Universidade Federal de Santa Catarina.

3.
DE SIQUEIRA, J.; PEREIRA, A. E. C.. Participação em banca de Cedric Luiz de Carvalho. Inferência de tipos e de fluxos de dados para sistemas de programação em lógica. 1999. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Qualificações de Doutorado
1.
DE SIQUEIRA, J.; PEREIRA, A. E. C.. Participação em banca de Mauro Hemerly Gazzani. Programação correta em linguagem de execução distribuída. 2003. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Uberlândia.

2.
DE SIQUEIRA, J.; PEREIRA, A. E. C.. Participação em banca de Wellesley Barros Ferreira. A teoria Ubaldiana aplicada à computação evolutiva. 2003. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Uberlândia.

3.
PEREIRA, A. E. C.; DE SIQUEIRA, J.. Participação em banca de Cedric Luiz de Carvalho. Infere^ncia de tipos e de fluxos e dados para sistemas de programação em lógica. 1999. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

4.
PEREIRA, A. E. C.; DE SIQUEIRA, J.. Participação em banca de Cedric Luiz de Carvalho. Uma ferramenta para a construção de agentes inteligentes. 1988. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.



Participação em bancas de comissões julgadoras
Concurso público
1.
DE SIQUEIRA, J.; CAMARÃO, L. F.; MAIA, M.; SANTOS, M. A.; FREDERICO FERREIRA CAMPOS, FILHO. Concurso para profssor assistente em Ciência da Computação da UNIMONTES. 2002. Universidade Estadual de Montes Claros.

Outras participações
1.
DE SIQUEIRA, J.; VIEIRA, N. J.; Camarão, C.. Comissão de seleção para bolsas do Programa de Aprimoramento Discente - PAD. 2005. Universidade Federal de Minas Gerais.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
VIII Semana da Graduação da UFMG.Sistemas de Inferência Baseados em Lógica MAtemática. 2005. (Outra).

2.
IX Semana de Iniciação Científica da UFMG.Implementação de Interpretador Earley. 2000. (Encontro).

3.
Seminário na Faculdade de Ciência da Computação.Inteligência Artificial: mito ou realidade?. 1999. (Seminário).

4.
VIII Semana de Iniciação Científica da UFMG.Ìndices e Projeções baseadas em índicespara o sistema Hyperpro básico. 1999. (Encontro).

5.
Em dia com a Ciência.Inteligência Artificial: Mito ou Realidade?. 1997. (Outra).

6.
I Encontro de Computação da Universidade Federal de Goiás.Inteligência Artificial: Mito ou Realidade?. 1997. (Encontro).

7.
Palestra no Instituto de Automação do Centro Tecnológico de Informática.Programação em Lógica com Restrições. 1997. (Outra).

8.
2º Workshop sobre Educação e Informática.Ensino de Inteligência Artificial: uma proposta de currículo. 1994. (Oficina).



Orientações



Orientações e supervisões em andamento
Trabalho de conclusão de curso de graduação
1.
Cristian Paolo da Silva Monteiro. Um extensor à verificação estática de Java, baseado em prova automática de provas. Início: 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. (Orientador).

2.
Gustavo Henrique Lopes Machado. Software para solução de exercícios de lógicas não clássicas. Início: 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. (Orientador).

Orientações de outra natureza
1.
Douglas Eduardo Valente Pires. Projeto PAD - SIstemas de Inferência Lógica. Início: 2006. Orientação de outra natureza. Universidade Federal de Minas Gerais. Pró-Reitoria de Graduação da UFMG. (Orientador).

2.
Fernando Pacífico Pinto. Projeto PAD - Sistemas de Inferência Lógica. Início: 2006. Orientação de outra natureza. Universidade Federal de Minas Gerais. Pró-Reitoria de Graduação da UFMG. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Rêmulo Dias de Carvalho. Simulação e Otimização de Tráfego Urbano com Programação em Lógica com Restrições sobre Domínios Finitos. 2001. 125 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: José Lopes de Siqueira Neto.

2.
Anderson Rodrigues dos Santos. Construção de um Modelo de Conhecimento para Projeto de Redes de Telecomunicações. 1999. 0 f. Dissertação (Mestrado em Ciências da Informação) - Universidade Federal de Minas Gerais, . Orientador: José Lopes de Siqueira Neto.

3.
Ruiter Braga Caldas. Um Compilador de Exceções para Otimização de Programas em Lógica Baseados no Paradgima de Geração e Teste. 1996. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: José Lopes de Siqueira Neto.

Trabalho de conclusão de curso de graduação
1.
André França Braga. Um sistema de auxílio ao profissional médico especializado em homeopatia. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

2.
Fernando Pacífico Pinto. Algoritmo Esquemático para Resolução de Problemas. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

3.
Leonardo José da Rocha Lobo Lima. Sistema Tipográfico Colaborativo Baseado em Interface Web (WebTeX). 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

4.
Leonardo Yukio Yoshiwara. Automatização do branch-and-bound para resolução de um determinado problema de otimização. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

5.
Paulo Correa Lara. Um novo esquema de programação automático baseado em Prolog e palicado ao problema do caixeiro viajante. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

6.
Arthur Arico Pedro. Uso de redes neuronais para previsão de carga em redes elétricas. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

7.
Marcelo Saldanha de Oliveira. Uma ferramenta de edião de documentos estruturados. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

8.
RafaelnNeves de Oliveira Pereira. Aprendizagem automática em programas de geração e teste. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

9.
Cristian Paolo da Silva Monteiro. Projeto PAD - Sistemas de Inferência Lógica. 2005. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG. Orientador: José Lopes de Siqueira Neto.

10.
Pedro Henrique Pinto da Cunha Menezes. Uma ferramenta de aprendizagem automática para melhorar o desempenho de programas Prolog de geração-e-teste. 2005. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

11.
Fábio Maia Schmidt. Modelagem por campos reativos aplicada a um jogo virtual de futebol de campo. 2005. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

12.
Wiliam Junio Parreiras Martins. Definição de linguagem e implementação de interpretador para modelagem gráfica e mecânica. 2005. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

13.
Zeniel Juliano Neves Cahves. Múltiplos usuários locais sobre Linux. 2004. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

14.
Clemente Augusto Paixão Silva. Construção de uma base de conhecimento multidisciplinar para gestão ambiental e agrícola de bacias hidrográficas. 2004. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

15.
Marcelo Gibson de Castro Gonçalves. Uma ferramenta para Análise Formal de Conceito. 2004. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

16.
Wellerson Leite de Araújo. Desenvolvimento de uma interface de integração entre o SAGEMoLIC eo Graphviz. 2003. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

17.
Thaís Ruas Vieira. Mineração de dados fenomenal através de análise forma de conceitos com aplicação em análise de DNA mitocondrial. 2003. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

18.
Rafael Spínola V. de Aguiar Santos. Mineração de dados fenomenal aplicada à análise financeira. 2003. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

19.
Cristiano Arbex Valle. Simulação de algoritmos quânticos. 2003. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

20.
Bruno Teixeira de Abreu. Buscando uma solução para o problema aberto de ordenação ótima. 2003. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

21.
Carlúcio Santos Cordeiro. Um motor para aplicações de computação gráfica 3D em tempo real. 2003. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

22.
Wellerson Leite de Araújo. Desenvolvimento de uma interface de integração entre o SAGEMoLIC eo Graphviz. 2002. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

23.
Ana PAula Silva Veloso. Sistema de Assinatura Digital. 2002. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

24.
Rodigo Ziviani de Souza. Inteligência artificial aplicada à edição e à simulação tática de um jogo de futebol em Java. 2001. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

25.
Leonardo Gadelha Guimarães. Aplicação da inteligência artificial em um jogo de futebol interativo para a internet: modelage orientada a objetos e interface gráfica. 2000. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

26.
Guilherme Macedo Lamacié. Simplificação simbólica de expressões trigonométricas para o seno e o coseno da soma de vários argumentos. 2000. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

27.
Fabrício da Silva Canez. Aplicação da inteligência artificial em um jogo de futebol interativo para a internet: interação e interface com o usuário. 2000. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

28.
Alexsandro Fernandes da Fonseca. Estratégia para Futebol de Robôs usando Programaçaõ em Lógica com Restrições. 1999. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

29.
Adilson Silva. Tratamento de igualdade no Sequoia. 1997. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

30.
Paulo Márcio Araújo Belloni. ABACO-PRO: Ambiente de desenvolvimento de sistemas basados em conhecimento com tratamento de incerteza. 1996. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

31.
Luiz Geraldo Silva Braz. FAMA: Ferramenta de Animação de Aáquinas Abstratas. 1995. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

Iniciação científica
1.
Bruno Rocha Coutinho. Implementação de interpretador Earley. 2000. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: José Lopes de Siqueira Neto.

2.
Bruno Versiani dos Anjos. SEQUOIA: Sequentes e Ordens para Inferência Automatizada. 2000. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: José Lopes de Siqueira Neto.

3.
Fabrício Maia Schmidt. ìndices e Projeções no ambiente de programação em estilo literário HyperPro para programação em lógica. 1998. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

4.
Ramurti de Alencar Barbosa. ABACO-PRO: Ambiente de desenvolvimento de sistemas basados em conhecimento com tratamento de incerteza. 1996. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: José Lopes de Siqueira Neto.

5.
Adilson Silva. Implementação Prolog de um avaliador parcial guiado pela entrada para a lógica de primeira ordem. 1996. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: José Lopes de Siqueira Neto.

6.
Douglas Aurélio Marques. Geração simbólica e simplificação de modelos dinâmicos de robôs industriais. 1996. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: José Lopes de Siqueira Neto.

7.
Evaristo Mascarenhas de Paula. Implementação Prolog de um demonstrador automático de teoremas para a lógica de 1ª ordem baseado no Cálculo de Seqüentes de Gentzen. 1995. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: José Lopes de Siqueira Neto.

8.
Ramurti de Alencar Barbosa. Sistemas especialistas cooperativos. 1995. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: José Lopes de Siqueira Neto.

9.
Elaine Spínola Silva. Um motor de inferência para o SEQUOIA. 1994. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: José Lopes de Siqueira Neto.

10.
André Gustavo dos Santos. Ordens de simplificação para demosntração automática de teoremas: ordens sintáticas. 1994. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: José Lopes de Siqueira Neto.

11.
Goedson Teixeira Paixão. Ordens de simplificação para demosntração automática de teoremas: ordens semânticas. 1994. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: José Lopes de Siqueira Neto.

Orientações de outra natureza
1.
João Rafael de Moura Palotti. Projeto PAD - Sistemas de Inferência Lógica. 2005. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG. Orientador: José Lopes de Siqueira Neto.

2.
Ivan da Costa Vieira. Projeto PAD - Sistemas de Inferência Lógica. 2005. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG. Orientador: José Lopes de Siqueira Neto.

3.
Eduardo Costa e Silva. Projeto PID - Iniciação à docência utilizando recursos da internet como apoio. 2005. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG. Orientador: José Lopes de Siqueira Neto.

4.
Daniel Fonseca Mauro. Projeto PAD - Sistemas de Inferência Baseados em Lógica Matemática. 2004. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG. Orientador: José Lopes de Siqueira Neto.

5.
Cristian Paolo da Silva Monteiro. Projeto PAD - Sistemas de Inferência Baseados em Lógica Matemática. 2004. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG. Orientador: José Lopes de Siqueira Neto.

6.
Marcelo Borghetti Soares. Estágio em docência no bacharelado de Ciencia da Computação. 2004. Orientação de outra natureza - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

7.
Bruno Maciel Fonseca. Estágio de docência no bacharelado de Ciência da Computação'. 2004. Orientação de outra natureza - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

8.
Zeniel Juliano Neves Chaves. Projeto PID - Iniciação à docência utilizando recursos da internet como apoio. 2003. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG. Orientador: José Lopes de Siqueira Neto.

9.
Max do Val Machado. Estágio em docência no bacharelado de Ciencia da Computação. 2003. Orientação de outra natureza - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

10.
Túlio Coelho Tavares. Monitoria do bacharelado de Ciencia da Computação. 2002. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG. Orientador: José Lopes de Siqueira Neto.

11.
Bruno Teixieira de Abreu. Monitoria do bacharelado de Ciencia da Computação. 2002. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

12.
Vítor Vasconcelos Araújo Silva. Projeto PID - Iniciação à docência utilizando recursos da internet como apoio. 2000. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG. Orientador: José Lopes de Siqueira Neto.

13.
Erick Lessa de Freitas. Projeto PID - Iniciação à docência utilizando recursos da internet como apoio. 2000. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

14.
Fabrício Cardoso Morais. Monitoria do bacheralado de Ciência da Computação. 1999. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

15.
Natália Viana Fargash. Monitoria de graduação. 1998. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

16.
Leonel Francisco Martins Filho. Monitoria de graduação do bacharelado em Cinência da COmputação. 1996. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.

17.
Edimar Vieira Froede Júnior. Monitoria do bacharelado em Ciência da Computação. 1994. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: José Lopes de Siqueira Neto.



Outras informações relevantes


Professor Associado do Departamento de Ciência da Computação da UFMG, desde 1994.
Coordenador do Laboratório de Inteligência Computacional (LInC) do DCC-ICEx-UFMG, juntamente com o Prof. Newton José Vieira.
iº Secretário da APUBH - Sindicato dos Docentes de Universidades Federais de Belo Horizonte e Montes Claros, gestão 2006-2008.
Presidente da APUBH - Sindicato dos Docentes de Universidades Federais de Belo Horizonte e Montes Claros, gestões 2008-2010 e 2010-2012



Página gerada pelo Sistema Currículo Lattes em 20/01/2019 às 22:22:29