João Nunes de Souza

Possui graduação em Engenharia Elétrica pela Universidade Federal de Minas Gerais (1981), bacharelado em Matemática pela Universidade Federal de Minas Gerais (1979), mestrado em Matemática pela Universidade Federal de Minas Gerais (1982) e doutorado em Engenharia Elétrica pela Universidade Estadual de Campinas (1988). Atualmente é professor titular da Universidade Federal de Uberlândia. Tem experiência na área de Ciência da Computação, com ênfase em ensino de Lógica, Banco de Dados e Criptografia, atuando principalmente nos seguintes temas: recuperação de informação, segurança e protocolos criptográficos, ensino de Lógica para alunos de graduação e do ensino médio.

Informações coletadas do Lattes em 03/07/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Engenharia Elétrica

1984 - 1988

Universidade Estadual de Campinas
Título: Representação de Conhecimento Utilizando o Lambda-Cálculo Tipado.
Wagner Caradori do Amaral. Palavras-chave: Representação de Conhecimento; Lambda-Cálculo Tipado; Lógica; Inteligêmcia Artificial.Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Engenharia de Computação / Especialidade: Inteligência Artificial.

Mestrado em Matemática

1980 - 1982

Universidade Federal de Minas Gerais
Orientador: Pedro Mendes
Palavras-chave: ciclos limites; equações diferenciais; Liénard.Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Análise / Especialidade: Equações Diferenciais Ordinárias. Setores de atividade: Outros Setores.

Graduação em Engenharia Elétrica

1977 - 1981

Universidade Federal de Minas Gerais

Graduação em Bacharelado Em Matemática

1978 - 1979

Universidade Federal de Minas Gerais

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma Português

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

Bandeira representando o idioma Francês

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

Seção coletada automaticamente pelo Escavador

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Banco de Dados.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas Criptográficos..

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Informática na Educação.

Seção coletada automaticamente pelo Escavador

Participação em eventos

VIII Encontro Regional de Matemática Aplicada e Computacional.Minicurso de Criptografia.. 2007. (Encontro).

12th String Processing and Information Retrieval, 2005. Comparison of Representations of Multiple Evidence using a Functional Framework for IR.. 2005. (Congresso).

XVII Brazilian Symposium on Data Base.A Multi-User Key and Data Exchange Protocol to Manage Secure Database. 2002. (Simpósio).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Héverton Barros de Macêdo

OLIVEIRA, G. M. B.; LIANG, Z.;SOUZA, J. N.. Um novo Método Criptográfico Baseado no Cálculo de Pré-imagens de Autômatos Celulares Caóticos, Não-Homogêneos e Não-Aditivos.. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Joslaine Cristina Jeske

LUDERS, R.; Julia, S.;SOUZA, J. N.. Mecanismos de Alocação de Recursos Fuzzy para Sistemas de Gerenciamento Workfolw. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Daniel Antônio Furtado

SOUZA, J. N.; AMO, S.. Mineração de Padrões Sequenciais Múltiplos. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Mônica Sakuray Paies

SOUZA, J. N.; AMO, S.; LIFICHITZ, S.. P-DATALOG: Uma Linguagem Dedutiva para Consulta a Banco de Dados com Inconsistências. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: José Luiz de Freitas Júnior

SOUZA, J. N.; TEIXEIRA, E. P.; AZEVEDO, H. R.; SOARES, A. B.; SILVA, W. G.. Uma Proposta de Algoritmo Criptográfico Atuando na Comunicação Via OPC em Sistemas de Automação Industrial. 2003. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Uberlândia.

Aluno: Carlos Roberto Lopes

SOUZA, J. N.; RILO, M.. Planejamento Baseado em Expectativas. 1998. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Márcia Aparecida Fernandes

SOUZA, J. N.; CARVALHO, L. A. V.; MORA-CAMINO, F.. Planejamento do Start-up de Plantas Químicas através de Redes de Petri e Algoritmos Genéticos. 1996. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

