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.

Graduação em Engenharia Civil

1979 - 1983

Instituto Militar de Engenharia

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

Compreende Razoavelmente, Lê Razoavelmente.

Bandeira representando o idioma Português

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

Bandeira representando o idioma 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

Aluno: Evandro da Cruz Goulart

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.

Aluno: Silviane Gomes Rodrigues

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.

Aluno: Jovania Menezes Dias

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.

Aluno: Ana Luiza Meyer Cardoso

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.

Aluno: Luiz Roberto Martins Bastos

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.

Aluno: André Luiz Avelino Sobral

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.

Aluno: Juliana Kaercher

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.

Aluno: Sérgio Freitas Marreiros

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.

Aluno: Talles Marcelo G

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.

Aluno: Genelice Paiva da Costa Pereira

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.

Aluno: Erica Ribeiro de Oliveira

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.

Aluno: Franz Cristobal Novillo Torrico

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.

Aluno: Alan Magno da S

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.

Aluno: Mutaleci Gomes Miranda

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.

Aluno: Mariela Ines Cortés

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.

Aluno: Andre Luiz Braga

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.

Aluno: Daniel Mourão Martins

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.

Aluno: Jonathas da Silva Ferreira

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.

Aluno: Alexandre Amorim Pereira Júnior

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.

Aluno: Victor Veloso Moitinho

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.

Aluno: Ivanhoé Lobato Rocha

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.

Aluno: Márcio Henrique Nogueira Pereira

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.

Aluno: Rafael Castello Branco Pastor de Oliveira

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.

Aluno: Francisco Benjamim Filho

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.

Aluno: Sérgio dos Santos Cardoso Silva

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.

Aluno: Luis André Gomes de Abreu

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.

Aluno: Roberto Miranda Gomes

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.

Aluno: Eduardo Massayoshi Abe

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.

Aluno: Romano José Magacho da Silva

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

Evandro da Cruz Goulart

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;

Silviane Gomes Rodrigues

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;

Ana Luiza Meyer Cardoso

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;

Jovania Menezes Dias

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;

Talles Marcelo G

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;

Sérgio Freitas Marreiros

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;

Juliana Kaercher

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;

André Luiz Avelino Sobral

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;

Ana Cristina do Carmo Cardoso Vieira

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;

Daniel Mourão Martins

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;

Jonathas da Silva Ferreira

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;

Alexandre Amorim Pereira Júnior

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;

Victor Veloso Moitinho

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;

Ivanhoé Lobato Rocha

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;

Márcio Henrique Nogueira Pereira

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;

Rafael Castello Branco Pastor de Oliveira

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;

Francisco Benjamim Filho

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;

Sérgio dos Santos Cardoso Silva

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;

Mafalda Mirador

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;

Luis Miguel Barbas Rosado

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;

Lídia Maria Santos Teixera

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;

Sandra Isabel Faleiro Ramos

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;

Natália Ferreira Godot Souza

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;

Mateus Cândido Lima de Castro

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;

Walter Macambira Olliveira Santos

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;

Paulo Igor Barbosa Martins

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;

Paulo Henrique de Amorim Martins

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;

Jonathas da Silva Ferreira

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;

Jonathas da Silva Ferreira

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;

Alexandre Amorin Pereira Júnior

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;

Max Silva Alaluna

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;

Laios Felipe Barbosa

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;

Jonathas da Silva Ferrreira

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;

Alexandre Amorim Pereira Júnior

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;

José Henrique Lopes Linhares da Silva

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;

Fernando Castro Mesquita

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;

Rafael de Oliveira Osório

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;

Humberto Henriques de Arruda

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;

Ricardo Queiroz Araújo Ferandes

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;

Carlos Henrique Paula de Moura

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;

Helton Garcia

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;

Francisco Benjamim Filho

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;

Sérgio dos Santos Cardoso Silva

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;

Márcio Henrique Nogueira Pereira

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;

Aleksander Medella Campos da Silva

Desenvolvimento de Aplicações em Java; 2004; Orientação de outra natureza; (Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;

Daniel Mourão Martins

Desenvolvimento de Aplicações em Java; 2004; Orientação de outra natureza; (Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;

Paulo Roberto Ferraz

Desenvolvimento de Aplicações em Java; 2004; Orientação de outra natureza; (Engenharia de Computação) - Instituto Militar de Engenharia; Orientador: Marcos Veloso Peixoto;

Luis Felipe de Cruz Nassif

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 Engenharia

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

2008 - 2008

Instituto Militar de Engenharia

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

2005 - 2008

Instituto Militar de Engenharia

Ví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 Engenharia

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

1984 - 1998

Instituto Militar de Engenharia

Ví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 Bobb

Ví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 Algarve

Ví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-Rio

Ví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-Rio

Ví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-Rio

Ví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-Rio

Ví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 Fluminense

Ví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érieure

Ví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 Diderot

Ví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ército

Ví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.