Marcos Veloso Peixoto
Possui graduação em Engenharia Civil pelo Instituto Militar de Engenharia (1983), mestrado em Informática - Departamento de Informática (1989) e doutorado em Informática Fundamental - Universite de Paris VII - Universite Denis Diderot (1994). Atualmente é professor associado do Instituto Militar de Engenharia. Tem experiência na área de Matemática, com ênfase em Lógica Matemática, atuando principalmente nos seguintes temas: ensino a distancia, programação web, java, segurança e banco de dados.
Informações coletadas do Lattes em 04/05/2024
Acadêmico
Formação acadêmica
Doutorado em Informática Fundamental
1989 - 1994
Université Paris Diderot
Título: Evaluation Ascendante de Programmes Logiques avec Constraintes
Orientador: Prof. Laurent Fribourg
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Programação em Lógica com Restrições Aritméticas; Avaliação Ascendente; Aritmética de Pressburger; Sistemas Concorrentes.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Mestrado em Informática
1986 - 1989
Departamento de Informática
Título: Especificação Formal de Tipos Abstratos de Dados via Sequência de Sistemas de Reescrita,Ano de Obtenção: 1989
Orientador: Paulo Augusto Silva Velloso
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Especificação Algébrica; Tipos Abstratos de Dados; Sistemas de Reescrita; Especificação Formal.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação. Setores de atividade: Informática.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Razoavelmente, Lê Razoavelmente.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Lógica Matemática.
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.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Banco de Dados.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Modelos Analíticos e de Simulação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Educação a Distância.
Participação em bancas
PEIXOTO, M. V.; MELO, R. N.; NOYA, R. C.. Concepção e Implementação de um Ambiente de Aula na WEB. 2005. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
OLIVEIRA, Jauvane C. dePEIXOTO, M. V.; Vidal, P. C. S.; TREVELIN, L. C.. ADVICE: Um Ambiente Virtual para o Ensino a Distância. 2004. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
PEIXOTO, M. V.; CAMPOS, G. H.; LEITE, L. S.; BERGMANN, U.. Um Mecanismos de Avaliação da Aprendizagem do Aluno. 2003. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
PEIXOTO, M. V.; ANGELIM, R. C. C.; BERGMANN, U.. Desenvolvimento de um Modelo de Ensino a Distância Mediado Pedagogicamente. 2003. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
BASTOS, N. M. C.; CABRAL, M. S. A.; GOMES, M. G. F. M.;PEIXOTO, M. V.; FIGUEIREDO, M. A. D.. Definição de Atributos Normativos para a Avaliação de um Sistema de Educação a Distância. 2003. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
PEIXOTO, M. V.; Vidal, P. C. S.; FERREIRA, P. C.;OLIVEIRA, Jauvane C. de. Emprego de Agentes Móveis em Roteamento na Arquitetura TCP/IP. 2002. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
PEIXOTO, M. V.; BERGMANN, U.; ROCHA, A. R. C.; TANAKA, A. K.. Análise de um Ambiente de Ensino a Distância. 2002. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
PEIXOTO, M. V.; XEXÉO, G. B.; MELO, R. N.. Arquitetura baseada em Agentes Móveis para Elaboração de Simulados. 2002. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
PEIXOTO, M. V.; GUEDES, L. G. R.;OLIVEIRA, Jauvane C. de; RESENDE, Luis Gustavo Varges. A. Barbosa. Abordagem de QoSProxyServer para o Ensino a Distância. 2002. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
PEREIRA, G. P. C.; MOURA, A. M. C.;PEIXOTO, M. V.; CAMPOS, M. L. M.; SILVEIRA, P. M.. Sistema de Gerenciamento de Documentos e Coleções na WEB (SGDC-W). 2001. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
MOURA, A. M. C.; OLIVEIRA, É. R.; TANAKA, A. K.;PEIXOTO, M. V.; VALÉRIO, J. D. P.. Interface Gráfica para Modelagem Conceitual num Bando de Dados Orientado Objeto. 2000. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
TANAKA, A. K.; TORRICO, F. C. N.; MOURA, A. M. C.; PRADO, A. F.;PEIXOTO, M. V.. Especificação de Regras de Negócio em Banco de Dados Realcional Obbeto. 2000. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
GONZAGA, A. M. S.;PEIXOTO, M. V.; GONDIM, P. R. L.. Gonzaga. Arquitecturas para Gerência de Localização em Sistemas de Comunicação Pessoal. 2000. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
MIRANDA, M. G.; GONDIM, P. R. L.; TANAKA, A. K.;PEIXOTO, M. V.; MATTOSO, M. L. Q.. Uma Metodologia para Projeto de Bancos de Dados Distribuidos. 1999. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
OLIVEIRA, A. P.; CORTÉS, M. I.; CARVALHO, S.; GARCIA, A. V.;PEIXOTO, M. V.. Especificação Formal da Linguagem DDL usando Transformações. 1999. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
BRAGA, A. L.; XEXÉO, G. B.; SOUZA, J. M.;PEIXOTO, M. V.. Utilização de Agentes Móveis em Recuperação e Troca de Dados. 2000. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
PEIXOTO, M. V.. Desenvolvimento para WEB de uma Agenda Cooperativada. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.
PEIXOTO, M. V.; CECÍLIO, E. L.; ARAUJO, L. H. C.. Especificação e Implementação de um Ambiente de Chat Moderado. 2004. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.
PEIXOTO, M. V.; CECÍLIO, E. L.; ARAUJO, L. H. C.. Especificação e Implementação de um Ambiente de Chat Moderado. 2004. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.
PEIXOTO, M. V.; RESENDE, Luis Gustavo Varges; CECÍLIO, E. L.. Sistema de Validação de Sites. 2002. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.
PEIXOTO, M. V.; RESENDE, Luis Gustavo Varges; CECÍLIO, E. L.. Sistema de Validação de Sites. 2002. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.
RESENDE, Luis Gustavo Varges;PEIXOTO, M. V.. Sistema de Videoconferência sobre a Internet. 2002. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.
PEIXOTO, M. V.; RESENDE, Luis Gustavo Varges. Geração Automática de Horários fazendo Uso de Algoritmos Genéticos. 2001. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.
PEIXOTO, M. V.; RESENDE, Luis Gustavo Varges. Ambiente de Chat Moderado Aplicado ao Ensino a Distância. 2001. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.
PEIXOTO, M. V.; RESENDE, Luis Gustavo Varges. Desenvolvimento da Intranet do Departamento de Engenharia de Sistemas. 2001. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.
CECÍLIO, E. L.; RESENDE, Luis Gustavo Varges;PEIXOTO, M. V.. Central Telefônica de Voz sobre IP. 2000. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.
CECÍLIO, E. L.; GOMES, R. M.; RESENDE, Luis Gustavo Varges;PEIXOTO, M. V.. Central Telefônica de Voz sobre IP. 2000. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.
GARCIA, A. V.; ABE, E. M.;PEIXOTO, M. V.; RESENDE, Luis Gustavo Varges. Ferramenta Automática de Tradução de Programa Fonte. 1999. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.
MOURA, A. M. C.; SILVA, R. J. M.;PEIXOTO, M. V.; QUADROS, J. R. T.. Interface Web para Acesso a Sistemas de Banco de Dados. 1998. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.
PEIXOTO, M. V.; BORGES, N.;PEIXOTO, M. V.. Concurso Público para Provimento de Cargo de Professor Adjunto do Magistério Superior na área de Matemática. 2018. Instituto Militar de Engenharia.
PEIXOTO, M. V.; GARCIA, A. V.; OUTROS. Chefe da banca de Matemática do concurso público para Chefe da banca de Matemática do concurso público para admissão ao Instituto Militar de Engenharia (concurso público pois os classificados ingressam na carreira militar como Oficias da Ativa do EB). 2018.
PEIXOTO, M. V.. Membro da banca de Matemática do concurso público para Chefe da banca de Matemática do concurso público para admissão ao Instituto Militar de Engenharia (concurso público pois os classificados ingressam na carreira militar como Oficias da Ativa do EB). 2009. Instituto Militar de Engenharia.
PEIXOTO, M. V.; OUTROS. Chefe da banca de Matemática do concurso público para Chefe da banca de Matemática do concurso público para admissão ao Instituto Militar de Engenharia (concurso público pois os classificados ingressam na carreira militar como Oficias da Ativa do EB). 2004. Instituto Militar de Engenharia.
EDELWEIS, N.; LIFSCHITZ, S.;PEIXOTO, M. V.; OLIVEIRA, C. M. G. M.; XEXEO, G.. Concurso Público para Provimento de Cargo de Professor Adjunto do Magistério Superior nas áreas de Banco de Dados e Engenharia de Software. 2004. Instituto Militar de Engenharia.
PEIXOTO, M. V.. Chefe da banca de Matemática do concurso público para admissão ao Instituto Militar de Engenharia (concurso público pois os classificados ingressam na carreira militar como Oficias da Ativa do EB). 2003. Instituto Militar de Engenharia.
ALVES, G. L. M.;PEIXOTO, M. V.; ADAULTO, L. Concurso Público para Provimento de Cargo de Professor Adjunto do Magistério Superior na área de Matemática.. 2002. Instituto Militar de Engenharia.
PEIXOTO, M. V.. Chefe da banca de Matemática do concurso público para admissão ao Instituto Militar de Engenharia (concurso público pois os classificados ingressam na carreira militar como Oficias da Ativa do EB). 2002. Instituto Militar de Engenharia.
PEIXOTO, M. V.. Chefe da banca de Matemática do concurso público para admissão ao Instituto Militar de Engenharia (concurso público pois os classificados ingressam na carreira militar como Oficias da Ativa do EB). 2001. Instituto Militar de Engenharia.
PEIXOTO, M. V.; OUTROS. Chefe da banca de Matemática do concurso público para admissão ao Instituto Militar de Engenharia (concurso público pois os classificados ingressam na carreira militar como Oficias da Ativa do EB). 2000. Instituto Militar de Engenharia.
PEIXOTO, M. V.; OUTROS. Membro da banca de Matemática do concurso público para admissão ao Instituto Militar de Engenharia (concurso público pois os classificados ingressam na carreira militar como Oficias da Ativa do EB). 1999. Instituto Militar de Engenharia.
PEIXOTO, M. V.; OUTROS. Membro da banca de Matemática do concurso público para admissão ao Instituto Militar de Engenharia (concurso público pois os classificados ingressam na carreira militar como Oficias da Ativa do EB). 1998. Instituto Militar de Engenharia.
PEIXOTO, M. V.; OUTROS. Membro da banca de Matemática do concurso público para admissão ao Instituto Militar de Engenharia (concurso público pois os classificados ingressam na carreira militar como Oficias da Ativa do EB). 1987.
PEIXOTO, M. V.; OUTROS. Membro da banca de Matemática do concurso público para admissão ao Instituto Militar de Engenharia (concurso público pois os classificados ingressam na carreira militar como Oficias da Ativa do EB). 1986. Instituto Militar de Engenharia.
PEIXOTO, M. V.; OUTROS. Membro da banca de Matemática do concurso público para admissão ao Instituto Militar de Engenharia (concurso público pois os classificados ingressam na carreira militar como Oficias da Ativa do EB). 1985. Instituto Militar de Engenharia.
PEIXOTO, M. V.. Membro da banca de Matemática do concurso público para admissão ao Instituto Militar de Engenharia (concurso público pois os classificados ingressam na carreira militar como Oficias da Ativa do EB). 1984. Instituto Militar de Engenharia.
Orientou
Concepção e Implementação de um Ambiente de Aula na WEB; 2005; Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcos Veloso Peixoto;
ADVICE: Um Ambiente Virtual para o Ensino a Distância; 2004; 213 f; Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Marcos Veloso Peixoto;
Desenvolvimento de um Modelo de Ensino a Distância Mediado Pedagogicamente; 2003; 145 f; Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcos Veloso Peixoto;
Mapa: Um Mecanismos de Avaliação da Aprendizagem do Aluno; 2003; Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcos Veloso Peixoto;
A; Barbosa; Um Abordagem de QoSProxyServer para o Ensino a Distância; 2002; 121 f; Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcos Veloso Peixoto;
Arquitetura baseada em Agentes Móveis para Elaboração de Simulados; 2002; 109 f; Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcos Veloso Peixoto;
Análise de um Ambiente de Ensino a Distância; 2002; 166 f; Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcos Veloso Peixoto;
Emprego de Agentes Móveis em Roteamento na Arquitetura TCP/IP; 2002; 0 f; Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcos Veloso Peixoto;
Estudo Comparativo entre o Modelo Orientado por Objectos e o Modelo Relacional Objecto; 2000; 107 f; Monografia; (Aperfeiçoamento/Especialização em Informática) - Universidade do Algarve; Orientador: Marcos Veloso Peixoto;
Desenvolvimento para WEB de uma Agenda Cooperativada; 2005; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Especificação e Implementação de um Ambiente de Chat Moderado; 2004; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Especificação e Implementação de um Ambiente de Chat Moderado; 2004; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Sistema de Validação de Sites; 2002; 86 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Sistema de Validacão de Sites; 2002; 86 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Sistema de Videoconferência sobre a Internet; 2002; 59 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Geração Automatica de Horarios fazendo Uso de Algoritmos Genéticos; 2001; 120 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Ambiente de Chat Moderado Aplicado ao Ensino a Distância; 2001; 140 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Desenvolvimento da Intranet do Departamento de Engenharia de Sistemas - DE/9; 2001; 140 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Base de Dados Multimidia : FundamentosTeóricos e Aplicações; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informática de Gestão) - Universidade do Algarve; Orientador: Marcos Veloso Peixoto;
Base de Dados Multimidia : Fundamentos Teóricos e Aplicações; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informática de Gestão) - Universidade do Algarve; Orientador: Marcos Veloso Peixoto;
Base de Dados Multimidia : Fundamentos Teóricos e Aplicações; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informática de Gestão) - Universidade do Algarve; Orientador: Marcos Veloso Peixoto;
Acesso a Base de Dados de uma Biblioteca via WEB; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Informática de Gestão) - Universidade do Algarve; Orientador: Marcos Veloso Peixoto;
CUSTOMIZAÇÃO E AGREGAÇÃO DE NOVAS FUNCIONALIDADES AO AMBIENTE MOODLE; 2018; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
CUSTOMIZAÇÃO E AGREGAÇÃO DE NOVAS FUNCIONALIDADES AO AMBIENTE MOODLE; 2018; Iniciação Científica; (Graduando em Engenharia da Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Instalação e customização do ambiente Moodle de Ensino a Distância; 2008; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcos Veloso Peixoto;
Geração de Templates para as aulas do Moodle; 2008; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcos Veloso Peixoto;
Módulo de acompanhamento do aluno no ambiente Moodle; 2008; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcos Veloso Peixoto;
Aplicações WEB Voltadas ao Ensino à Distância - Caso Chat Moderado; 2004; 0 f; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcos Veloso Peixoto;
Utilização de Recursos Multimídia no Ensino a Distância; 2003; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Utilização de Recursos Multimídia no Ensino a Distância; 2003; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Sistema Seguro de Informação ao Aluno; 2003; 80 f; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Sistema Seguro de Informação ao Aluno; 2003; 80 f; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Aplicações Web Voltadas para Ensino a Distância; 2003; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcos Veloso Peixoto;
Aplicações Web Voltadas para Ensino a Distância; 2003; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcos Veloso Peixoto;
Sistema Seguro de Informação ao Aluno; 2003; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Linguagens de Programação e Sistemas de Gerenciamento de Banco de Dados de Licença Pública e Gratuita para Aplicação em um Sistema de Informação de Alunos do IME; 2002; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Linguagens de Programação e Sistemas de Gerenciamento de Banco de Dados de Licença Pública e Gratuita para Aplicação em um Sistema de Informação de Alunos do IME; 2002; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Linguagens de Programação e Sistemas de Gerenciamento de Banco de Dados de Licença Pública e Gratuita para Aplicação em um Sistema de Informação de Alunos do IME; 2002; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Modelagem de um Ambiente de Chat Moderado em UML; 2001; 0 f; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Estudo de sistemas de Vídeo-conferência via web; 2001; 0 f; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Desenvolvimento da Intranet do Departamento de Engenharia de Sistemas; 2001; 0 f; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
O estudo Comparativo da Linguagem Java para o Desenvolvimento de Aplicativos com Acesso a um Disco Rígido Local via Navegador da Internet e Chat; 2000; 80 f; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcos Veloso Peixoto;
Modelagem e Implantação da Intranet do Departamento de Engenharia de Sistemas; 2000; 65 f; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Estudo de sistemas de Vídeo-conferência via web; 2000; 0 f; Iniciação Científica; (Graduando em Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Desenvolvimento de Aplicações em Java; 2004; Orientação de outra natureza; (Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Desenvolvimento de Aplicações em Java; 2004; Orientação de outra natureza; (Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Desenvolvimento de Aplicações em Java; 2004; Orientação de outra natureza; (Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Desenvolvimento de Aplicações em Java; 2004; Orientação de outra natureza; (Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;
Produções bibliográficas
-
C.VELASTEGUI, A. ; PINHEIRO, W. A. ; PEIXOTO, M. V. . Good: Um Mecanismo para Ordenação Coerente de Artigos Científicos. REVISTA MILITAR DE CIÊNCIA E TECNOLOGIA , v. 3, p. 82-93, 2015.
-
FRIBOURG, L. ; PEIXOTO, M. V. . Automates Concurrents à Contraintes. TSI. Technique et Science Informatiques , França, v. 13, n.3, p. 837-866, 1994.
-
GUESSARIAN, I. ; PEIXOTO, M. V. . About Boundness for some Datalog and Datalog_neg Programs. Journal Of Logic And Computation, 1994, v. 4, n.4, p. 375-403, 1994.
-
C.VELASTEGUI, A. ; PINHEIRO, W. A. ; PEIXOTO, M. V. . GOOD: Genetic Ordering Of Documents. In: 2016 IEEE Colombian Conference on Communications and Computing (COLCOM), 2016, Cartagena. 2016 IEEE Colombian Conference on Communications and Computing (COLCOM), 2016. v. 1. p. 175-180.
-
RODRIGUES, Silviane ; OLIVEIRA, Jauvane C. de ; PEIXOTO, M. V. . ADVICE - Um Ambiente VIrtual Colaborativo para o Ensino a Distância. In: Workshop de Teses e Dissertações do VI Simposium on Virtual Reality (SVR2003), 2003, Porto Alegre. Anais do Workshop de Teses e Dissertações do VI Simposium on Virtual Reality, 2003. v. 1. p. 461-466.
-
FILGUEIRAS, B. ; DIAS, P. R. M. ; LOPES, P. A. ; PEIXOTO, M. V. . Estimating Indirect Expenses Bonus in Transportation Using the ABC Methodolody. In: International Conference on Industrial Logistics, 2001, Okinawa. Procedings of the International Conference on Industrial Logistics 2001, 2001.
-
LOPES, P. A. ; FILGUEIRAS, B. ; DIAS, P. R. M. ; PEIXOTO, M. V. . Cálculo da Bonificação de Despesas Indirectas (BDI) em Infraestrutura de Transporte por meio do Custeio Baseado em Actividade. In: 32ª Reunião de Pavimentação, 2001, Brasilia. Anais da 32ª Reunião de Pavimentação, 2001.
-
PEIXOTO, M. V. ; FRIBOURG, L. . Unfolding Parametric Automata. In: Third Latin American Theoretical Informatics Symposium, 1998, Campinas. Lecture Notes in Computer Science, 1998. v. 1380. p. 88-101.
-
FRIBOURG, L. ; PEIXOTO, M. V. . Bottom-up Evaluation of Datalog Programs with Incremental Arguments. In: Post-ILPS 94 Workshop on Constraints and Databases, 1994, Ithaca. Technical Report UNL_CSE-94-025 of University of Nebrasca-Lincoln, 1994. v. 025.
-
FRIBOURG, L. ; PEIXOTO, M. V. . Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints. In: 12th International Conference on Automated Deduction, 1994, Nancy. Lecture Notes in Computer Science, 1994. v. 814. p. 311-325.
-
GUESSARIAN, I. ; PEIXOTO, M. V. . About Boundness for some Datalog and Datalog_neg Programs. In: Mathematical Foundations of Computer Science, 1992, Praga. Lecture Notes in Computer Science, 1992. v. 629. p. 284-297.
-
PEIXOTO, M. V. ; ANGELIM NETO, Carlos Gonçalves . The Brazilian Army Education Portal: Achievements After One Year Online. In: 21 th International Conference of Distance Education, 2004, Hong Kong. Aceito para publicacão, 2003.
-
RODRIGUES, Silviane ; OLIVEIRA, Jauvane C. de ; PEIXOTO, M. V. . ADVICE: Um Ambiente VIrtual Colaborativo para o Ensino a Distância. In: III Workshop de Teses e Dissertações do WebMídia 2003, 2003, Salvador. Anais do Workshop de Teses e Dissertações em Multimídia, Hipermídia e Web (WTD), 2003. p. 593-596.
-
PEIXOTO, M. V. ; RESENDE, Luis Gustavo Varges ; ANGELIM NETO, Carlos Gonçalves . The Brasilian Army Education Portal. In: International Conference on Information and Communication Technologies in Education (ICTE 2002), 2002, Badajoz. Information Society and Education: Monitoring a Revolution, Serie Sociedad de la Educación. Espanha: book series Information Society, 2002. v. 2. p. 961-965.
-
BARBOSA, T. M,G.A ; PEIXOTO, M. V. ; REZENDE, L. G. . QoSProxyServer : A new approach about WebQoS. In: Ibero American Conference on Web Engineering 2002, 2002, Santa Fé. Proceedings of the Ibero American Conference on Web Engineering 2002, 2002.
-
OLIVEIRA, R. C. B. P. O. ; PEIXOTO, M. V. . Geração de Horários usando Algoritmos Genéticos. In: 1º workshop de Teses e Dissertações de Inteligência Artificial, 2002, Porto de Galinhas, Pernambuco. Anais do 1º workshop de Teses e Dissertações de Inteligência Artificial, 2002.
-
PEIXOTO, M. V. ; MAIA, N. A. ; RESENDE, Luis Gustavo Varges ; KAERCHER, J. . EADEx: A Pedagogical Framework for Distance Education. In: 20th International Conference of Distance Education, 2001, Dusseldorf. Proceedings of the International Conference of Distance Education, 2001.
-
FRIBOURG, L. ; PEIXOTO, M. V. . Concurrent Constraint Automata. In: International Symposium on Logic Programming, 1993, Vancouver. ILPS 93, 1993. p. 656.
-
PEIXOTO, M. V. . Automates à Contraintes Arithmétiques et Procedures d'Evaluation Ascendante de Programmes Logiques. Paris: Ecole Normale Superiére de Paris - LIENS 95-06, 1995 (Relatório Técnico de Pesquisa).
-
FRIBOURG, L. ; PEIXOTO, M. V. . Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints : The case of 3 Recursive Rules. Paris: Ecole Normale Superiére de Paris - LIENS 94-09, 1994 (Relatório Técnico de Pesquisa).
-
FRIBOURG, L. ; PEIXOTO, M. V. . Concurrent Constraint Automata. Paris: Ecole Normale Superiére de Paris - LIENS 93-10, 1993 (Relatório Técnico de Pesquisa).
-
PEIXOTO, M. V. ; FRIBOURG, L. . Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints. Paris: Ecole Normale Superiére de Paris - LIENS 92-13, 1992 (Relatório Técnico de Pesquisa).
-
GUESSARIAN, I. ; PEIXOTO, M. V. . About Boundness for some Datalog and Datalog_neg Programs. Paris: Laboratoire LITP- Universite Paris 7, 1991 (Relatório Técnico de Pesquisa).
Outras produções
PEIXOTO, M. V. ; ANGELIM NETO, Carlos Gonçalves ; MOURÃO, Daniel Martins . Software de Comucação e Interação Seguras entre os Membros da Diretoria de Ciência e Tecnologia do EB.. 2005.
PEIXOTO, M. V. ; RESENDE, Luis Gustavo Varges ; ANGELIN NETO, Carlos . Software de Gerênciamento do Portal de Ensino do Exército. 2004.
PEIXOTO, M. V. ; RESENDE, Luis Gustavo Varges ; ANGELIM NETO, Carlos ; OUTROS . Portal do Centro de Estudos Estratégicos do Exécito Brasileiro. 2004.
SILVA NETO, P. S. ; PEIXOTO, M. V. ; RESENDE, Luis Gustavo Varges ; HAMAOKA, R. E. . Auditoria no Sistema de Manutencão de Aeronaves da Diretoria de Aviação do Exercito Brasileiro. 1999.
PEIXOTO, M. V. . Automates à Contraintes Arithmétiques et procédures d'Evaluation Ascendante de Programmes Logiques. 1994 (Tese de Doutorado) .
PEIXOTO, M. V. . Especificação de Tipos Abstratos de Dados via Sequência de Sistemas de Reescrita. 1989 (Tese de Mestrado) .
Projetos de pesquisa
-
1999 - 2003
Técnicas Transformacionais, Descrição: Neste projeto são estudadas e desenvolvidas aplicações de técnicas transformacionais a problemas de ling. de programação. entre os problemas abordados encontram-se: especificação e implementação de LP e tradutores, otimização de código, problemas de código legado, recuperação de projeto e prototipação de linguagens.. , Situação: Desativado; Natureza: Pesquisa. , Integrantes: Marcos Veloso Peixoto - Coordenador / Alex Vasconcellos Garcia - Integrante.
-
1999 - 2001
Banco de Dados Orientado a Objetos, Descrição: Neste projeto são estudadas tecnologias associadas a OO: interfaces, linguagens e ferramentas de modelagem para o uso e desenvolvimento de um ambiente gerenciador de objetos capaz de dar suporte à criação de aplicações não convencionais de BDs.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Marcos Veloso Peixoto - Coordenador / Ana Maria de Carvalho Moura - Integrante / Astério Kiyoshi Tanaka - Integrante.
-
1999 - 2000
Consultoria à Diretoria de Aviação do Exército, Descrição: A Diretoria de Aviação de Exército possui um sistema para efetuar a manutenção de suas aeronaves, levando em conta horas parâmetros com horas de vôo da aeronave, vida útil de cada peça, desgastes devido a acidentes, entre outros fatores. Nesse projeto foi efetuada uma análise desse programa, visando a melhoraria de seu desempenho. Foram também realizados estudos sobre a base de dados do sistema e o trafego de dados na rede. Baseados nos resultados obtidos, a Aviação de Exército pode melhorar o desempenho do sistema. Função desempenhada: responsável pelo projeto e responsável pela parte de banco de dados. Função: gerente do projeto e membro da equipe responsável pelo estudo da base de dados.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcos Veloso Peixoto - Coordenador / outros - Integrante / Luis Gustavo Vrages Resendo - Integrante / Claudio Mello - Integrante., Financiador(es): Exército Brasileiro - Auxílio financeiro., Número de produções C, T & A: 1
Projetos de desenvolvimento
-
2004 - 2005
Plataforma de interação entre membros da DCT, Descrição: O projeto visou a criação de um ambiente em Java, que permitisse a interação, de forma segura, entre os membros dos grupos de pesquisa do Departamento de Ciência e Tecnologia do Exército Brasileiro. O Sistema possuiu vários requisitos para respeitar a hierarquia militar, e ao mesmo tempo tornar eficaz a comunicação entre membros de diferentes Unidades do Exército que desenvolvem tecnologia. Foi desenvolvido um sistema de troca de mensagens entre diferentes grupos do DCT, um sistema de chat monitorado, um disco virtual compartilhado entre usuários ou privativo, serviço de email, sistema de fórum e outras funcionalidades. A base de dados utilizada foi o PostgreSQL. Função desempenhada: gerente do projeto e desenvolvedor. Organização Militar para a qual foi presetado o serviço:: Departamento de Ciência e Tecnologia (DCT) - anos de 2004 e 2005.. , Situação: Desativado; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (1) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcos Veloso Peixoto - Coordenador / Carlos Angelim Neto - Integrante / Daniel Martins Mourão - Integrante., Financiador(es): Exército Brasileiro - Auxílio financeiro., Número de produções C, T & A: 1
-
2003 - 2004
Criação do Portal do Centro de Estudos Estratégicos do Exército Brasileiro, Descrição: O Portal de Centro de Estudos Estratégicos é um espaço aberto para interessados em assuntos estratégicos brasileiros. Nele eram disponibilizados conteúdo de eventos nessa área, biblioteca, fórum, divulgação de congressos e eventos e artigos. Todo o conteúdo era gerado dinamicamente e de forma segura. A base de dados utilizada foi o PostgreSQL. O projeto foi desenvolvido em plataforma Linux e em paralelo no decorrer do projeto, alunos de graduação do IME estudaram e compararam diferentes SGBD, comercias e livres assim como plataformas de desenvolvimente (IDE). Função desempenhada: gerente do projeto e desenvolvedor. Organizações Militares para as quias foram prestados serviços: Centro de Estudos de Pessoal (CEP) - 2001, 2002, 2003 e 2004 Escola de Comando e Estado Maior do Exercito (ECEME) - 2001, 2002, 2003 e 2004 Departamento de Ensino e Pesquisa (DEP) - 2001, 2002, 2003 e 2004 Academia Militar das Agulhas Negras (AMAN) - 2003. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (3) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcos Veloso Peixoto - Coordenador., Financiador(es): Exército Brasileiro - Auxílio financeiro.
-
2000 - 2005
Ensino a Distância do Exército Brasileiro, Descrição: Criação de uma plataforma (na WEB) de Ensino a Distância para o Exército Brasileiro (EB). Essa plataforma possui funcionalidades que permitem a gerência e o acompanhamento do processo de ensino nas modalidades a distância e de apoio ao ensino presencial. Ela foi desenvolvida visando não apenas ser utilizada no EB, mas também em universidades privadas ou públicas parcerias do EB. A base de dados utilizada era o Oracle. O conteúdo do Portal foi selecionado a partir de diferentes propostas vindas de escolas militares vinculadas ao Departamento de Ensino de Exército (DEP) e de suas diretorias subordinadas. Unidades Militares apoiadas no projeto: Departamento de Ensino e Pesquisa (DEP) - 2001, 2002,2003 e 2004. Escola de Comando e Estado Maior do Exercito (ECEME) - 2001, 2002,2003 e 2004. Centro de Estudos de Pessoal (CEP) - 2001, 2002,2003 e 2004. Diretoria de obras de Construção (CEP) - 2001. Academia Militar das Agulhas Negras (AMAN) - 2003. Função desempenhada: gerente do projeto e desenvolvedor.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcos Veloso Peixoto - Coordenador., Financiador(es): Exército Brasileiro - Auxílio financeiro., Número de produções C, T & A: 6 / Número de orientações: 11
-
2004 - 2005
Plataforma de interação entre membros da DCT, Descrição: O projeto visou a criação de um ambiente em Java, que permitisse a interação, de forma segura, entre os membros dos grupos de pesquisa do Departamento de Ciência e Tecnologia do Exército Brasileiro. O Sistema possuiu vários requisitos para respeitar a hierarquia militar, e ao mesmo tempo tornar eficaz a comunicação entre membros de diferentes Unidades do Exército que desenvolvem tecnologia. Foi desenvolvido um sistema de troca de mensagens entre diferentes grupos do DCT, um sistema de chat monitorado, um disco virtual compartilhado entre usuários ou privativo, serviço de email, sistema de fórum e outras funcionalidades. A base de dados utilizada foi o PostgreSQL. Função desempenhada: gerente do projeto e desenvolvedor. Organização Militar para a qual foi presetado o serviço:: Departamento de Ciência e Tecnologia (DCT) - anos de 2004 e 2005.. , Situação: Desativado; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (1) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcos Veloso Peixoto - Coordenador / Carlos Angelim Neto - Integrante / Daniel Martins Mourão - Integrante., Financiador(es): Exército Brasileiro - Auxílio financeiro., Número de produções C, T & A: 1
-
2003 - 2004
Criação do Portal do Centro de Estudos Estratégicos do Exército Brasileiro, Descrição: O Portal de Centro de Estudos Estratégicos é um espaço aberto para interessados em assuntos estratégicos brasileiros. Nele eram disponibilizados conteúdo de eventos nessa área, biblioteca, fórum, divulgação de congressos e eventos e artigos. Todo o conteúdo era gerado dinamicamente e de forma segura. A base de dados utilizada foi o PostgreSQL. O projeto foi desenvolvido em plataforma Linux e em paralelo no decorrer do projeto, alunos de graduação do IME estudaram e compararam diferentes SGBD, comercias e livres assim como plataformas de desenvolvimente (IDE). Função desempenhada: gerente do projeto e desenvolvedor. Organizações Militares para as quias foram prestados serviços: Centro de Estudos de Pessoal (CEP) - 2001, 2002, 2003 e 2004 Escola de Comando e Estado Maior do Exercito (ECEME) - 2001, 2002, 2003 e 2004 Departamento de Ensino e Pesquisa (DEP) - 2001, 2002, 2003 e 2004 Academia Militar das Agulhas Negras (AMAN) - 2003. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (3) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcos Veloso Peixoto - Coordenador., Financiador(es): Exército Brasileiro - Auxílio financeiro.
-
2000 - 2005
Ensino a Distância do Exército Brasileiro, Descrição: Criação de uma plataforma (na WEB) de Ensino a Distância para o Exército Brasileiro (EB). Essa plataforma possui funcionalidades que permitem a gerência e o acompanhamento do processo de ensino nas modalidades a distância e de apoio ao ensino presencial. Ela foi desenvolvida visando não apenas ser utilizada no EB, mas também em universidades privadas ou públicas parcerias do EB. A base de dados utilizada era o Oracle. O conteúdo do Portal foi selecionado a partir de diferentes propostas vindas de escolas militares vinculadas ao Departamento de Ensino de Exército (DEP) e de suas diretorias subordinadas. Unidades Militares apoiadas no projeto: Departamento de Ensino e Pesquisa (DEP) - 2001, 2002,2003 e 2004. Escola de Comando e Estado Maior do Exercito (ECEME) - 2001, 2002,2003 e 2004. Centro de Estudos de Pessoal (CEP) - 2001, 2002,2003 e 2004. Diretoria de obras de Construção (CEP) - 2001. Academia Militar das Agulhas Negras (AMAN) - 2003. Função desempenhada: gerente do projeto e desenvolvedor.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcos Veloso Peixoto - Coordenador., Financiador(es): Exército Brasileiro - Auxílio financeiro., Número de produções C, T & A: 6 / Número de orientações: 11
-
2004 - 2005
Plataforma de interação entre membros da DCT, Descrição: O projeto visou a criação de um ambiente em Java, que permitisse a interação, de forma segura, entre os membros dos grupos de pesquisa do Departamento de Ciência e Tecnologia do Exército Brasileiro. O Sistema possuiu vários requisitos para respeitar a hierarquia militar, e ao mesmo tempo tornar eficaz a comunicação entre membros de diferentes Unidades do Exército que desenvolvem tecnologia. Foi desenvolvido um sistema de troca de mensagens entre diferentes grupos do DCT, um sistema de chat monitorado, um disco virtual compartilhado entre usuários ou privativo, serviço de email, sistema de fórum e outras funcionalidades. A base de dados utilizada foi o PostgreSQL. Função desempenhada: gerente do projeto e desenvolvedor. Organização Militar para a qual foi presetado o serviço:: Departamento de Ciência e Tecnologia (DCT) - anos de 2004 e 2005.. , Situação: Desativado; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (1) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcos Veloso Peixoto - Coordenador / Carlos Angelim Neto - Integrante / Daniel Martins Mourão - Integrante., Financiador(es): Exército Brasileiro - Auxílio financeiro., Número de produções C, T & A: 1
-
2003 - 2004
Criação do Portal do Centro de Estudos Estratégicos do Exército Brasileiro, Descrição: O Portal de Centro de Estudos Estratégicos é um espaço aberto para interessados em assuntos estratégicos brasileiros. Nele eram disponibilizados conteúdo de eventos nessa área, biblioteca, fórum, divulgação de congressos e eventos e artigos. Todo o conteúdo era gerado dinamicamente e de forma segura. A base de dados utilizada foi o PostgreSQL. O projeto foi desenvolvido em plataforma Linux e em paralelo no decorrer do projeto, alunos de graduação do IME estudaram e compararam diferentes SGBD, comercias e livres assim como plataformas de desenvolvimente (IDE). Função desempenhada: gerente do projeto e desenvolvedor. Organizações Militares para as quias foram prestados serviços: Centro de Estudos de Pessoal (CEP) - 2001, 2002, 2003 e 2004 Escola de Comando e Estado Maior do Exercito (ECEME) - 2001, 2002, 2003 e 2004 Departamento de Ensino e Pesquisa (DEP) - 2001, 2002, 2003 e 2004 Academia Militar das Agulhas Negras (AMAN) - 2003. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (3) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcos Veloso Peixoto - Coordenador., Financiador(es): Exército Brasileiro - Auxílio financeiro.
-
2000 - 2005
Ensino a Distância do Exército Brasileiro, Descrição: Criação de uma plataforma (na WEB) de Ensino a Distância para o Exército Brasileiro (EB). Essa plataforma possui funcionalidades que permitem a gerência e o acompanhamento do processo de ensino nas modalidades a distância e de apoio ao ensino presencial. Ela foi desenvolvida visando não apenas ser utilizada no EB, mas também em universidades privadas ou públicas parcerias do EB. A base de dados utilizada era o Oracle. O conteúdo do Portal foi selecionado a partir de diferentes propostas vindas de escolas militares vinculadas ao Departamento de Ensino de Exército (DEP) e de suas diretorias subordinadas. Unidades Militares apoiadas no projeto: Departamento de Ensino e Pesquisa (DEP) - 2001, 2002,2003 e 2004. Escola de Comando e Estado Maior do Exercito (ECEME) - 2001, 2002,2003 e 2004. Centro de Estudos de Pessoal (CEP) - 2001, 2002,2003 e 2004. Diretoria de obras de Construção (CEP) - 2001. Academia Militar das Agulhas Negras (AMAN) - 2003. Função desempenhada: gerente do projeto e desenvolvedor.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcos Veloso Peixoto - Coordenador., Financiador(es): Exército Brasileiro - Auxílio financeiro., Número de produções C, T & A: 6 / Número de orientações: 11
-
2004 - 2005
Plataforma de interação entre membros da DCT, Descrição: O projeto visou a criação de um ambiente em Java, que permitisse a interação, de forma segura, entre os membros dos grupos de pesquisa do Departamento de Ciência e Tecnologia do Exército Brasileiro. O Sistema possuiu vários requisitos para respeitar a hierarquia militar, e ao mesmo tempo tornar eficaz a comunicação entre membros de diferentes Unidades do Exército que desenvolvem tecnologia. Foi desenvolvido um sistema de troca de mensagens entre diferentes grupos do DCT, um sistema de chat monitorado, um disco virtual compartilhado entre usuários ou privativo, serviço de email, sistema de fórum e outras funcionalidades. A base de dados utilizada foi o PostgreSQL. Função desempenhada: gerente do projeto e desenvolvedor. Organização Militar para a qual foi presetado o serviço:: Departamento de Ciência e Tecnologia (DCT) - anos de 2004 e 2005.. , Situação: Desativado; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (1) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcos Veloso Peixoto - Coordenador / Carlos Angelim Neto - Integrante / Daniel Martins Mourão - Integrante., Financiador(es): Exército Brasileiro - Auxílio financeiro., Número de produções C, T & A: 1
-
2003 - 2004
Criação do Portal do Centro de Estudos Estratégicos do Exército Brasileiro, Descrição: O Portal de Centro de Estudos Estratégicos é um espaço aberto para interessados em assuntos estratégicos brasileiros. Nele eram disponibilizados conteúdo de eventos nessa área, biblioteca, fórum, divulgação de congressos e eventos e artigos. Todo o conteúdo era gerado dinamicamente e de forma segura. A base de dados utilizada foi o PostgreSQL. O projeto foi desenvolvido em plataforma Linux e em paralelo no decorrer do projeto, alunos de graduação do IME estudaram e compararam diferentes SGBD, comercias e livres assim como plataformas de desenvolvimente (IDE). Função desempenhada: gerente do projeto e desenvolvedor. Organizações Militares para as quias foram prestados serviços: Centro de Estudos de Pessoal (CEP) - 2001, 2002, 2003 e 2004 Escola de Comando e Estado Maior do Exercito (ECEME) - 2001, 2002, 2003 e 2004 Departamento de Ensino e Pesquisa (DEP) - 2001, 2002, 2003 e 2004 Academia Militar das Agulhas Negras (AMAN) - 2003. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (3) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcos Veloso Peixoto - Coordenador., Financiador(es): Exército Brasileiro - Auxílio financeiro.
-
2000 - 2005
Ensino a Distância do Exército Brasileiro, Descrição: Criação de uma plataforma (na WEB) de Ensino a Distância para o Exército Brasileiro (EB). Essa plataforma possui funcionalidades que permitem a gerência e o acompanhamento do processo de ensino nas modalidades a distância e de apoio ao ensino presencial. Ela foi desenvolvida visando não apenas ser utilizada no EB, mas também em universidades privadas ou públicas parcerias do EB. A base de dados utilizada era o Oracle. O conteúdo do Portal foi selecionado a partir de diferentes propostas vindas de escolas militares vinculadas ao Departamento de Ensino de Exército (DEP) e de suas diretorias subordinadas. Unidades Militares apoiadas no projeto: Departamento de Ensino e Pesquisa (DEP) - 2001, 2002,2003 e 2004. Escola de Comando e Estado Maior do Exercito (ECEME) - 2001, 2002,2003 e 2004. Centro de Estudos de Pessoal (CEP) - 2001, 2002,2003 e 2004. Diretoria de obras de Construção (CEP) - 2001. Academia Militar das Agulhas Negras (AMAN) - 2003. Função desempenhada: gerente do projeto e desenvolvedor.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcos Veloso Peixoto - Coordenador., Financiador(es): Exército Brasileiro - Auxílio financeiro., Número de produções C, T & A: 6 / Número de orientações: 11
Prêmios
2003
Medalha o Pacificador, Exército Brasileiro.
2001
Diploma Destaque do IME, Instituto Militar de Engenharia.
Histórico profissional
Endereço profissional
-
Instituto Militar de Engenharia, De9, Departamento de Engenharia de Sistemas. , Praça General Tiburcio n. 80, Praia Vermelha, 22290270 - Rio de Janeiro, RJ - Brasil, Telefone: (21) 25467092, Fax: (21) 25467092, URL da Homepage:
Experiência profissional
2009 - Atual
Instituto Militar de EngenhariaVínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.
2008 - 2008
Instituto Militar de EngenhariaVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
2005 - 2008
Instituto Militar de EngenhariaVínculo: Servidor Público, Enquadramento Funcional: em licença não remunerada, Carga horária: 0
Outras informações:
Licença não remunerada de 18 de julho de 2005 a 17 julho de 2008.
1998 - 2005
Instituto Militar de EngenhariaVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
1984 - 1998
Instituto Militar de EngenhariaVínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 40
Atividades
-
02/2010
Ensino, Engenharia de Sistemas - Informatica, Nível: Pós-Graduação,Disciplinas ministradas, Aspectos Formais - 1º e 2º semestres de 2018
-
08/2008
Direção e administração, Secao de Matematica e Engenharia de Sistemas, .,Cargo ou função, Chefe da Laboratório de Ensino a Distância da SE/8..
-
07/2008
Direção e administração, Secao de Matematica e Engenharia de Sistemas, .,Cargo ou função, Responsável pelos estágios curriculares dos alunos da SE/8..
-
07/2008
Pesquisa e desenvolvimento , Secao de Matematica e Engenharia de Sistemas, .,Linhas de pesquisa
-
07/2008
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Linguagens Formais e Automatos - 1º semestre de 2009., Lógica Matemática - 2º semestre de 2008, 2º semestre de 2009 e 2º semestre de 2018, Matemática Discreta - 1º semestre de 2018
-
03/2004 - 07/2005
Direção e administração, Secao de Matematica e Engenharia de Sistemas, .,Cargo ou função, Chefe da sub-divisão de Ensino a Distância do Instituto Militar de Engenharia.
-
03/2004 - 07/2005
Direção e administração, Sub-divisão de Ensino a Distância - SD/5, .,Cargo ou função, Chefe do Laboratório de Ensino a Distância da SD/5..
-
03/2004 - 07/2005
Direção e administração, Sub-divisão de Ensino a Distância - SD/5, .,Cargo ou função, Responsável pela material carga da SD/5..
-
03/2004 - 07/2005
Direção e administração, Sub-divisão de Ensino a Distância - SD/5, .,Cargo ou função, Coordenador administrativo da SD/5.
-
07/1999 - 07/2005
Pesquisa e desenvolvimento , De9, Departamento de Engenharia de Sistemas.,Linhas de pesquisa
-
07/1998 - 07/2005
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Banco de Dados 2 - 2º semestre de 2004., Inteligência Artificial - 1º semestre de 2001., Laboratório de Banco de Dados - 1º semestre de 2001, 1º e 2º semestres de 2002., Lógica Matemática - 2º semestre de 1998, 1999, 2000, 2001, 2002, 2003 e 2004., Matemática Discreta - 1º semestre de 2003, 2004 e 2005.
-
04/1999 - 10/2004
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, Programação Web - 3 créditos - 2º período 2001, 2002, 2003 e 2004., Tópicos Avançados em DB Inteligentes- 3 créditos - 3º período 2000., Tecnologias de Ensino a Distância - 3 créditos - 3º período 2000, 2002 e 2003., Aspectos Formais da Computação - 3 créditos - 1º período 2000, 2001 e 2002., Sistemas Inteligentes de Robótica - 3 créditos - 2º período 2000., Tópicos avançados em IA - 3 créditos - 3º período 1999., Banco de dados inteligentes - 3 créditos - 2º período 1999, 2000 e 2001.
-
03/2001 - 02/2004
Direção e administração, Secao de Matematica e Engenharia de Sistemas, .,Cargo ou função, Chefe do Laboratório de Ensino da Distância.
-
07/1999 - 12/2001
Direção e administração, Secao de Matematica e Engenharia de Sistemas, .,Cargo ou função, Chefe do Laboratória de Informática..
-
03/1984 - 07/1988
Ensino, Básico, Nível: Graduação,Disciplinas ministradas, Algebra Abstrata, Algebra Linear, Geometria Analitica
2005 - 2006
Office Of Merrick BobbVínculo: Consultor, Enquadramento Funcional: Diretor de Tecnologia e Informação, Carga horária: 20
Atividades
-
07/2005 - 07/2006
Direção e administração, Information And Technology, .,Cargo ou função, Diretor de Tecnologia e Informação.
-
07/2005 - 07/2006
Serviços técnicos especializados , Information And Technology, .,Serviço realizado, Analista.
-
07/2005 - 07/2006
Serviços técnicos especializados , Information And Technology, .,Serviço realizado, Avaliação de Softwares.
1997 - 1998
Universidade do AlgarveVínculo: Outro, Enquadramento Funcional: Professor Auxiliar Convidado, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
11/1997 - 06/1998
Pesquisa e desenvolvimento , Unidade de Ciências Exactas e Humanas, Setor de Eletrotecnia e Computação.,Linhas de pesquisa
-
11/1997 - 06/1998
Ensino, Informática de Gestão, Nível: Graduação,Disciplinas ministradas, Algoritmos, Base de Dados, Linguagens de Programação
1996 - 1997
Pontifícia Universidade Católica do Rio de Janeiro, PUC-RioVínculo: Colaborador, Enquadramento Funcional: Professor Colaborador, Carga horária: 4
Outras informações:
Cursos Ministrados em Parceria com o Prof. Paulo Augusto Silva Velloso
1995 - 1996
Pontifícia Universidade Católica do Rio de Janeiro, PUC-RioVínculo: Bolsista recém-doutor, Enquadramento Funcional: Pesquisador do Laboratório de Métodos Formais, Carga horária: 40, Regime: Dedicação exclusiva.
1991 - 1991
Pontifícia Universidade Católica do Rio de Janeiro, PUC-RioVínculo: Professor horista, Enquadramento Funcional: Professor de Programação do CCE, Carga horária: 6
1986 - 1989
Pontifícia Universidade Católica do Rio de Janeiro, PUC-RioVínculo: Professor horista, Enquadramento Funcional: Professor de Programação do CCE, Carga horária: 6
Atividades
-
08/1996 - 06/1997
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Especificações Algébricas, Álgebra Universal
-
05/1995 - 08/1996
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.,Linhas de pesquisa
-
08/1995 - 06/1996
Ensino, Engenharia, Nível: Graduação,Disciplinas ministradas, Estruturas Discretas
-
05/1991 - 09/1991
Extensão universitária , Centro Técnico-Científico, cce.,Atividade de extensão realizada, Aula de Programação.
-
01/1986 - 10/1988
Extensão universitária , Centro Técnico-Científico, cce.,Atividade de extensão realizada, Professor de Programação.
1996 - 1997
Universidade Federal FluminenseVínculo: Bolsista recém-doutor, Enquadramento Funcional: Outro, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
03/1997 - 07/1997
Ensino, Computação, Nível: Pós-Graduação,Disciplinas ministradas, Lógica e Especificação
1991 - 1995
Ecole Normale SupérieureVínculo: Outro, Enquadramento Funcional: Pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
10/1991 - 02/1995
Pesquisa e desenvolvimento , Laboratoire D'informatique, Liens.,Linhas de pesquisa
1989 - 1991
Université Paris DiderotVínculo: Outro, Enquadramento Funcional: Pesquisador do LITP, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
09/1989 - 01/1991
Pesquisa e desenvolvimento , Laboratoire D'informatique Theorique Et Programmation, Litp.,Linhas de pesquisa
1984 - 1985
Ministério do ExércitoVínculo: Servidor Público, Enquadramento Funcional: Engenheiro Civil, Carga horária: 40
Atividades
-
01/1984 - 12/1984
Serviços técnicos especializados , Centro Tecnológico do Exército, Ctex.,Serviço realizado, Cálculo Estrutural e Execução de Obras de Engenharia Civil no IPD.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Marcos Veloso Peixoto e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?