Aluno: Artêmio Ludwig

SOUZA, J. N.AMARAL, W. C.. Lambda-Prolog: Interpretação e Unificação de Ordem Superior. 1992. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Aluno: Jaqueline Aparecida Jorge Papini

SOUZA, J. N.; MAIA, M. A.; Silva, M. A. P.. Gerência de testes de software. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação.) - Universidade Federal de Uberlândia.

Aluno: Eduardo Braga Rabelo

Silva, M. A. P.;SOUZA, J. N.; Faina, L. F.. Site Bibliotecas UFU utilizando Gerenciador de Conteúdo Web EZPUBLISH. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação.) - Universidade Federal de Uberlândia.

Aluno: Pablo Siqueira Cavalcanti

SOUZA, J. N.; BACALA JUNIOR, S.; CAETANO, M. R.. ACC Taurus 4.0. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação.) - Universidade Federal de Uberlândia.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Evandro de Oliveira Araújo

AMARAL, W. C.;ARAÚJO, E. O.; ANDRADE NETO, M. L.; MAGALHAES, L. P.. Representação de Conhecimento utilizando o Lambda Cálculo Tipado. 1989. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Henrique Pacca Loureiro Luna

Sette, A. M. A.;Luna, H. P. L.; Andrade, M. L. N.; Araujo, E. O.; Amaral, W. C.. Representação de conhecimento usando o lambda-calculo tipado. 1989. Tese (Doutorado em Engenharia Eletrica) - Universidade Estadual de Campinas.

FERNANDO ANTONIO CAMPOS GOMIDE

GOMIDE , Fernando. REPRESENTAÇÃO DE CONHECIMENTO UTILIZANDO O LAMBDA CÁLCULO TIPADO.. 1989. Tese (Doutorado em Sem Informação) - Universidade Estadual de Campinas.

Seção coletada automaticamente pelo Escavador

Orientou

Janine Oliveira

Acesso seguro a Banco de Dados criptografados; Início: 2008; Dissertação (Mestrado profissional em Ciência da Computação) - Universidade Federal de Uberlândia; (Orientador);

Winicius Pereira

Compartilhamento de Segredos em Sistemas de Computação nas Nuvens; Início: 2008; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia; (Orientador);

Cintia Carvalho Oliveira

Desenvolvimento de Objetos de Aprendizagem para Ensino de Lógica na Escola Fundamental; Início: 2008; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Daniele Carvalho Oliveira

Descrição Formal de uma Sistema de Ensino a Distância de Lógica na Escola Fundamental; Início: 2008; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Humberto Gustavo de Melo

Acesso a Banco de Dados Cifrados em Sistemas de Computação nas Nuvens; Início: 2008; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia; (Orientador);

Adriana de Souza Guimarães

Porposta de um sistema de apresentação de senhas em máquinas hostis; ; 2008; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: João Nunes de Souza;

Heveraldo Rodrigues de Oliveira

Análise de Segurança de Esquemas de Privacidade de Dados; ; 2007; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: João Nunes de Souza;

Luciene Chagas de Oliveira

Meta; Meta - Modelo Funcional para Recuperação de Informação; ; 2006; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: João Nunes de Souza;

Daniel Gonzaga dos Santos

Metamodelo Funcional para Recuperação de informação baseado em lambda cálculo; 2006; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: João Nunes de Souza;

Antônio Eustáquio Ferreira Galvão

Uma Proposta de Política Compulsória para Banco de Dados Implementável em Catálogo; ; 2005; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: João Nunes de Souza;

Gilson Marques da Silva

Segurança em Redes Locais sem Fio; 2005; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: João Nunes de Souza;

José Ricardo Cosme Lérias Ribeiro

Um Protocolo Criptográfico para Acesso a Redes sem Fio; 2005; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: João Nunes de Souza;

Ana Carolina do Prado

