Jefferson Oliveira Andrade

  • Endereço para acessar este CV: http://lattes.cnpq.br/7138275599443632
  • Última atualização do currículo em 13/09/2018


Jefferson O. Andrade recebeu o título de Engenheiro de Computação em 1995, e o título de Mestre em Informática em 2001, ambos pela Universidade Federal do Espírito Santo. Ele possui vários anos de experiência como líder de equipes em projetos de desenvolvimento de software, tanto em empresas locais quanto multinacionais no Brasil. De 2005 a 2008 foi membro do Programming Logic Group, na Universidade de Tsukuba, no Japão. Em 2013 recebeu seu Doutorado em Educação pela Universidad del Norte, no Paraguai (revalidado pela UFPR em 2016), pela sua pesquisa sobre a aplicação de gamificação no ensino de lógica formal a alunos de graduação do curso de Sistemas de Informação. Atualmente o Dr. Andrade é professor titular da Coordenadoria de Informática do Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Seus interesses de pesquisa incluem métodos formais de desenvolvimento de software, verificação formal de sistemas, verificação de modelos, lógicas multi-valoradas e probabilísticas, ensino de lógica e métodos formais. (Texto informado pelo autor)


Identificação


Nome
Jefferson Oliveira Andrade
Nome em citações bibliográficas
ANDRADE, J. O.;O. ANDRADE, JEFFERSON

Endereço


Endereço Profissional
Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo, Campus Serra, Coordenadoria de Informática.
Rodovia ES-010, Km 6,5
Manguinhos
29173087 - Serra, ES - Brasil
Telefone: (27) 33489200
Fax: (27) 33489207
URL da Homepage: http://www.sr.ifes.edu.br/~joandrade


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


2011 - 2013
Doutorado em Doctorado en Educación..
Universidad del Norte - UniNorte, UniNorte, Paraguai.
Título: ∃lementar: uma ferramenta de gamificação para o aprendizado de lógica formal, Ano de obtenção: 2013.
Orientador: Marta Isabel Canese de Estigarribia.
Palavras-chave: lógica formal; gamificação; ciência da educação; assistentes de prova; ensino superior.
Grande área: Ciências Humanas
Grande Área: Ciências Humanas / Área: Educação / Subárea: Métodos e Técnicas de Ensino.
Grande Área: Ciências Humanas / Área: Educação / Subárea: Lógica Matemática.
Setores de atividade: Educação.
2006 interrompida
Doutorado interrompido em 2009 em Computer Science.
University of Tsukuba, U.T., Japão.
Título: Multi-Valued Bounded Model Checking: Algorithms and Data Structures,
Orientador: Yukiyoshi Kameyama.
Bolsista do(a): Ministry of Education, Culture, Sports, Science and Technology, MEXT, Japão.
Ano de interrupção: 2009
Palavras-chave: model checking; multi-valued logic; formal methods.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Matemática Simbólica.
Setores de atividade: Desenvolvimento de Programas (Software).
1996 - 2001
Mestrado em Informática.
Universidade Federal do Espírito Santo, UFES, Brasil.
Título: Um Framework para Construção de Provadores de Teoremas Usando Objetos Distribuídos,Ano de Obtenção: 2001.
Orientador: Raul Henriques Cardoso Lopes.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: distributed computing; distributed objects; simbolic computing; higher order logics.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Matemática Simbólica.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
Setores de atividade: Desenvolvimento de Programas (Software).
1991 - 1995
Graduação em Engenharia de Computação.
Universidade Federal do Espírito Santo, UFES, Brasil.
Título: Sistema de Controle Digital Baseado em Rede de Microprocessadores.
Orientador: Hansjorg Andreas Schneebeli.




Formação Complementar


2016 - 2016
DL101P BR -Curso Geral de Propriedade Intelectual. (Carga horária: 75h).
Instituto Nacional da Propriedade Industrial, INPI, Brasil.
2012 - 2012
HANDS ON de MSP430 com memória FRAM. (Carga horária: 4h).
TechTraining, TT, Brasil.
2010 - 2010
Estruturação de Artigo Científico Internacional. (Carga horária: 16h).
Instituto Federal do Espírito Santo, IFES, Brasil.
2005 - 2005
Intensive Japanese Language Course. (Carga horária: 300h).
University of Tsukuba, U.T., Japão.
2004 - 2004
Fotografia - Profissional I. (Carga horária: 24h).
Bucher Escola de Fotografia, BUCHER, Brasil.
2004 - 2004
V Encontro Pedagógico do Ifes Campus Serra. (Carga horária: 20h).
Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo, IFES, Brasil.
2003 - 2003
III Encontro Pedagógico do Ifes Campus Serra. (Carga horária: 20h).
Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo, IFES, Brasil.
2002 - 2002
MOC 2126 - Managing a MS Windows 2000 Network Envi. (Carga horária: 40h).
Microsoft Corporation, MC*, Estados Unidos.
2000 - 2000
Aplicações Corporativas e a Arquitetura J2EE. (Carga horária: 16h).
Visionaire, VISIONAIRE, Brasil.
1992 - 1992
Extensão universitária em Algoritmos de Remoção de Áreas Escondidas. (Carga horária: 10h).
Universidade Federal do Espírito Santo, UFES, Brasil.


Atuação Profissional



Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo, IFES, Brasil.
Vínculo institucional

2003 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Ensino Básico,Técnico e Tecnológico, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

04/2009 - Atual
Pesquisa e desenvolvimento , Campus Serra, .

04/2009 - Atual
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Bancos de Dados I
Linguagens Formais e Autômatos
Matemática Discreta
Lógica
05/2012 - 07/2012
Conselhos, Comissões e Consultoria, Campus Serra, .

Cargo ou função
Comissão de estudos das causas da evasão nos cursos superiores do Campus Serra.
07/2003 - 04/2005
Ensino, Tecnologia em Análise e Desenvolv. de Sistemas, Nível: Graduação

Disciplinas ministradas
Técnicas Avançadas de Programação
Cálculo I
05/2004 - 12/2004
Conselhos, Comissões e Consultoria, Campus Serra, .

Cargo ou função
Comissão de Rede de Comunicação de Dados.
04/2003 - 06/2003
Conselhos, Comissões e Consultoria, Unidade Serra, .

Cargo ou função
Membro da Comissão para Implantação do Novo Sistema Acadêmico do CEFETES.

University of Tsukuba, U.T., Japão.
Vínculo institucional

2005 - 2006
Vínculo: Pesquisador, Enquadramento Funcional: Pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

04/2005 - 03/2006
Pesquisa e desenvolvimento , Graduate School of Systems and Information Engineering, Department of Computer Science.


Associação Vitoriana de Ensino Superior, AVIES, Brasil.
Vínculo institucional

2002 - 2004
Vínculo: Celetista, Enquadramento Funcional: Professor Adjunto I, Carga horária: 20


Instituto de Ensino Superior do Espírito Santo, FAVI, Brasil.
Vínculo institucional

2003 - 2003
Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 20


Andrade & Komati LTDA, A&K, Brasil.
Vínculo institucional

1999 - 2003
Vínculo: Sócio, Enquadramento Funcional: Sócio-Gerente, Carga horária: 44
Outras informações
Desde março de 2000 atuei como coordenador de projetos em parceria com a ISH Tecnologia Ltda, empresa que atua na área de comércio eletrônico, destacam-se os projetos: - Loja Virtual Web para o SEBRAE/PR. - Sistema de Comercialização de Feiras via Web para o SEBRAE/PR. - Sistema de Help Desk da ISH Tecnologia para a ISH Tecnologia. - Sistema de Intermediação de Negócios Turísticos (Interviagem). para a List - Empreendimentos Turísticos utilizando tecnologia de objetos distribuídos e Java Server Pages. De 1999 a fevereiro de 2000 atuei como gerente de projetos em parceria com a Mogai Tecnologia de Informação Ltda, empresa que atua no desenvolvimento de aplicações cliente/servidor. Destacam-se os projetos: - Módulos II e IV do Sistema de Elaboração de Orçamento da Companhia Vale do Rio Doce S.A. - Sistema de folha de pagamento do Órgão Gestor de Mão de Obra Avulsa Portuária do - Espírito Santo (OGMO-ES). - Sistema de Gestão Empresarial da Mercantil de Alimentos Soares Ltda.


União de Educação e Cultura Gildásio Amado, UNESC, Brasil.
Vínculo institucional

1999 - 2001
Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 20
Outras informações
Campus Colatina.

Atividades

05/1999 - 08/2001
Ensino, Tecnologia em Processamento de Dados, Nível: Graduação

Disciplinas ministradas
Análise e Projeto de Sistemas de Informação I
Análise e Projeto de Sistemas de Informação II
Tópicos Avançados de Programação, abordando as linguagens C++ e Java

Universidade Federal do Espírito Santo, UFES, Brasil.
Vínculo institucional

1997 - 1998
Vínculo: Bolsista, Enquadramento Funcional: Bolsista, Carga horária: 8

Vínculo institucional

1996 - 1997
Vínculo: , Enquadramento Funcional: Professor Substituto, Carga horária: 40

Vínculo institucional

1996 - 1996
Vínculo: Monitor de Pós-Graduação, Enquadramento Funcional: Monitor de Pós-Graduação, Carga horária: 10

Vínculo institucional

1991 - 1991
Vínculo: Bolsista, Enquadramento Funcional: Monitor, Carga horária: 12
Outras informações
Monitor de Processamento de Dados I

Vínculo institucional

1991 - 1991
Vínculo: Bolsista, Enquadramento Funcional: Monitor, Carga horária: 12
Outras informações
Monitor de Processamento de Dados I

Atividades

01/1998 - 06/1998
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens de Programação II
07/1997 - 12/1997
Ensino, Matemática, Nível: Graduação

Disciplinas ministradas
Introdução a Computação
06/1996 - 12/1996
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Sistemas de Programação I
06/1996 - 12/1996
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Elementos de Eletrônica Digital
Sistemas de Computação
01/1996 - 06/1996
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores

Progress Sistemas LTDA, PROGRESS, Brasil.
Vínculo institucional

1996 - 1997
Vínculo: Consultor, Enquadramento Funcional: Consultor


Fundação Gildásio Amado, UNESC, Brasil.
Vínculo institucional

1996 - 1996
Vínculo: , Enquadramento Funcional: Professor, Carga horária: 20
Outras informações
Campus Colatina

Atividades

03/1996 - 08/1996
Ensino, Tecnologia em Processamento de Dados, Nível: Graduação

Disciplinas ministradas
Fundamentos e Lógica Computacional.
Linguagem e Técnica de Programação.

Mecatron, M, Brasil.
Vínculo institucional

1995 - 1996
Vínculo: Instrutor, Enquadramento Funcional: Horista, Carga horária: 20

Atividades

02/1995 - 06/1996
Treinamentos ministrados , Cursos e Treinamentos, .

Treinamentos ministrados
Ministrando cursos de: Visual Basic, Microsoft Word for Windows 6.0, MS-DOS 6.2/MS-Windows 3., Microsoft Excel 5.0 e Delphi.


Linhas de pesquisa


1.
Validação e Verificação de Sistemas

Objetivo: Desenvolver métodos, algoritmos, e ferramentas de verificação formal e validação de softwares. Explorar os usos de especificações formais de softwares no ensino de engenharia de software. Explorar o impacto do uso de métodos formais leves nos processos de desenvolvimento de softwares. Explorar as aplicações dos diversos métodos, algoritmos, e ferramentas de verificação de modelos em sistemas das mais variadas áreas possíveis..
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
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.
Palavras-chave: verificação de software; validação de software; teste de software; verificação de modelos; especificação formal; métodos formais leves.
2.
Ensino e Aprendizagem de Computação

Objetivo: O desenvolvimento e a avaliação de ambientes virtuais e colaborativos de aprendizagem para uso dos professores na aula de computação; O desenvolvimento, implementação e avaliação de material didático (softwares educacionais, objetos de aprendizagem, textos) centrados nos conteúdos de Computação; O estudo e a análise da utilização de diferentes estratégias de ensino capazes de propiciar mudanças efetivas na qualidade da formação dos estudantes; A investigação da produção de significados de estudantes para a Computação com vistas a uma melhor interação entre professor-aluno e uma intervenção didática mais efetiva;.
Grande área: Ciências Humanas
Grande Área: Ciências Humanas / Área: Educação / Subárea: Informática na Educação.
Grande Área: Ciências Humanas / Área: Educação / Subárea: Lógica Matemática.
Palavras-chave: Educação em ciências e matemática; Educação matemática; Teoria da computação; Informática na educação; Lógica Matemática.
3.
Linguagens de Programação