Agrupamento Automático Baseado em Autoridade e Conteúdo; ; 2005; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Coorientador: João Nunes de Souza;

Karla Aparecida Perine Lagares

Gerenciamento de Senhas Utilizando Teoria dos Códigos; ; 2005; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: João Nunes de Souza;

Rosa Virginia Silva Costa

Banco de Dados Relacionais em Ambiente Cifrado; 2004; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: João Nunes de Souza;

Alex Fabiane de Paulo

Protocolos Criptográficos para trocas de Dados em Aplicações Baseadas em XML; ; 2004; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Coorientador: João Nunes de Souza;

Karina Silveira Santos

Dependência entre termos no Modelo Vetorial; 2003; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: João Nunes de Souza;

Pedro Moisés de Sousa

Política de Segurança de Controle de Acesso Mandatário em Ambiente Cifrado; 2003; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: João Nunes de Souza;

Fernanda de Jesus Vieira

Uma Extensão do Protocolo SET para Acesso a Base de Dados Cifrado; 2003; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: João Nunes de Souza;

Renata Ferreira Lisboa Moura

Informação de Links no Modelo Vetorial usando uma Estrutura Funcional; 2003; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Coorientador: João Nunes de Souza;

Renato Aquino Lopes

Recuperação de Informação de Dados Semi - Estruturados utilizando o Modelo Vetorial; 2003; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Coorientador: João Nunes de Souza;

José Luiz de Freitas Júnior

Projeto de Sistemas Criptográficos Utilizando Códigos Lineares; ; 1998; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Uberlândia,; Orientador: João Nunes de Souza;

Eliane Borela

Um Sistema Criptográfico Para Votação a Distância; ; 1997; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Uberlândia,; Orientador: João Nunes de Souza;

Rogério de Melo Nepomuceno

Máquinas Abstratas Para Prova de Teoremas; ; 1997; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Uberlândia,; Orientador: João Nunes de Souza;

Ilmério Reis Silva

Teoria de Banco de Dados Relacionais e Verificação da Qualidade no Projeto de Esquemas; ; 1994; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Uberlândia,; Orientador: João Nunes de Souza;

Alexandre de Melo Resende

Inteligência Artificial; 1995; Iniciação Científica; (Graduando em Ciência da Computação; ) - Universidade Federal de Uberlândia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Nunes de Souza;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Pedro Mendes

Estudos Sobre Os Ciclos Limites da Equacao de Lienard; 1982; Dissertação - Universidade Federal de Minas Gerais,; Orientador: Pedro Mendes;

Wagner Caradori do Amaral