Objetivo: Investigar mecanismos de composição e derivação de programas, especialmente no contexto de linguagens funcionais. Investigar propriedades de linguagens de programação que facilitem a verificação automática de propriedades de programas..
Grande área: Ciências Exatas e da Terra
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: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Palavras-chave: programming languages; functional programming; program verification; program composition; program derivation.
4.
Métodos Formais

Objetivo: Investigar o uso de métodos formais na modelagem, implementação e verificação de sistemas confiáveis. Investigar aplicações e algoritmos de verificação de modelos..
Grande área: Ciências Exatas e da Terra
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: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Setores de atividade: Pesquisa e desenvolvimento científico; Atividades dos serviços de tecnologia da informação.
Palavras-chave: formal methods; model checking; multi-valued logic; simbolic computing; theorem proof.


Projetos de pesquisa


2015 - Atual
Pré-classificação de Base de Dados Multibiométricos de Grande Escala baseado em Medidas Biométricas Leves e Não-invasivas

Projeto certificado pelo(a) coordenador(a) Karin Satie Komati em 13/10/2017.
Descrição: Um dos desafios num sistema de identificação biométrica é a questão de performance quando a base de dados for de larga escala. Em um sistema de identificação de uma pessoa desconhecida é necessário fazer uma busca em toda a base de dados, podendo percorrer milhares de dados, e cuja performance não condiz com sistemas de vídeo-monitoramento de espaços públicos com grande movimentação de pessoas. Uma abordagem é dividir o sistema de reconhecimento em dois subsistemas, um que trabalha com as características biométricas fortes podendo se valer de múltiplas características biométricas (impressão digital, face), e um segundo subsistema que atua sobre as biometrias leves (sexo, raça, altura, idade, peso, cor do cabelo, cor da pele, cor dos olhos, forma de caminhar e tatuagem). As biometrias fortes são características que determinam o reconhecimento de pessoas de forma única, para cada indivíduo, enquanto as medidas biométricas leves tratam das características que fornecem algumas informações de identificação sobre um indivíduo, mas não é o suficiente para diferenciar dois indivíduos de forma indubitável. Sistemas de biometria suave são, em geral, não invasivos, e podem ser extraídos sem o conhecimento do identificado e à distância. Antes de executar um sistema de reconhecimento baseado em características biométricas fortes, utiliza-se de processo de identificação de características biométricas leves e, desse modo, as medidas biométricas leves ajudam a filtrar um grande banco de dados biométrico, e logo, diminuindo o tempo de pesquisa. Além de diminuir o tempo de espera do usuário, alguns estudos mostram que sistemas multibiométricos apresentam também maior robustez. A proposta deste projeto é o desenvolvimento de um sistema de filtro de pesquisa para a diminuição de base de dados biométricos baseado em medidas biométricas leves e não invasivas. Todos os atributos biométricos leves são extraídos automaticamente a partir de imagens das câmeras de segurança..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) .
Integrantes: Jefferson Oliveira Andrade - Integrante / Karin Satie Komati - Coordenador / Daniel Cruz Cavalieri - Integrante / Tiago Bassini Roriz - Integrante / Aline de Aguiar Lopes - Integrante / Gabriel Couceiro Figueiredo - Integrante.
Número de produções C, T & A: 1
2009 - 2010
NÊMESIS: Um Modelo de Referência para Tecnologias de Informação, Compunicação e Biometria para Polícias Técnico Científicas
Descrição: O projeto NÊMESIS busca desenvolver um Modelo de Referência para Tecnologias de Informação, Compunicação e Biometria para Polícias Técnico Científicas, mais especificamente o projeto se desenvolve em cooperação com a Secretaria de Polícia Técnica do Estado do Espírito Santo..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (3) / Doutorado: (3) .
Integrantes: Jefferson Oliveira Andrade - Integrante / Mateus Conrad Barcellos da Costa - Coordenador / Rodrigo Varejão Andreão - Integrante / Fabiano Borges Ruy - Integrante / Evandro Ottoni Teatini Salles - Integrante / João Marques Salomão - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Espírito Santo - Auxílio financeiro.


Projetos de extensão


2015 - 2015
Introdução à Programação Competitiva
Descrição: A meta geral do curso é produzir programadores polivalentes. Ao final do curso você deve ser capaz de: ? Categorizar problemas bem conhecidos da ciência da computação. ? Trabalhar de modo efetivo em pequenas equipes para solucionar problemas. ? Demonstrar realização e habilidades de programação..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (30) .
Integrantes: Jefferson Oliveira Andrade - Coordenador / Karin Satie Komati - Integrante / Flavio Severiano Lamas de Souza - Integrante.Financiador(es): Sociedade Brasileira de Computação - Porto Alegre - Auxílio financeiro.


Projetos de desenvolvimento


2015 - 2017
Sistema de Classificação e Mapeamento de Tartarugas Marinhas

Projeto certificado pelo(a) coordenador(a) Karin Satie Komati em 13/10/2017.
Descrição: Projetos de conservação marinha monitoram as tartarugas marinhas através de um sistema de informação, acompanhando a sua rotina e tendência populacional, comprovando que cada espécie possui um comportamento migratório e reprodutivo distinto. Para ampliar esta base de dados, uma solução possível seria a disponibilização de um aplicativo mobile colaborativo, em que qualquer pessoa que encontre uma tartaruga marinha possa enviar fotos e informar a localização e as condições do animal. Entretanto, permitir que qualquer pessoa inclua informações numa base de dados, implicaria em problemas quanto à consistência dos mesmos, pois parte das informações devem ser validadas antes de serem inseridas na base. Uma destas informações é a identificação da espécie da tartaruga, especialistas classificam a espécie da tartaruga marinha dada a quantidade de escamas dos cascos e do formato da cabeça. Com um sistema em grande escala, o trabalho manual de classificação torna-se impraticável, assim, um sistema de classificação automática poderia auxiliar e diminuir o trabalho dos especialistas. Este projeto propõe o estudo de técnicas clássicas de reconhecimento de padrões baseados em características de cor e textura para classificação automática, mas que diferem da forma humana de classificação..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (3) .
Integrantes: Jefferson Oliveira Andrade - Integrante / Karin Satie Komati - Coordenador / Wdnei Ribeiro Paixão - Integrante / Flavio Garcia Pereira - Integrante / Amanda Pereira Sampaio - Integrante.
Número de produções C, T & A: 2
2013 - 2015
Um Sistema Móvel de Dicção de Palavras para Tratamento de Disfemia

Projeto certificado pelo(a) coordenador(a) Karin Satie Komati em 13/10/2017.
Descrição: É comum que pessoas que sofram de disfemia (gagueira) tendam a ser retraídas e evitem interação verbal, podendo até gerar situações de bullying escolar. A terapia, muitas vezes, se restringe à(s) sessão(ões) semanal(is) com o fonoaudiólogo. Neste trabalho, propõe-se um sistema em dispositivo móvel para auxiliar o tratamento, no qual o paciente não terá esta limitação de tempo e local. Neste sistema, todas as falas do usuário serão gravadas e medidas quantitativamente, armazenando os dados de seu progresso..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) .
Integrantes: Jefferson Oliveira Andrade - Integrante / Karin Satie Komati - Coordenador.
Número de produções C, T & A: 3
2012 - 2014
PwC ? PriceWEBCrawler

Projeto certificado pela empresa GLOBAL B2C COMERCIO E SERVICOS LTDA - ME em 05/02/2014.
Descrição: O PwC ? PriceWEBCrawler é conceitualmente um monitor ativo de preços em lojas virtuais. Ativo, pois utilizará mecanismo inteligente de varredura das lojas, conhecido como ?web crawler? capaz de monitorar em tempo real as mudanças de preços, além de comparar os preços de um mesmo produto em diversas lojas, simultaneamente..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (3) .
Integrantes: Jefferson Oliveira Andrade - Coordenador / Caio Cesar Maltinti - Integrante / Danilo Batista Nascimento - Integrante / Plínio de Souza Soares - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Espírito Santo - Auxílio financeiro.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Matemática Simbólica.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
3.
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.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Japonês
Compreende Razoavelmente, Fala Razoavelmente, Lê Pouco, Escreve Pouco.
Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Francês
Compreende Pouco, Fala Pouco, Lê Razoavelmente.


Prêmios e títulos


2017
Paraninfo dos Formandos dos Cursos Superiores do Ifes Campus Serra 2016, Ifes Campus Serra.
2014
Professor homenageado pelos formandos dos cursos superiores de Computação de 2014/1, Ifes Campus Serra, Ifes Campus Serra.
2014
TOEFL iBT - pontuação 107 do total de 120 pontos, ETS.
2014
coach da equipe que ficou em 4º lugar da etapa regional da Maratona Local de Programação, Sociedade Brasileira de Computação (SBC).
2012
JLPT Japanese-Language Proficiency Test Level N4 - Nihongo Nōryoku Shiken N4, JEES and the Japan Foundation.
2004
Professor representante da turma SIV1 em 2004/2, Ifes Campus Serra.
2004
Professor representante da turma SIV3 em 2004/2, Ifes Campus Serra.
2003
Patrono dos formandos 2003 de Sistemas de Informação, FAVI.
2003
Professor representante da turma SIV1 em 2003/2, Ifes Campus Serra.
2002
Sun Certified Programmer for Java 2 Plataform, Sun.
2001
70-028 - Administering Microsoft SQL Server 7.0, Microsoft.
2001
70-029 - Designing and Implementing Databases with Microsoft SQL Server 7.0, Microsoft.
2000
70-165 - Designing and Implementing Desktop Applications with MS Visual Basic 6.0, Microsoft.
1998
TOEFL tradicional - pontuação de 623, ETS.
1998
TWE - 4,0 pontos, ETS.


Produções



Produção bibliográfica
Citações

Outras
Total de trabalhos:13
Total de citações:16
https://scholar.google.com.br/citations?user=wPQJ2SgAAAAJ&hl=pt-BR  Data: 31/05/2017

Artigos completos publicados em periódicos

1.
R. DA PAIXAO, WDNEI2018R. DA PAIXAO, WDNEI ; M. PAIXAO, THIAGO ; C. B. DA COSTA, MATEUS ; O. ANDRADE, JEFFERSON ; G. PEREIRA, FLAVIO ; S. KOMATI, KARIN . Texture Classification of Sea Turtle Shell Based on Color Features: Color Histograms and Chromaticity Moments. INTERNATIONAL JOURNAL OF ARTIFICIAL INTELLIGENCE & APPLICATIONS (IJAIA), v. 9, p. 55-67, 2018.

2.
Oliveira, L. C. S.2015Oliveira, L. C. S. ; MARQUES, R. A. ; ANDRADE, J. O. ; KOMATI, K. S. . QUERYSOCIAL: FERRAMENTA DE VISUALIZAÇÃO GRÁFICA DO MONITORAMENTO DA REAÇÃO DOS USUÁRIOS NO FACEBOOK. Revista Borges, v. 5, p. 22-34, 2015.

3.
KOMATI, K. S.2013KOMATI, K. S. ; GUIMARÃES, J. A. ; Souza, F. S. L. ; ANDRADE, J. O. . PARALELIZAÇÃO DE ESQUELETIZAÇÃO DE IMAGENS DE FUNDO DE RETINA NA ARQUITETURA CUDA. REVISTA ELETRÔNICA DO ALTO VALE DO ITAJAÍ, v. 2, p. 75-85, 2013.

4.
ANDRADE, J. O.;O. ANDRADE, JEFFERSON2012 ANDRADE, J. O.; KAMEYAMA, Y. . Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras. IEICE Transactions on Information and Systems, v. E95-D, p. 1355-1364, 2012.

Capítulos de livros publicados
1.
KOMATI, K. S. ; COSTA, E. R. ; ANDRADE, J. O. . Gerenciamento de informações com QR Code e código Hash criptográfico. In: Brenner Lopes. (Org.). Gestão do Conhecimento e Inovação. 1ªed.Belo Horizonte: Editora Poisson, 2017, v. 2, p. 7-16.