Representação de Conhecimento Utilizando o Cálculo Tipado; 1989; Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Wagner Caradori do Amaral;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • SOUZA, J. N. ; TEIXEIRA, E. P. ; FREITAS JÚNIOR, J. L. . Cryptographic System For Storage Of Data Using Linear Codes. IJCR - International Journal of Computer Research, 2003, USA, 2003.

  • SOUZA, J. N. . Lógica Para Ciência da Computação - Uma Introdução Concisa. 2. ed. Rio de Janeiro: Editora Campus, 2008. v. 1. 223p .

  • SOUZA, J. N. . A primeira Aventura de Belisca no Mundo da Lógica. 1. ed. Uberlância: Edição independente., 2008. v. 1. 153p .

  • SOUZA, J. N. . A segunda Aventura de Belisca no Mundo da Lógica. 1. ed. Uberlândia: Edição independente, 2008. v. 1. 135p .

  • SOUZA, J. N. . Lógica para Ciência da Computação. 1. ed. Rio de Janeiro: Editora Campus, 2002. v. 3000. 300p .

  • SOUZA, J. N. ; SILVA, I. R. ; OLIVEIRA, L. C. . Comparison of Representations of Multiple Evidence using a Functional Framework for IR.. In: 12th String Processing and Information Retrieval, 2005, 2005, Buenos Aires. Lecture Notes in Computer Science., 2005.

  • SOUZA, J. N. ; LAGARES, K. A. P. . Gerenciamento de Senhas Utilizando Teoria dos Códigos.. In: Simpósio de Segurança em Informática, 2005, São José dos Campos - SP. Anais do Simpósio de Segurança em Informática, 2005.

  • SOUZA, J. N. ; SILVA, I. R. ; SANTOS, K. S. . Dependence Among Terms in Vector Space Model.. In: XIX Simpósio Brasileiro de Banco de Dados, 2004, Brasília. Anais do XIX Simpósio Brasileiro de Banco de Dados, 2004.

  • SOUZA, J. N. ; SILVA, I. R. ; GALVAO, A. E. F. . Um Molelo de Controle de Acesso com Política Compulsória Implementável em Catálogo.. In: VI Simpósio de Desenvolvimento e Manutenção de Software da Marinha, 2004, Rio de Janeiro. Anais do VI Simpósio de Des. e Manutenção de Software da Marinha, 2004. p. 1-9.

  • SOUZA, J. N. ; SILVA, G. M. . Uma Análise dos Mecanismos de Segurança de Redes Locais e um Proposta de Melhoria. In: Simpósio Brasileiro de Redes de Computadores, 2003, Natal. Anais do XXI Simpósio Brasileiro de Redes de Computadores, 2003.

  • SOUZA, J. N. ; SILVA, G. M. . Proposta de Melhoria dos Mecanismos de Segurança de Redes Locais sem Fio. In: Simpósio de Segurança em Informática, 2003, Saõ José dos Campos. Anais do V Simpósio de Segurança em Informática, 2003.

  • SOUZA, J. N. ; SILVA, I. R. ; COSTA, R. V. S. . Banco de Dados Relacionais em Ambiente Cifrado. In: Simpósio de Segurança em Informática - Edição 2003, 2003, São José dos Campos - SP. Anais do V Simpósio de Segurança em Informática, 2003.

  • SOUZA, J. N. ; SILVA, I. R. ; COSTA, R. V. S. . Criptografia Aplicada a Banco de Dados. In: XI Escola Regional de Informática SBC, 2003, Londrina - PR. Anais da XI ERI 2003, 2003.

  • SOUZA, J. N. ; COSTA, R. V. S. . Gerenciamento de Banco de Dados em Ambiente Cifrado. In: IX Jornada Iberoamericanas de Informática, 2003, Cartagena de Indias - Colômbia. MI 6043, 2003.

  • SOUZA, J. N. ; SILVA, I. R. ; SOUZA, P. M. . Política de Controle de Acesso Mandatário em Ambiente Cifrado. In: Simpósio de Segurança em Informática, 2003, São José dos Campos - SP. Anais do V Simpósio de Segurança em Informática, 2003.

  • SOUZA, J. N. ; SILVA, I. R. ; SOUZA, P. M. . Modelo Bell-LaPadula emAmbiente Cifrado. In: XXIII Congresso da Sociedade Brasileira de Computação, 2003, Campinas -SP. Anais do XVIII Congresso da Socieddade Brasileira de Computação, 2003.

  • SOUZA, J. N. ; SILVA, I. R. ; LOPES, R. A. ; RIBEIRO-NETO, B. . Informações de Links no Modelo Vetorial Usando uma Estrutura Funcional. In: XVIII Simpósio Brasileiro de Banco de Dados, 2003, Manaus, AM. Anais do XVIII Simpósio Brasileiro de Banco de Dados. Manaus, AM.: Editora da Universidade Federal do Amazonas, 2003. v. 1. p. 170-184.

  • SOUZA, J. N. ; SILVA, I. R. ; VIEIRA, F. J. . Transação Eletrônica Segura em Ambiente Cifrado. In: V Simpósio de Segurança em Informática, 2003, São José dos Campos. Anais do V Simpósio de Segurança em Informática, 2003.

  • SOUZA, J. N. ; SILVA, G. M. . Estudo e Melhoria dos Mecanismos de Segurança em Redes Locais sem Fio. In: International Information and Telecomunication Technologies, 2003, Florianópolis. Anais do I2TS International Information and Telecomunication Technologies, 2003.

  • SOUZA, J. N. ; SOUZA, P. M. . Modelo Bell-LaPadula em Ambiente Cifrado. In: ERI - 2003 - XI Escola Regional de Informática - SBC, 2003, Londrina. Anais do ERI - 2003, 2003.

  • SOUZA, J. N. ; COSTA, R. V. S. . Criptografia Aplicada a Banco de Dados. In: ERI - 2003 - XI Escola Regional de Informática - SBC, 2003, Londrina - PR. Anais do ERI - 2003, 2003.

  • SOUZA, J. N. ; SILVA, R. V. . Gerenciamento de Banco de Dados Cifrados. In: IX Jornadas Ibero-Americanas de Informática, 2003, Cartagena / Colômbia. Anais das IX Jornadas Ibero-Americanas de Informática, 2003.

  • SOUZA, J. N. ; VIEIRA, F. J. . Uma Extensão do Protocolo SET para Acesso a Base de Dados Cifradas. In: IX Jornadas Ibero-Americanas de Informática, 2003, Cartagena - Colômbia. Anais da IX Jornadas Ibero-Americanas de Informática, 2003.

  • SOUZA, J. N. ; SILVA, I. R. ; MOREIRA, M. A. R. . A Multi-User Key and Data Exchange Protocol to Manage Secure Database. In: XVII Brazilian Symposium on Data Base, 2002, Gramado. Anais do XVII Simpósio Brasileiro de Banco de Dados., 2002. v. 1. p. 370-376.

  • SOUZA, J. N. ; FREITAS JÚNIOR, J. L. ; TEIXEIRA, E. P. . Criptographic System For Storage Of Data Using Linear Codes. In: International Conference on Information Security 2002, 2002, Rio de Janeiro - RJ. WSEAS - International Conference on Information Security 2002, 2002.

  • SOUZA, J. N. ; FREITAS JÚNIOR, J. L. ; TEIXEIRA, E. P. . The Performance And Throughput of OPC With Cryptography. In: International Conference on Automation And Information, 2002, Tenerife. WSEAS International Conference on Automation And Information, 2002.

  • SOUZA, J. N. ; AMO, S. ; FERNANDES, M. A. . Mining Temporal Coinstraints in Databases Using Genetic Programming. In: XV Simpósio Brasileiro de Banco de Dados, 2000, João Pessoa. Anais do XV Simpósio Brasileiro de Banco de Dados, 2000.

  • SOUZA, J. N. ; AMARAL, W. C. . An Expert System for Hyerarchical Control. In: International Conference on Man and Cybernetics, 1988, Pequim - China. Anals of 1988 International Conference on Man and Cybernetics, 1988.

  • SOUZA, J. N. ; AMARAL, W. C. . Arquitetura EAO em K Níveis: Uma Proposta de Definição. In: III Simpósio Brasileiro de Inteligência Artificial, 1986, Rio de Janeiro. Anais do III Simpósio Brasileiro de Inteligência Artificial, 1986.

  • SOUZA, J. N. ; SILVA, I. R. ; SANTOS, K. S. . Dependence Among Terms in Vector Space Model. In: 8th International Database Engineering Applications Symposium, 2004, Coimbra. Proceedings of 8th International Database Engineering Applications Symposium, 2004. v. 1.