Trabalhos completos publicados em anais de congressos
1.
POSSATTI, L. C. ; SUDRE FILHO, G. N. ; RESENDO, L. C. ; ANDRADE, J. O. ; KOMATI, K. S. . Uma Análise Comparativa de Ferramentas de Esteganálise em Estego-Imagens com Texto Embutido. In: Workshop de Trabalhos de Iniciação Científica e de Graduação (WTICG) do XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2017), 2017, Brasília. Anais do Workshop de Trabalhos de Iniciação Científica e de Graduação (WTICG) do XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2017), 2017.

2.
MOTTA, V. R. ; ANDRADE, J. O. ; KOMATI, K. S. . Detection and Tracking of Pedestrians and Cyclists on a beach promenade - Naive Method. In: XII WORKSHOP DE VISÃO COMPUTACIONAL (WVC 2016), 2016, Campo Grande, MS. Anais do XII WORKSHOP DE VISÃO COMPUTACIONAL, 2016.

3.
SILVA, M. L. G. ; MANTOVANELLI, E. C. ; ANDRADE, J. O. ; KOMATI, K. S. . Uma Aplicação baseada em SIG para Análise de Infrações Cometidas por Menores Infratores: Estudo de caso no Município de Vitória no estado do Espírito Santo. In: X Escola Regional de Banco de Dados (ERBD 2014), 2014, São Francisco do Sul/ SC. Anais do X Escola Regional de Banco de Dados (ERBD 2014), 2014.

4.
COSTA, E. R. ; ANDRADE, J. O. ; KOMATI, K. S. . Aplicações Seguras no uso de QR Code: Dois Estudos de Caso. In: XIV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2014) - VIII Workshop de Trabalhos de Iniciação Científica e de Graduação, 2014, Belo Horizonte, MG. Anais do XIV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2014), 2014.

5.
MENDES, C. F. S. F. ; ANDRADE, J. O. ; KOMATI, K. S. . Car Detection in Images of Urban Environments using Sliding Window and Histogram of Oriented Gradients. In: IX Workshop de Visão Computacional (WVC 2013), 2013, Rio de Janeiro. Anais do IX Workshop de Visão Computacional (WVC 2013), 2013.

6.
ANDRADE, J. O.; CANESE, M. . Elementar: Aplicando Gamificação ao Processo de Ensino-Aprendizagem da Lógica Formal. In: Eighth Latin American Conference on Learning Objects and Technologies, 2013, Valdivia, Chile. Laclo 2013, 2013.

7.
ANDRADE, J. O.; CANESE, M. . Um Sistema Web Gamificado para a Aprendizagem de Lógica Formal. In: Simpósio Brasileiro de Informática na Educação, 2013, Campinas/SP. Anais do 24º SBIE, 2013.

8.
GADIOLI, J. A. S. G. ; CÓ, F. A. ; MILANESI, A. ; ANDRADE, J. O. ; LEITÃO, L. J. S. L. . O USO DE JOGO JIT CARD COMO ESTRATÉGIA DE ENSINO APRENDIZAGEM DE SERVIÇOS DE MANUTENÇÃO INDUSTRIAL.. In: XIX Simpósio de Engenharia de Produção (SIMPEP), 2012, Bauru. Anais do XIX Simpósio de Engenharia de Produção (SIMPEP). Bauru, 2012.

9.
KOMATI, K. S. ; COSTA, E. R. ; ANDRADE, J. O. . GERENCIAMENTO DE INFORMAÇÕES COM QR CODE E CÓDIGO HASH CRIPTOGRÁFICO. In: XIX Simpósio de Engenharia de Produção (SIMPEP), 2012, Bauru. Anais do XIX Simpósio de Engenharia de Produção (SIMPEP). Bauru, 2012.

10.
ANDRADE, J. O.; KAMEYAMA, Y. . A Direct Algorithm for Multi-valued Bounded Model Checking. In: ATVA 2008 -- 6th International Symposium on Automated Technology for Verification and Analysis, 2008, Seul. Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008. Berlin: Springer, 2008. v. 5311. p. 80-94.

11.
ANDRADE, J. O.; KAMEYAMA, Y. . Extending Multi-Valued Bounded Model Checking. In: 25th Conference of the Japan Society for Software Science and Technology, 2008, Tokyo. Proceedings of the 25th Conference of the Japan Society for Software Science and Technology. Tokyo, Japan: JSSST, 2008. p. 1-10.

12.
ANDRADE, J. O.; KAMEYAMA, Y. . An Algorithm for Bounded Multi-Valued Model Checking. In: 4th Symposium on Science and Technology for System Verification, 2007, Nagoya, Japan. Proceedings of the 4th Symposium on Science and Technology for System Verification. Tokyo, Japan: JSSST, 2007. p. 11-20.

13.
ANDRADE, J. O.; KOMATI, K. S. . Usando Objetos Distribuídos para Construção de um Framework para Provadores de Teoremas. In: InfoCEFET2004 II Simpósio de Informática do CEFET-PI, 2004, Teresina. Anais do II Simpósio de Informática do CEFET-PI, 2004.

Resumos expandidos publicados em anais de congressos
1.
POSSATTI, L. C. ; RESENDO, L. C. ; SUDRE FILHO, G. N. ; ANDRADE, J. O. ; KOMATI, K. S. . Análise Comparativa de Ferramentas de Esteganálise em Estego-Imagens com Texto Embutido. In: Conferência Internacional de Ciências Forenses (interFORENSICS 2017), 2017, Brasília. Anais da Primeira Conferência Internacional de Ciências Forenses (interFORENSICS 2017), 2017.

2.
ANDRADE, J. O.; KOMATI, K. S. ; Souza, F. S. L. ; GADIOLI, J. A. S. G. ; CANESE, M. . Elementar: Uma Proposta de Gamificação do Ensino de Lógica Matemática. In: 2º Seminário Nacional de Inclusão Digital (SENID 2013), 2013, Passo Fundo/ RS. Anais do 2º Seminário Nacional de Inclusão Digital, 2013.

3.
Souza, F. S. L. ; ANDRADE, J. O. . Análise do uso de jogos em salas de aulas para avaliar aprendizado de disciplinas de programação. In: 2º Seminário Nacional de Inclusão Digital (SENID 2013), 2013, Passo Fundo/ RS. Anais do 2º Seminário Nacional de Inclusão Digital, 2013.

Resumos publicados em anais de congressos
1.
SOUZA, J. E. T. ; Souza, F. S. L. ; ANDRADE, J. O. ; KOMATI, K. S. . Análise de Desempenho de um Algoritmo de Esqueletização de Imagens em Arquitetura NVIDIA CUDA. In: I Congresso de Ensino, Pesquisa e Extensão - CONEPE, 2014, Campos, RJ. Anais do I Congresso de Ensino, Pesquisa e Extensão, 2014.

2.
SANTE, P. S. ; ANDRADE, J. O. ; KOMATI, K. S. . Um Sistema Móvel de Dicção de Palavras para Tratamento de Disfemia. In: 2º Seminário Nacional de Inclusão Digital (SENID 2013), 2013, Passo Fundo/ RS. Anais do 2º Seminário Nacional de Inclusão Digital, 2013.

3.
Oliveira, L. C. S. ; KOMATI, K. S. ; ANDRADE, J. O. ; Souza, F. S. L. . Análise de Ferramentas de Identificação de Músicas para Apoio à Produção Multimídia. In: III Encontro Anual de Tecnologia da Informação (EATI 2012), 2012, Frederico Westphalen. Anais do III Encontro Anual de Tecnologia da Informação, 2012.

4.
Souza, F. S. L. ; ANDRADE, J. O. ; CÓ, F. A. . Estudo do uso de jogos para avaliar aprendizado de disciplinas de programação. In: III Encontro Anual de Tecnologia da Informação (EATI 2012), 2012, Frederico Westphalen. Anais do III Encontro Anual de Tecnologia da Informação, 2012.

Apresentações de Trabalho
1.
ANDRADE, J. O.. Testes em Soluções de Software: Conceitos Essenciais e Motivação. 2017. (Apresentação de Trabalho/Conferência ou palestra).

2.
COSTA, E. R. ; ANDRADE, J. O. ; KOMATI, K. S. . Aplicações Seguras no uso de QR Code: Dois Estudos de Caso. 2014. (Apresentação de Trabalho/Simpósio).

3.
Souza, F. S. L. ; ANDRADE, J. O. . Análise do uso de jogos em salas de aulas para avaliar aprendizado de disciplinas de programação. 2013. (Apresentação de Trabalho/Seminário).

4.
ANDRADE, J. O.; KOMATI, K. S. ; GADIOLI, J. A. S. G. ; Souza, F. S. L. ; CANESE, M. . Elementar: Uma Proposta de Gamificação do Ensino de Lógica Matemática. 2013. (Apresentação de Trabalho/Seminário).

5.
ANDRADE, J. O.; CANESE, M. . Elementar: Aplicando Gamificação ao Processo de Ensino-Aprendizagem da Lógica Formal. 2013. (Apresentação de Trabalho/Conferência ou palestra).

6.
ANDRADE, J. O.; CANESE, M. . Um Sistema Web Gamificado para a Aprendizagem de Lógica Formal. 2013. (Apresentação de Trabalho/Simpósio).

7.
SANTE, P. S. ; ANDRADE, J. O. ; KOMATI, K. S. . Um Sistema Móvel de Dicção de Palavras para Tratamento de Disfemia. 2013. (Apresentação de Trabalho/Seminário).

8.
KOMATI, K. S. ; COSTA, E. R. ; ANDRADE, J. O. . Gerenciamento de Informações com QR Code e Código Hash Criptográfico. 2012. (Apresentação de Trabalho/Simpósio).

9.
ANDRADE, J. O.; KAMEYAMA, Y. . Extending Multi-Valued Bounded Model Checking. 2008. (Apresentação de Trabalho/Conferência ou palestra).

10.
ANDRADE, J. O.. Bounded Multi-Valued Model Checking. 2007. (Apresentação de Trabalho/Conferência ou palestra).

11.
ANDRADE, J. O.; KAMEYAMA, Y. . Multi-Valued Model Checking using SAT Solvers. 2007. (Apresentação de Trabalho/Conferência ou palestra).

12.
ANDRADE, J. O.; LOPES, R. H. C. . A Framework for Construction of Automatic Theorem Provers using Distributed Objects. 2004. (Apresentação de Trabalho/Simpósio).

13.
ANDRADE, J. O.; KOMATI, K. S. . Usando Objetos Distribuídos para Construção de um Framework para Provadores de Teoremas. 2004. (Apresentação de Trabalho/Simpósio).


Produção técnica

Demais tipos de produção técnica
1.
ANDRADE, J. O.. Introdução à Lógica Matemática para Alunos de Informática. 2016. (Desenvolvimento de material didático ou instrucional - Apostila).

2.
ANDRADE, J. O.; Souza, F. S. L. . Introdução à Programação Competitiva. 2015. (Curso de curta duração ministrado/Extensão).

3.
ANDRADE, J. O.. Projeto PriceWebQualis: Relatório Final de Prestação de Contas. 2014. (Relatório de pesquisa).

4.
ANDRADE, J. O.. Teste de Software. 2013. (Curso de curta duração ministrado/Especialização).

5.
ANDRADE, J. O.. Programação Web III. 2002. (Curso de curta duração ministrado/Especialização).

6.
ANDRADE, J. O.. Programação Web II. 2001. (Curso de curta duração ministrado/Especialização).

7.
ANDRADE, J. O.. Programação Java. 2000. (Curso de curta duração ministrado/Especialização).

8.
ANDRADE, J. O.. SQL Server 6.5. 1998. (Curso de curta duração ministrado/Outra).

9.
ANDRADE, J. O.. Projeto de Algoritmo Estruturado. 1991. (Curso de curta duração ministrado/Outra).



Patentes e registros



Programa de computador
1.
KOMATI, K. S. ; ANDRADE, J. O. ; Souza, F. S. L. ; GUIMARÃES, J. A. . Sistema de Identificação de Pontos de Bifurcação em Vasos Sanguíneos de Imagens de Retina usando GPU. 2018.
Patente: Programa de Computador. Número do registro: 512018000550-0, data de registro: 20/04/2018, título: "Sistema de Identificação de Pontos de Bifurcação em Vasos Sanguíneos de Imagens de Retina usando GPU" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.