Seção coletada automaticamente pelo Escavador

Outras produções

SOUZA, J. N. . A primeira Aventura de Belisca no Mundo da Lógica. 2007. (Desenvolvimento de material didático ou instrucional - Ensino de Lógica para Iniciantes).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2004 - Atual

    Segurança em Sistemas de Computação - Criptografia., Descrição: Desenvolvimento de protocolos criptográficos para aplicações em sistemas de informação.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (6) . , Integrantes: João Nunes de Souza - Coordenador / Ilmério Reis Silva - Integrante.

  • 2000 - Atual

    Recuperação de Informação - Banco de Dados., Descrição: Estudo de meta-modelos de recuperação de informação.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (5) . , Integrantes: João Nunes de Souza - Coordenador / Ilmério Reis Silva - Integrante / Autran Macêdo - Integrante.

Seção coletada automaticamente pelo Escavador

Projetos de desenvolvimento

  • 2000 - Atual

    Ensino de Lógica na Escola Básica., Descrição: Desenvolvimento de textos e metodologias para ensino de argumentação lógica na escola básica.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: João Nunes de Souza - Coordenador.

  • 2000 - Atual

    Ensino de Lógica em Ciência da Computação., Descrição: Desenvolvimento de metodologias de ensino de lógica para Ciência da Computação.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (5) . , Integrantes: João Nunes de Souza - Coordenador.