Bancas



Participação em bancas de trabalhos de conclusão
Trabalhos de conclusão de curso de graduação
1.
KOMATI, K. S.; ANDRADE, J. O.; PAIXAO, T. M.. Participação em banca de Amanda Pereira Sampaio.Uso de Local Binary Pattern como Extrator de Características em um Sistema Automático de Classificação de Texturas de Cascos de Tartarugas Marinhas. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo.

2.
KOMATI, K. S.; ANDRADE, J. O.; BOLDT, F. A.. Participação em banca de Isolino Gonçalves Ferreira.Estudo Comparativo de Classificadores SVM e k-NN para Reconhecimento de Emoção da Fala. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo.

3.
KOMATI, K. S.; ANDRADE, J. O.; VASSOLER, G. L.. Participação em banca de Briane Bianca Batista.Análise Espacial do Mapeamento de Barragens de Rejeitos de Minério no Estado de Minas Gerais. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo.

4.
KOMATI, K. S.; ANDRADE, J. O.; Mateus Barcellos Costa; SALLES, E. O. T.. Participação em banca de Wdnei Ribeiro da Paixao.Um Estudo da Classificação de Texturas de Cascos de Tartarugas Marinhas Baseado em Características de Cor. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo.

5.
KOMATI, K. S.; ANDRADE, J. O.; RESENDO, L. C.; SUDRE FILHO, G. N.. Participação em banca de Lucas Caetano Possatti.Uma Análise Comparativa de Ferramentas de Esteganálise em Estego-Imagens com Texto Embutido. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo.

6.
KOMATI, K. S.; ANDRADE, J. O.; MARQUES, R. A.. Participação em banca de Lucas Coutinho de Souza Oliveira.QuerySocial: consulta de informações do FaceBook. 2015. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo.

7.
KOMATI, K. S.; ANDRADE, J. O.; CAVALIERI, D. C.. Participação em banca de Patrício Dos Santos Sante.Avaliação da Taxa de Acerto de um Sistema de Reconhecimento de Palavras em Português Brasileiro Baseado em HTK e Julius. 2015. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo.

8.
ANDRADE, J. O.; Souza, F. S. L.; KOMATI, K. S.. Participação em banca de Caio Cesar Maltinti.Verificação Formal de Software para CLP em Ladder utilizando Promela/SPIN. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo.

9.
AGUIAR, E.; ANDRADE, J. O.; KOMATI, K. S.. Participação em banca de Juliana Amorim Guimarães.Aplicação de Técnicas de Esqueletização no Processo de Extração de Pontos de Controle em Imagens Segmentadas de Retina. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo.

10.
ANDRADE, J. O.; COSTA JUNIOR, J. F.; VASSOLER, G. L.. Participação em banca de Jean Carlos Kenup Piumbini.Implementação de um Serviço de Diretório Utilizando Software Livre: caso de estudo CEAD - Ifes. 2010. Trabalho de Conclusão de Curso (Graduação em Redes de Computadores) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo.



Participação em bancas de comissões julgadoras
Concurso público
1.
ANDRADE, J. O.; ZAMBON, E.; FALCAO, W. S.. IFES Edital 03-2015 - Docentes Mestres e Doutores -Teoria da Computação - prova de desempenho didático. 2015. Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo.

2.
ANDRADE, J. O.; ZAMBON, E.. IFES Edital 03-2015 - Docentes Mestres e Doutores -Teoria da Computação - prova escrita. 2015. Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo.

3.
ANDRADE, J. O.; RESENDO, L. C.; KOMATI, K. S.. IFES Edital 03-2014 - Docentes Mestres e Doutores - vaga 309 - prova de conhecimentos específicos. 2014. Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Anais do XIV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2014).Aplicações Seguras no uso de QR Code: Dois Estudos de Caso. 2014. (Simpósio).

2.
2º Seminário Nacional de Inclusão Digital (SENID 2013).Um Sistema Móvel de Dicção de Palavras para Tratamento de Disfemia. 2013. (Seminário).

3.
2º Seminário Nacional de Inclusão Digital (SENID 2013).Análise do uso de jogos em salas de aulas para avaliar aprendizado de disciplinas de programação. 2013. (Seminário).

4.
2º Seminário Nacional de Inclusão Digital (SENID 2013).Elementar: Uma Proposta de Gamificação do Ensino de Lógica Matemática. 2013. (Seminário).

5.
Eighth Latin American Conference on Learning Objects and Technologies (LACLO 2013). Aplicando Gamificação ao Processo de Ensino-Aprendizagem da Lógica Formal. 2013. (Congresso).

6.
Simpósio Brasileiro de Informática na Educação.Um Sistema Web Gamificado para a Aprendizagem de Lógica Formal. 2013. (Simpósio).

7.
XIX Simpósio de Engenharia de Produção (SIMPEP).Gerenciamento de Informações com QR Code e Código Hash Criptográfico. 2012. (Simpósio).

8.
CONISLI - Congresso Internacional de Software Livre. 2004. (Congresso).

9.
Simpósio Brasileiro de Métodos Formais (SBMF 2004).Um framework para Construção de Provadores Automáticos de Teoremas com Objetos Distribuídos. 2004. (Simpósio).

10.
III Escola Regional de Informática RJ/ES. 2003. (Encontro).

11.
Palestra: Fechando novos negócios através da prestação de serviços. 2002. (Outra).

12.
Fórum e-Commerce em debate: Experiências e Tendências. 2001. (Encontro).

13.
Palestra: Modelos de Contratação de Serviços de Sistema, um enfoque aplicado de FPA. 2001. (Outra).

14.
Palestra: O Impacto da Qualidade de Dados no Sucesso do Projeto Data Warehouse. 2001. (Outra).

15.
Palestra: Porque Armazenar XML em um servidor XML. 2001. (Outra).

16.
Semana Empresarial.Palestra: Plataformas Java e J2EE. 2001. (Encontro).

17.
Objetos Distribuídos 2000. 2000. (Encontro).

18.
XVII Congresso Nacional de Matemática Aplicada e Computacional (CNMAC 94 ). 1994. (Congresso).