Seção coletada automaticamente pelo Escavador

Prêmios

2003

Prêmio Tércio Pacitti com menção honrosa pela apresntação do artigo: "Proposta de Melhoria dos Mecanismos de Segurança da Redes Locais sem Fio" no SSI 2003, Instituto Tecnológico da Aeronáutica / ITA e Empresa Siemens..

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade Federal de Uberlândia, Faculdade de Computação, Faculdade de Computaçào. , Av. João Naves de Ávila, Campus Santa Mônica, Bloco B., Santa Mônica, 38400-000 - Uberlandia, MG - Brasil, Telefone: () 32394144, Ramal: 4144, Fax: () 32394392, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

1982 - Atual

Universidade Federal de Uberlândia

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

Atividades

  • 01/2002

    Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Criptografia, Lógica Para Ciência da Computação

  • 04/2001

    Pesquisa e desenvolvimento , Faculdade de Computação, .,Linhas de pesquisa

  • 04/2001

    Conselhos, Comissões e Consultoria, Faculdade de Computação, .,Cargo ou função, Membro do Colegiado da Pós-Graduação em Ciência da Computação..

  • 02/1984

    Ensino, Ciência da Computação., Nível: Graduação,Disciplinas ministradas, Estruturas de Dados., Introdução à Computação., Lógica Para Ciência da Computação 1., Lógica Para Ciência da Computação 2., Matemática Para Ciência da Computação., Redes de Computadores., Sistemas de Banco de Dados.

  • 02/1984

    Ensino, Ciência da Computação., Nível: Graduação,Disciplinas ministradas, Programação Lógica, Criptografia, Linguagens Formais e Autômatos., Microprocessadores., Teoria da Computação, Teoria dos Grafos.

  • 02/1984

    Conselhos, Comissões e Consultoria, Faculdade de Computação, .,Cargo ou função, Membro do Conselho da Unidades..

  • 04/2001 - 07/2001

    Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Criptografia., Lógica Para Ciência da Computação.

  • 08/1995 - 12/1996

    Ensino, Especialização em Computação, Nível: Especialização,Disciplinas ministradas, Desenvolvimento de monografias de final de curso., Redes de Computadores.

  • 02/1994 - 02/1996

    Direção e administração, Faculdade de Computação, .,Cargo ou função, Diretor de Unidade.

  • 02/1982 - 02/1984

    Ensino, Bacharelado em Matemática, Nível: Graduação,Disciplinas ministradas, Álgebra, Álgebra Linear., Análise Matemática 1., Análise Matemática 2., Cálculo Diferencial e Integral, Geometria Analítica, Geometria Diferencial, Métodos Matemáticos

  • 02/1982 - 02/1984

    Ensino, Bacharelado em Matemática, Nível: Graduação,Disciplinas ministradas, Equações Diferenciais Ordinárias., Matemática Para Economia., Métodos Matemáticos - Séries de Fourier.