19.
II Reunião Regional da Sociedade Brasileira de Matemática Aplicada e Computacional. 1992. (Encontro).

20.
VIII Escola de Computação. 1992. (Outra).

21.
XV Congresso Nacional de Matemática Aplicada e Computacional. 1992. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
GOMES, R. L. ; SANTOS, T. O. ; ANDRADE, J. O. . Juiz do TOPCOM 2015. 2015. (Outro).

2.
KOMATI, K. S. ; ANDRADE, J. O. ; OMENA, M. S. ; NASCIMENTO, E. L. ; Souza, F. S. L. . Sede do ES na 1ª fase da Maratona de Programação 2015. 2015. .

3.
ANDRADE, J. O.. 9º Congresso Brasileiro de Automática. 1992. (Congresso).



Orientações



Orientações e supervisões em andamento
Trabalho de conclusão de curso de graduação
1.
Carlos Augusto Ribeiro Junior. Um Ambiente Gamificado para Apoio ao Ensino de Programação. Início: 2017. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. (Orientador).


Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Lucas Caetano Possatti. Uma Análise Comparativa de Ferramentas de Esteganálise em Estego-Imagens com Texto Embutido. 2016. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

2.
Caio Cesar Maltinti. Verificação Formal de Software para CLP em Ladder utilizando Promela/SPIN. 2014. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

3.
Rodrigo Lacerda Pesqueira de Araújo. Universidade Corporativa. 2003. Trabalho de Conclusão de Curso. (Graduação em Sistema de Informação) - Faculdade Vitoriana de Tecnologia. Orientador: Jefferson Oliveira Andrade.

4.
SANTOS, Jossimar dos; CORTELETI, Letícia Silva; AVELINO Jr. Soluções de e-learning para organizações educacionais corporativas. 2002. Trabalho de Conclusão de Curso. (Graduação em Sistema de Informação) - Faculdade Vitoriana de Tecnologia. Orientador: Jefferson Oliveira Andrade.

5.
ULIANA, Raquel. LÓRA, Ricardo Sancio; GOBBI, Daniela Parpaio. Gestão Educacional e controle de frequência. 2002. Trabalho de Conclusão de Curso. (Graduação em Sistema de Informação) - Faculdade Vitoriana de Tecnologia. Orientador: Jefferson Oliveira Andrade.

Iniciação científica
1.
Caio Cesar Maltinti. PriceWebCrawler. 2013. Iniciação Científica. (Graduando em Bacharelado em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

2.
Danilo Batista Nascimento. PriceWebCrawler. 2013. Iniciação Científica. (Graduando em Bacharelado em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

3.
Plínio de Souza Soares. PriceWebCrawler. 2013. Iniciação Científica. (Graduando em Bacharelado em Sistemas de Informação) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

Orientações de outra natureza
1.
Rodrigo Angeli Pagotto. Aplicativo Móvel para Auxiliar no Condicionamento Físico. 2013. Orientação de outra natureza. (Técnico em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

2.
Juan Henrique Lima Romualdo. Aplicativo Móvel para Auxiliar no Condicionamento Físico. 2013. Orientação de outra natureza. (Técnico em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

3.
Carlos Eduardo Delboni Nascimento. Sistema Gerenciador de Estoque de Vendas. 2013. Orientação de outra natureza. (Técnico em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

4.
Luiz Paulo de Almeida Jr.. Sistema Gerenciador de Estoque de Vendas. 2013. Orientação de outra natureza. (Técnico em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

5.
Kayque Fonseca da Silva Barbosa. Sistema Gerenciador de Estoque de Vendas. 2013. Orientação de outra natureza. (Técnico em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

6.
Débora Alice Aguiar Carvalho da Silva. Aplicativo Android de gerenciamento de torpedos. 2013. Orientação de outra natureza. (Técnico em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

7.
Clarice Zanoni Alencastre. Sistema Web - Caronadas. 2012. Orientação de outra natureza. (Técnico em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

8.
Ivana Amorim Julião. Sistema Web - Caronadas. 2012. Orientação de outra natureza. (Técnico em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

9.
Thayná Nascimento. Sistema Web - Caronadas. 2012. Orientação de outra natureza. (Técnico em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

10.
Alvaro Otto de Almeida. Planejamento de Rotas para Robô Omni Utilizando o Algoritmo X. 2012. Orientação de outra natureza. (Técnico em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

11.
Wesley Marcone Simmer. Planejamento de Rotas para Robô Omni Utilizando o Algoritmo X. 2012. Orientação de outra natureza. (Técnico em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

12.
Jessica Campana. Sistema web de busca de serviços a estabelecimentos comerciais. 2012. Orientação de outra natureza. (Técnico em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

13.
Ramon Medeiros Freitas. Sistema web de busca de serviços a estabelecimentos comerciais. 2012. Orientação de outra natureza. (Técnico em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

14.
Jéssica da Costa Egidio. Rádio Online. 2012. Orientação de outra natureza. (Técnico em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.

15.
Leone Pereira Soares. Rádio Online. 2012. Orientação de outra natureza. (Técnico em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo. Orientador: Jefferson Oliveira Andrade.



Inovação



Programa de computador registrado
1.
KOMATI, K. S. ; ANDRADE, J. O. ; Souza, F. S. L. ; GUIMARÃES, J. A. . Sistema de Identificação de Pontos de Bifurcação em Vasos Sanguíneos de Imagens de Retina usando GPU. 2018.
Patente: Programa de Computador. Número do registro: 512018000550-0, data de registro: 20/04/2018, título: "Sistema de Identificação de Pontos de Bifurcação em Vasos Sanguíneos de Imagens de Retina usando GPU" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.


Projeto de desenvolvimento tecnológico


Educação e Popularização de C & T



Cursos de curta duração ministrados
1.
ANDRADE, J. O.; Souza, F. S. L. . Introdução à Programação Competitiva. 2015. (Curso de curta duração ministrado/Extensão).


Desenvolvimento de material didático ou instrucional
1.
ANDRADE, J. O.. Introdução à Lógica Matemática para Alunos de Informática. 2016. (Desenvolvimento de material didático ou instrucional - Apostila).




Página gerada pelo Sistema Currículo Lattes em 17/01/2019 às 1:39:30