Vaston Gonçalves da Costa

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


possui graduação em Matemática pela Universidade Federal de Uberlândia (1995), mestrado em Matemática pela Universidade de Brasília (1998), doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2007) e pós-doutorado em Teoria da Prova pela Pontifícia Universidade Católica do Rio de Janeiro. Atualmente é professor Adjunto DE do Campus de Catalão da Universidade Federal de Goiás. Tem experiência na área de Matemática, com ênfase em teoria da computação, atuando principalmente nos seguintes temas: lógica, teoria da prova, complexidade de provas, grafos. (Texto informado pelo autor)


Identificação


Nome
Vaston Gonçalves da Costa
Nome em citações bibliográficas
COSTA, V. G.;Costa, V. G.;COSTA, V;Costa, Vaston G.;COSTA, VASTON GONÇALVES DA

Endereço


Endereço Profissional
Universidade Federal de Goiás, Campus Avançado de Catalão.
Av. Dr. Lamartine Pinto de Avelar
Setor Universitário
75704-020 - Catalao, GO - Brasil
Telefone: (64) 34415310
URL da Homepage: http://www.catalao.ufg.br/cc/vaston


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


2002 - 2007
Doutorado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Compactação de provas lógicas, Ano de obtenção: 2007.
Orientador: Edward Hermann Haeusler.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Lógica; Teoria da Prova; Complexidade de provas; Dedução Natural; Cálculo de Seqüentes.
Grande área: Ciências Exatas e da Terra
1996 - 1998
Mestrado em Matemática.
Universidade de Brasília, UnB, Brasil.
Título: Confluencia de Sistemas de Reescritas em Termos Lineare Esquerdos não-Terminantes,Ano de Obtenção: 1998.
Orientador: Maurício Ayala Rincon.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Teoria; Reescrita; Lógica; Formal.
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.
1992 - 1995
Graduação em Matemática.
Universidade Federal de Uberlândia, UFU, Brasil.
Orientador: Ruy Tojeiro.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.


Pós-doutorado


2014 - 2015
Pós-Doutorado.
Institut National de Recherche en Informatique et en Automatique - Siège, INRIA, França.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
2008 - 2008
Pós-Doutorado.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
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.


Atuação Profissional



Universidade Federal de Goiás, UFG, Brasil.
Vínculo institucional

2008 - Atual
Vínculo: , Enquadramento Funcional: Associado 1, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/2015 - Atual
Direção e administração, Instituto de Matemática e Tecnologia, .

Cargo ou função
Coordenador do Curso de Licenciatura em Matemática à Distancia.
08/2015 - Atual
Direção e administração, Instituto de Matemática e Tecnologia, .

Cargo ou função
Coordenador do Curso de Licenciatura em Matemática à distancia.
11/2012 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto Final de Curso 1
Projeto Final de Curso 2
01/2012 - Atual
Direção e administração, Campus Avançado de Catalão, .

Cargo ou função
coordenador de Curso de Graduação em Ciência da Computação.
08/2009 - Atual
Pesquisa e desenvolvimento , Instituto de Matemática e Tecnologia, .

Linhas de pesquisa
Teoria da Prova
Lógica
08/2015 - 12/2015
Ensino, Modelagem e Otimização, Nível: Pós-Graduação

Disciplinas ministradas
Modelagem Computacional
Estudo Dirigido 1
Estudo Dirigido 2
08/2015 - 12/2015
Ensino, Matemática, Nível: Graduação

Disciplinas ministradas
Robótica no Ensino de Matemática
04/2015 - 08/2015
Direção e administração, Instituto de Matemática e Tecnologia, .

Cargo ou função
Coordenador de Estágio do Curso de Matemática Industrial.
02/2015 - 07/2015
Ensino, Matemática Industrial, Nível: Graduação

Disciplinas ministradas
Cálculo 1
Elementos de Matemática
09/2013 - 02/2014
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto de final de curso 1
Projeto de final de curso 2
Teoria da Computação
Análise e Projeto de Algoritmo
12/2012 - 12/2013
Direção e administração, Campus Avançado de Catalão, .

Cargo ou função
Coordenador de Curso de Graduacao.
02/2013 - 08/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Algebra Linear
Algoritmo e Programacao de Computadores 1
Projeto Final de curso 1
Projeto Final de Curso 2
07/2012 - 12/2012
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto final de curso 1
Projeto Final de curso 2
Topicos especiais
02/2012 - 06/2012
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Projeto final de Curso 1
Projeto Final de Curso 2
Análise e Projeto de Algoritmos
Multimídia
01/2012 - 02/2012
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto final de curso 2
08/2011 - 12/2011
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Análise e Projeto de Algoritmos
Lógica Matemática
Teoria da Computação
02/2011 - 06/2011
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais e Automatos
Matemática Discreta
08/2010 - 12/2010
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Análise e Projeto de Algoritmos
Teoria da Computação
03/2009 - 12/2010
Direção e administração, Campus Avançado de Catalão, .

Cargo ou função
Coordenador de Programa Especiliazação.
08/2010 - 10/2010
Ensino, Segurança da Informação, Nível: Especialização

Disciplinas ministradas
Criptografia
Fundamentos de Matemática
02/2010 - 06/2010
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto Final de Curso 1
Linguagens Formais e Autômatos
Matemática Discreta
08/2009 - 12/2009
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Análise e projeto de algoritmos
Projeto final de curso 1
Teoria da Computação
03/2009 - 07/2009
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais e Autômatos
Matemática Discreta
Projeto Final de Curso 1
04/2009 - 05/2009
Ensino, Segurança da Informação, Nível: Especialização

Disciplinas ministradas
Criptografia
08/2008 - 12/2008
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Análise e Projeto de Algoritmos
Teoria da Computação
05/2008 - 07/2008
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais e Autômatos
Matemática Discreta

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional

2007 - 2007
Vínculo: Celetista, Enquadramento Funcional: Horista, Carga horária: 4

Vínculo institucional

2006 - 2007
Vínculo: Colaborador, Enquadramento Funcional: Colaborador, Carga horária: 10

Vínculo institucional

2003 - 2005
Vínculo: Contrato, Enquadramento Funcional: Horista, Carga horária: 4

Atividades

08/2007 - 12/2007
Ensino, Informática, Nível: Graduação

Disciplinas ministradas
Linguagens e Máquinas
2/2004 - 12/2005
Ensino, Economia, Nível: Graduação

Disciplinas ministradas
Processamento de Dados
1/2003 - 12/2003
Ensino, Informática, Nível: Graduação

Disciplinas ministradas
Estrutura Discreta

Insitturo de Educação Superior de Brasília, IESB, Brasil.
Vínculo institucional

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

Atividades

8/2000 - 7/2002
Ensino, Engenharia de Telecomunicações, Nível: Graduação

Disciplinas ministradas
Cálculo Diferencial e Integral 1
Séries e Equações Diferenciais

União Pioneira de Integração Social, UPIS, Brasil.
Vínculo institucional

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

Atividades

8/2000 - 8/2002
Ensino, Administração, Nível: Graduação

Disciplinas ministradas
Matemática Aplicada a Admnistração
Modelagem e Simulação de Negócios

Universidade de Brasília, UnB, Brasil.
Vínculo institucional

2000 - 2000
Vínculo: Contratado, Enquadramento Funcional: Substituto, Carga horária: 40
Outras informações
Álgebra Linear e Equações Diferenciais

Atividades

02/2000 - 07/2000
Ensino, Matemática, Nível: Graduação

Disciplinas ministradas
Equações Dieferenciais
Álgebra Linear

Universidade Estadual do Tocantins, UNITINS, Brasil.
Vínculo institucional

1998 - 2000
Vínculo: Colaborador, Enquadramento Funcional: Assistente, Carga horária: 40

Atividades

2/1998 - 2/2000
Ensino, Matemática, Nível: Graduação

Disciplinas ministradas
Cáculo Diferencial e Integral 1
Álgebra Linear
Análise Real
Geometria Analítica


Linhas de pesquisa


1.
Teoria da Prova
2.
Lógica


Projetos de pesquisa


2014 - Atual
Uso de Teoria da Prova em Interoperabilidade de Verificador de Sistemas com aplicações em sistemas embarcados acoplados em um veiculo elétrico
Descrição: A Teoria da Prova, iniciada por Hilbert, tem se tornado uma ferramenta teórica e de fundamentação em ciências, com contribuições em geração de programas, semântica de programas e sistemas, otimização de código funcional e tem sido fortemente utilizada como base em formalismos de especificação e validação de teorias. Este projeto tem por objetivo empregar uma abordagem baseada em conceitos lógicos tratando, em específico, o tema de produção de provas curtas, bem como do uso deste no auxílio ao processo de redução de tempo de execução dos sistemas Dedukti proposto pelo INRIA-France. Todos os resultados tem com intuito final alinhar o que se tem produzido por pesquisadores Brasileiros do laboratório de Métodos Formais da PUC-Rio com o que se tem produzido recente pelo INRIA de Paris-França, visando estreitar os vínculos entre as duas equipes e produzir resultados que contribuam para a verficação formal de sistemas embarcados, em particular nos sistemas de controle de um carro ecológico desenvolvido por pesquisadores da Regional Catalão da Universidade Federal de Goiás..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Mestrado profissional: (1) .
Integrantes: Vaston Gonçalves da Costa - Coordenador / Edward Hermann Hauesler - Integrante / Marcello Henrique Stoppa - Integrante / Bruno Lopes Vieira - Integrante.
2012 - Atual
Desenvolvimento de Veículo Ecológico a Baixo Custo
Descrição: Os veículos elétricos, conhecidos por EVs (Electric Vehicle), são meios de transportes que usam motores elétricos para se locomover, sendo esta a principal diferença dos veículos com motores de combustão interna. Estes últimos, usam a energia gerada pela explosão de materiais combustíveis, como gasolina, diesel, etanol ou gás. Já os EVs, usam energia elétrica guardada em baterias. Na realidade, é a energia química acumulada nas baterias que é transformada em energia elétrica e esta é transformada em energia mecânica pelo motor. Nos veículos a combustão, parte da energia mecânica, é transformada em energia elétrica pelo alternador e esta é guardada em uma bateria. Porém, esta energia elétrica, em geral, é utilizada apenas para o sistema elétrico do veículo, não participando da movimentação do veículo. As principais vantagens dos veículos elétricos em relação aos demais são: emissão zero de CO2 (dióxido de carbono), baixo custo de utilização, diminuição do ruído e das vibrações, dispensa embreagem e caixa de marcha, além de proporcionar um arranque suave. As desvantagens são a menor autonomia, relativamente baixa velocidade e custo mais alto de aquisição, devido principalmente a ausência de produção em escala e, aos ainda altos custos das baterias. É importante lembrar que, apesar dos EVs não emitirem CO2 durante o uso, são gerados outros poluentes na produção da energia elétrica necessária para movê-los e no descarte das baterias, cuja vida útil costuma ser de três a cinco anos. No Brasil cerca de 80% da energia é gerada por hidrelétricas e não por usinas de carvão, como é comum na Europa. Isto acaba tornando o uso dos EVs mais promissores, pois, aqui ainda é menos poluente que as formas usuais de transporte. As desvantagens dos veículos elétricos, apresentadas anteriormente, ou seja, baixa autonomia e velocidade, não interferem em algumas características de uso, tais como a locomoção de pessoas e cargas leves em pequenas distâncias. Este é o porquê de..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado profissional: (1) .
Integrantes: Vaston Gonçalves da Costa - Integrante / Marcello Henrique Stoppa - Coordenador.
2011 - 2013
Problemas em Teoria da Computação: Problemas Combinatórios e Produção de Provas Curtas
Situação: Concluído; Natureza: Pesquisa.
2009 - 2015
Implementação das Estratégias de Monitoramento de Integridade Estrutural pelos Métodos da Propagação de Ondas de Lamb Guiadas e da Impedância Eletromecânica
Descrição: Neste projeto, preocupa-se em pesquisar sobre um assunto atual: os fenômenos patológicos estruturais. Esses fenômenos, tais como: trincas transversais por fadiga, corrosão, delaminações e redução da rigidez são os principais fatores responsáveis pela interrupção da continuidade do serviço de certos sistemas, tais como: aeronaves, estrutura de engenharia civil e até mesmo navios, etc. Para tanto, emprega-se o monitoramento da integridade estrutural (Structural health monitoring - SHM) que está relacionado a implementação de alguma estratégia para a detecção de dano em estruturas de engenharia, pois a presença de dano provoca variações das característica modais da estrutura. Esse estudo geralmente envolve a observação do sistema no tempo, utilizando amostras periódicas de medições da resposta dinâmica, a partir de um grupo de sensores, a fim de verificar alterações nos parâmetros modais, que podem indicar a presença do dano. Rytter (1993) apresentou uma classificação dos métodos de detecção de dano em quatro níveis [14]: ? nível 1: detecção do dano ® determinação da presença do dano na estrutura; ? nível 2: localização do dano ® determinação da localização geométrica do dano na estrutura; ? nível 3: quantificação da severidade causada pelo dano; ? nível 4: previsão da vida útil remanescente da estrutura. Para viabilizar o emprego do SHM, faz-se uso dos transdutores ativos de pastilhas piezoelétricas nas estruturas para monitorar o início e o progresso de tais danos estruturais, viabilizando dois principais métodos de detecção a serem pesquisadas, a saber: 1º) o de propagação das ondas de Lamb guiadas, para detecção de danos em grandes áreas de estruturas de espessura fina; 2º) o da impedância eletromecânica (E/M) para detecção de danos em pequenas áreas da estrutura de espessura fina próximas aos sensores. Em ambos os casos, é utilizada uma faixa de freqüência de excitação de até 100 kHz, na qual predomina as ondas de flexão, cujo modo de propagação é o anti.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) .
Integrantes: Vaston Gonçalves da Costa - Coordenador / Roberto Mendes FInzi Neto - Integrante.
2009 - 2013
ESTUDO SOBRE A APLICABILIDADE DE ROBÔS NXT (nº 33944)
Descrição: A empresa LEGO produz blocos construtivos desde 1940, começando com os familiares blocos de montagem e atualmente, produzindo peças altamente técnicas, que incluem vigas, motores, engrenagens, e pneumáticos. Embora o estilo de construção das peças tenha sofrido alterações, as novas peças são projetadas sempre de modo a serem compatíveis e interoperáveis com as antigas. Esta característica de compatibilidade, e a grande diversidade das partes, são algumas das razões pelas quais a LEGO se torna uma atrativa escolha para construção dos mais variados tipos de protótipos. A LEGO lançou o MINDSTORMS NXT em 2006, mas esta história começa oito anos antes, em 1988, quando a LEGO introduziu o primeiro kit MINDSTORMS os blocos programáveis Robotics Invention System (RIS) com o Robotic Control Explorer (RCX) . Isto representou uma evolução de cinco décadas, das técnicas de construção modular da LEGO, com anos de métodos de educação baseados em computador do Instituto de Tecnologia de Massachusetts (MIT - Massachusetts Institute of Technology) (Gasperi e Hurbain, 2007). O MIT tem investigado o uso de computadores em educação desde os anos 1970. O nome MINDSTORMS vem do título de um livro do cientista da computação Seymor Papert do MIT. O trabalho deste livro envolveu o conceito de não apenas usar os computadores para aplicar testes e avaliar crianças, mas também, permitir que as crianças utilizassem os computadores para resolver problemas e ajudar na sua inventividade. Originalmente os computadores eram muito grandes, prejudicando a manipulação dos mesmos nos sistemas inventivos das crianças. Porém, a tecnologia permitiu a criação de protótipos de blocos programáveis, facilitando de modo ilimitado a portabilidade e acessibilidade. Nesse sentido, este projeto vem propor a utilização dos robôs NXT como método de motivação ao ensino e estudo das ciências, sejam elas, matemática, computação, física, eletrônica, dentre outras. . Situação: Em andamento; Natureza: Pesquisa..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .
Integrantes: Vaston Gonçalves da Costa - Integrante / Marcello Henrique Stoppa - Coordenador.
2008 - 2014
Aplicações de Teoria da Prova à Ciência da Computação
Descrição: Este projeto de pesquisa concentra-se na área de Teoria da Computação abordando, em específico, o tema de produção de provas lógicas curtas e como os resultados obtidos neste tema podem ser aplicados no processo de representação e explicação automática do conhecimento..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (16) .
Integrantes: Vaston Gonçalves da Costa - Coordenador / Thiago Alves Queiroz - Integrante.


Projetos de extensão


2011 - 2012
Utilização dos recursos da tecnologia acessível como fomento à sustentabilidade das pequenas propriedades rurais
Descrição: Apesar dos grandes avanços tecnológicos presentes em nossas vidas, poucas pessoas efetivamente fazem uso desses recursos para melhoria de sua qualidade de trabalho e vida. Neste contexto se enquadram tanto moradores da zona urbana quanto rural. Agrava-se, contudo, na zona rural pois se acresce a tudo isso a distancia que o separa do centro de produção e utilização destes recursos. Neste projeto são apresentadas formas de integrar a tecnologia amplamente difundida no meio acadêmico às atividades desenvolvidas pelos pequenos produtores da zona de rural de Catalão, em particular para as comunidades de Cisterna e São Domingos. Por meio de esforços conjugados de pesquisadores de várias áreas de tecnologia, cursos teóricos e aulas práticas serão ministrados em campo com apoio de bolsistas e técnicos. Passando pelo ensino de tecnologias de medição de área e configuração de implementos agrícolas até a construção de pequenas centrais hidroelétricas sustentáveis. Espera-se que ao final do projeto se consiga aproximar o pequeno produtor da tecnologia existente para que assim se torne cada vez mais auto-suficiente e competitivo..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (5) .
Integrantes: Vaston Gonçalves da Costa - Coordenador / Marcello Henrique Stoppa - Integrante / Roberto Mendes FInzi Neto - Integrante.Financiador(es): Ministério da Educação e Cultura - Auxílio financeiro.
2009 - 2011
Levando a informática do campus ao Campo
Descrição: Este projeto propõe a difusão de conhecimentos da área de computação para jovens alunos da zona rural. Em específico, o conhecimento em informática existente no Campus Catalão da Universidade Federal de Goiás e os jovens pertencentes à zona rural de Catalão no estado de Goiás. Além disso, é vislumbrado a aquisição de conhecimentos por parte dos envolvidos, a possibilidade de incluir o jovem do campo social e digitalmente..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (3) .
Integrantes: Vaston Gonçalves da Costa - Integrante / Marcello Henrique Stoppa - Integrante / Selma Terezinha Milagres - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.


Projetos de desenvolvimento


2009 - 2010
ALGORITMOS E ESTRUTURAS DE DADOS - UMA ABORDAGEM ORIENTADA A OBJETOS E IMPLEMENTADA EM JAVA
Descrição: Desenvolvimento de material bibliográfico de apoio.
Situação: Concluído; Natureza: Desenvolvimento.
2006 - 2007
Anubis - TecMF
Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional. ..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (3) .
Integrantes: Vaston Gonçalves da Costa - Integrante / Edward Hermann Hauesler - Coordenador / Geiza Maria Hamazaki - Integrante / Fernando Naufel do Amaral - Integrante / Carlos Bazilio - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.


Membro de corpo editorial


2015 - 2015
Periódico: Caderno de Resumos do Colóquio de Matemática da Região Centro-Oeste


Revisor de periódico


2015 - 2015
Periódico: Caderno de Resumos do Colóquio de Matemática da Região Centro-Oeste


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
2.
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.
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.
4.
Grande área: Ciências Exatas e da Terra / Área: Matemática.


Idiomas


Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.
Alemão
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Razoavelmente.


Prêmios e títulos


2012
Segundo lugar no Prêmio Agroambiental Monsanto, Monsanto do Brasil S.A..
2011
Segundo melhor artigo do evento, IX Encontro Anual de Computação.


Produções



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

1.
ANDRADE, M. S.2018ANDRADE, M. S. ; TOMAS, P. H. ; GOMES, M. A. S. ; MACHADO, R. B. ; COSTA, V. G. ; SADOYAMA, A. S. P. . Qualidade da Educação Percebida em um instituto Federal. Altus Ciência, v. 06, p. 307-322, 2018.

2.
BORGES, M. R.2018BORGES, M. R. ; TOMAS, P. H. ; ANDRADE, M. S. ; GOMES, M. A. ; COSTA, V. G. . A IMPORTÂNCIA DO SISTEMA DE INFORMAÇÃO PARA CONTROLE E GESTÃO DE ESTOQUE.. Altus Ciencia, v. 7, p. 196-216, 2018.

3.
OLIVEIRA, T. L.2018OLIVEIRA, T. L. ; COSTA, V. G. ; SILVA, A. V. ; BEVILACQUA, S. ; TOMAS, P. H. . A EFETIVIDADE DE VENDAS A PARTIR DOS ANÚNCIOS DO YOUTUBE: um estudo sobre consumo de beleza, saúde e estética no universo feminino. Altus Ciencia, v. 7, p. 301-315, 2018.

4.
COSTA, V. G.2018COSTA, V. G.; ANDRADE, M. S. ; TOMAS, P. H. ; PEREIRA, H. G. . Computação em Nuvem Aplicada na Educação. HUMANIDADES & TECNOLOGIA EM REVISTA (FINOM), v. 1, p. 604-613, 2018.

5.
SANTOS, N. P.2018SANTOS, N. P. ; TOMAS, P. H. ; ANDRADE, M. S. ; COSTA, V. G. . Teste de Desempenho de algoritmos de Criptografia: Comparando AES, DES e RSA. HUMANIDADES & TECNOLOGIA EM REVISTA (FINOM), v. 1, p. 614-620, 2018.

6.
TOMAS, P. H.2018TOMAS, P. H. ; ANDRADE, M. S. ; GOMES, M. A. S. ; SADOYAMA, A. S. P. ; COSTA, V. G. . Liderença Estratégica. Altus Ciencia, v. 06, p. 220, 2018.

7.
STOPPA, M. H.2013STOPPA, M. H. ; MARTINEZ, L. F. E. ; BORGES, J. S. ; SILVA JUNIOR, E. A. ; COSTA, V. G. . Domótica: uma solução para a vida moderna - automação residencial de controle via WEB. CEPPG Revista (Catalão), v. xvi, p. 70-84, 2013.

8.
COSTA, V2013COSTA, V; STOPPA, M. H. ; LEMES, M. V. ; DANTAS, C. A. . Algoritimo de Rex no Cálculo de Áreas. CEPPG Revista (Catalão), v. XVI, p. 41-55, 2013.

9.
Almeida, Ariane A.2011Almeida, Ariane A. ; COSTA, V. G. . Uso de VHDL no FPGA Altera Cyclone II para construção de sistemas criptográficos. Mediação (UEG. Pires do Rio), v. 4, p. 249-257, 2011.

10.
Pereira, Luiz C.2010 Pereira, Luiz C. ; Haeusler, Edward H. ; Costa, Vaston G. ; Sanz, Wagner . A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. Studia Logica, v. 96, p. 95-108, 2010.

11.
Gordeev, L.2009 Gordeev, L. ; Haeusler, E. H. ; COSTA, V. G. . Proof compressions with circuit-structured substitutions. Journal of Mathematical Sciences (New York), v. 158, p. 645-658, 2009.

12.
Costa, Vaston G.2009Costa, Vaston G.; Sanz, Wagner ; Haeusler, Edward H. ; Pereira, Luiz C. . Peirce's Rule in a Full Natural Deduction System. Electronic Notes in Theoretical Computer Science, v. 256, p. 5-18, 2009.

13.
Gordeev, L.2008 Gordeev, L. ; Hermann, E. H. ; COSTA, V. G. . Proof compressions with circuit-structured substituitions. Zapiski Naucnyh Seminarov Leningradskogo Otdeleniâ ordena Lenina Matematiceskogo Instituta im. V.A. Steklova Akademii Nauk SSSR, v. 358, p. 77-79, 2008.

14.
COSTA, V2007 COSTA, V; HAEUSLER, E ; LABER, E ; NOGUEIRA, L . A note on the size of minimal covers. Information Processing Letters, v. 102, p. 124-126, 2007.

Livros publicados/organizados ou edições
1.
DIAS, L. G. ; COSTA, V. G. . Análise Formal no Gerenciamento de Competências: O emprego de Ontologias e Lógica de Descrição. 1. ed. , 2018. 60p .

2.
STOPPA, M. H. ; MUNDIM, L. R. ; COSTA, V. G. ; BA, S. A. C. ; SANTOS, M. R. ; MENDONCA, M. M. . A Família Pereira - Uma História de Sucesso na Zona Rural. 1. ed. São Paulo: New Book, 2012. 122p .

Capítulos de livros publicados
1.
Dias, Luiz Gustavo ; COSTA, VASTON GONÇALVES DA . Emprego de análise formal no processo de gerenciamento de habilidades. Tecnologias em pesquisa: ciências exatas e biológicas. 1ed.: Editora Blucher, 2017, v. , p. 147-154.

2.
Silva, Nayara de Souza ; COSTA, VASTON GONÇALVES DA ; STOPPA, MARCELO HENRIQUE . Verificação formal de sistemas digitais embarcados. Tecnologias em pesquisa: engenharias. 1ed.: Editora Blucher, 2017, v. , p. 121-134.

Trabalhos completos publicados em anais de congressos
1.
COSTA, V. G.; DANTAS, C. A. ; GOMES, S. L. F. . LinA como ferramenta auxiliar no processo de ensino-aprendizagem de Álgebra Linear. In: Congresso Brasileiro de Informática na Educação, 2016, Uberlândia. Anais dos Workshops do CBIE 2016, 2016.

2.
COSTA, VASTON GONÇALVES DA; VIEIRA, BRUNO LOPES ; STOPPA, MARCELO HENRIQUE ; SOUZA, LEANDRO RODRIGUES DA SILVA . INDUSTRIAL PRODUCTION LINE MODELING AND REASONING BY PETRI NETS. In: Congresso Nacional de Matemática Aplicada à Indústria, 2015, Caldas Novas. Anais do Congresso Nacional de Matemática Aplicada à Indústria. São Paulo: Editora Edgard Blücher. p. 95.

3.
SOUZA, LEANDRO RODRIGUES DA SILVA ; SANTOS, NÚBIA SAAD DOS ; PEREIRA, CLEZIDAN NÚCIO ; COSTA, VASTON GONÇALVES DA ; STOPPA, MARCELO HENRIQUE . SIMULAÇÃO COMPUTACIONAL POR ELEMENTOS FINITOS E VALIDAÇÃO EXPERIMENTAL DE TUBOS DE PVC SOLICITADOS À FLEXÃO. In: Congresso Nacional de Matemática Aplicada à Indústria, 2015, Caldas Novas. Anais do Congresso Nacional de Matemática Aplicada à Indústria, 2014. p. 799.

4.
COSTA, V. G.; STOPPA, M. H. . O Algoritmo de Rex no Desenvolvimento de um Aplicativo para Cálculo de Áreas de Pequenas Propriedades Rurais. In: Congresso de Matemática Aplicada e Computacional, 2012, Natal - RN. Anais do Congresso de Matemática Aplicada e Computacional, 2012.

5.
RESENDE, A. C. D. ; COSTA, V . EMPREGO DE TESTES ESTATÍSTICOS EM GERADORES DE NÚMEROS ALEATÓRIOS PARA VERIFICAÇÃO DE EFICÁCIA DE ALGORITMOS CRIPTOGRÁFICOS. In: Congresso de Pesquisa, Ensino, Extensão e Cultura do Campus Catalão, 2011, Catalão - GO. VII CONPEEC, 2011.

6.
Almeida, Ariane A. ; COSTA, V . Implementação em VHDL do algoritmo DES compilada no Altera Quartus II. In: Encontro anual de computação, 2011, Catalão - GO. IX ENACOMP, 2011.

7.
BORGES, M. V. A. ; COSTA, V. G. . Otimizacao da arquitetura Model-view-controler utilizando web service como camada modelo.. In: Congresso de Pesquisa, Ensino, Extensão e Cultura do Campus Catalão, 2011, Catalão - GO. VII CONPEEC, 2011.

8.
Nobrega, Fernando A. ; COSTA, V. G. ; Lobato, Luanna L. . Aplicação de Lógica Descritiva para Documentação e Validação de Requisitos em SPL. In: VIII Encontro Anual de Computação - ISSN 2178-6992, 2010, Catalão-GO. Anais do VII Encontro Anual de Computação. Goiânia: Universidade de Goiás, 2010.

9.
Almeida, Ariane A. ; Costa, V. G. . Criptografia em Hardware com VHDL Usando Circuitos FPGA X Criptografia em Software. In: VIII Encontro Anual de Computação - ISSN 2178-6992, 2010, Catalão-GO. Anais do VIII Encontro Anual de Computação, 2010.

10.
Pereira, Gabriela Q. ; Costa, Vaston G. . O Uso da Robótica Educacional no Ensino Fundamental: Um estudo de caso preliminar. In: VIII Encontro Anual de Computação - ISSN 2178-6992, 2010, Catalão-GO. Anais do VIII Encontro Anual de Computação, 2010.

11.
Pires, Rayner M. ; Costa, Vaston G. . Uso do algoritmo Diffie-Hellman na geração de keyfile para o TrueCrypt. In: VIII Encontro Anual de Computação - ISSN 2178-6992, 2010, Catalão-GO. Anais do VIII Encontro Anual de Computação, 2010.

12.
HAMAZAKI, Geiza Maria ; Naufel, F. ; BAZILIO, Carlos ; Romero, D. V. ; COSTA, V. G. ; Hermann, E. H. . Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study. In: Australasian Ontology Workshop, 2007, Surfers Paradise. AOW-07. Melbourne: CRPIT - Australian Computer Society, 2007. v. 85.

Resumos expandidos publicados em anais de congressos
1.
COSTA, V. G.; Hermann, E. H. ; CRUZ, M. Q. ; SANTOS, J. B. . NP system and Mimp-graph Association. In: 5th World Congress and School of Universal Logic, 2015, Istambul. Handbook of the 5th orld Congress and School of Universal Logic. Istanbul: University of Istanbul, 2015. p. 246-347.

2.
COSTA, V. G.; Hermann, E. H. ; CRUZ, M. Q. . NP full system and Mimp-fol association. In: NataLogic 2015, 2015, Natal-RN. NataLogic 2015. Natal: UFRN, 2015. p. 51-52.

3.
COSTA, V. G.; VIEIRA, B. L. ; Hermann, E. H. . Game modelling and reasoning by Petri Nets. In: Congresso Brasileiro de Software: Teoria e Prática, 2013, Brasília. Anais do XVI SIMPÓSIO BRASIlEIRO DE MÉTODOS FORMAIS, 2013. v. 1. p. 24-29.

Resumos publicados em anais de congressos
1.
ROCHA, A. M. ; COSTA, V. G. ; MUNDIM, L. R. ; STOPPA, M. H. . EMPREGO DE T ÉCNICAS GEOMÉTRICAS EM SISTEMAS EMBARCADOS PARA AUXILIAR PEQUENOS PRODUTORES RURAIS. In: CNMAC 2012, 2012, Águas de Lindóia. Anais do Congresso Nacional de Matemática Aplicada e Computacional, 2012.

2.
Hermann, E. H. ; COSTA, V. G. ; Pereira, L. C. ; SANZ, W. . Revisisting Peirces rule in Natural Deduction. In: 2008 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '08, 2008, Bern. The Bulletin of Symbolic Logic, 2008. v. 15. p. 125-126.

3.
COSTA, V. G.; Hermann, E. H. . On Strategies to Compact Proofs. In: XIV Encontro Brasileiro de Lógica, 2006, Itatiaia. Caderno de Resumos do XIV Encontro Brasileiro de Lógica, 2006.

Apresentações de Trabalho
1.
DIAS, L. G. ; COSTA, V. G. . Uso de ontologia no projeto de Software baseado em framework. 2017. (Apresentação de Trabalho/Simpósio).

2.
BASTOS, T. A. ; COSTA, V. G. . Aplicação de métodos formais na validação do processo de modelagem de sistema de manufatura flexível. 2017. (Apresentação de Trabalho/Simpósio).

3.
DANTAS, C. A. ; COSTA, V. G. ; GOMES, S. L. F. . LinA como ferramenta auxiliar no processo de ensino-aprendizagem de Álgebra Linear. 2016. (Apresentação de Trabalho/Congresso).

4.
DANTAS, C. A. ; COSTA, V. G. ; GOMES, S. L. F. . LinA como ferramenta auxiliar no processo de ensino-aprendizagem de Álgebra Linear. 2016. (Apresentação de Trabalho/Congresso).

5.
COSTA, V. G.; Hermann, E. H. ; CRUZ, M. Q. . NP system and Mimp-graph association. 2015. (Apresentação de Trabalho/Congresso).

6.
CRUZ, M. Q. ; Haeusler, Edward H. ; COSTA, V. G. . NP full system and Mimp-fol association. 2015. (Apresentação de Trabalho/Congresso).

7.
COSTA, V. G.. Some Topics in Proof Theory. 2015. (Apresentação de Trabalho/Conferência ou palestra).

8.
MUNDIM, L. R. ; Costa, V. G. ; STOPPA, M. H. ; ROCHA, A. M. . Utilizando Técnicas de Geometria Computacional em Sistemas Embarcados para Auxiliar Pequenos Produtores Rurais. 2012. (Apresentação de Trabalho/Congresso).

9.
FARIA, F. B. ; Fortunato, E. C. N. ; DANTAS, C. A. ; COSTA, V. G. ; STOPPA, M. H. . Utilização dos recursos da tecnologia acessível como fomento à sustentabilidade das pequenas propriedades rurais. 2012. (Apresentação de Trabalho/Simpósio).

10.
COSTA, V; STOPPA, M. H. . O Algoritmo de Rex no Desenvolvimento de um Aplicativo para Cálculo de Áreas de Pequenas Propriedades Rurais. 2012. (Apresentação de Trabalho/Congresso).

11.
MUNDIM, L. R. ; COSTA, V ; STOPPA, M. H. ; ROCHA, A. M. . EMPREGO DE TÉCNICAS GEOMÉTRICAS EM SISTEMAS EMBARCADOS PARA AUXILIAR PEQUENOS PRODUTORES RURAIS. 2012. (Apresentação de Trabalho/Congresso).

12.
Almeida, Ariane A. ; Costa, V. G. . Criptografia em Hardware com VHDL Usando Circuitos FPGA X Criptografia em Software. 2010. (Apresentação de Trabalho/Congresso).

13.
COSTA, V; SANZ, W. ; Haeusler, E. H. ; Pereira, L. C. . Peirce's rule in a full Natural Deduction system. 2009. (Apresentação de Trabalho/Congresso).

14.
Pereira, L. C. ; COSTA, V. G. ; Hermann, E. H. ; SANZ, W. . Revisiting Peirce's Rule in Natural Deduction. 2008. (Apresentação de Trabalho/Congresso).

15.
COSTA, V. G.; Hermann, E. H. . On strategies to compact proofs. 2006. (Apresentação de Trabalho/Congresso).

16.
COSTA, V. G.; Hermann, E. H. ; LABER, E. S. ; NOGUEIRA, L. T. . A note on the size of minimal covers.. 2006. (Apresentação de Trabalho/Conferência ou palestra).

17.
COSTA, V. G.; MENDONCA, P. C. T. . Computador na escola: Relatos de uma experiência em andamento. 1999. (Apresentação de Trabalho/Congresso).

18.
COSTA, V. G.; MENDONCA, P. C. T. ; APOLINARIO, H. C. ; PASSOS, V. M. A. . Frações decimais associadas às medidas: Uma experiência do Promat-Miracema. 1999. (Apresentação de Trabalho/Congresso).

Outras produções bibliográficas
1.
COSTA, V. G.; LABER, E. S. ; Hermann, E. H. . Some remarks on the size of boolean functions. Rio de Janeiro: Informática PUC-Rio, 2005 (Monografia).


Produção técnica
Trabalhos técnicos
1.
Costa, V. G.. 4 coloquio de Matemática da Região Centro Oeste. 2015.


Demais tipos de produção técnica
1.
Abud, C. V. ; Freitas, T. P. A ; Costa, V. G. . Caderno de Resumos do Colóquio de Matemática da Região Centro - Oeste. 2015. (Editoração/Anais).



Patentes e registros



Programa de computador
1.
FARIA, F. B. ; DANTAS, C. A. ; Fortunato, E. C. N. ; STOPPA, M. H. ; COSTA, V ; MUNDIM, L. R. . Agrimencell. 2012.
Patente: Programa de Computador. Número do registro: BR5120130003440, título: "Agrimencell" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Sanz, W. C; Pereira, L. C.; Costa, Vaston G.. Participação em banca de Hermógenes Hebert Pereira de Oliveira. Investigações em Semântica Construtiva. 2014. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.

Qualificações de Mestrado
1.
Sanz, W. C; Pereira, L. C.; Costa, Vaston G.. Participação em banca de Hermógenes Hebert Pereira de Oliveira. Investigação em Semântica Construtiva. 2013. Exame de qualificação (Mestrando em Filosofia) - Universidade Federal de Goiás.

Monografias de cursos de aperfeiçoamento/especialização
1.
DUARTE, M. A.; COSTA, V; STOPPA, M. H.. Participação em banca de Fabíola Gonçalves Coelho Ribeiro. A segurança da informação e a Engenharia de Requisitos em Relação à Segurança de Redes. 2010. Monografia (Aperfeiçoamento/Especialização em Segurança da Informação) - Universidade Federal de Goiás.

Trabalhos de conclusão de curso de graduação
1.
Costa, V. G.; RABELO, L. V. S.; GUIMARAES JR, V.. Participação em banca de ELIZABETH CRISTINA NASCIMENTO FORTUNATO.REDES DE PETRI APLICADA A MODELAGEM DE JOGOS UTILIZANDO LÓGICA DE DESCRIÇÃO. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Goiás.

2.
Dias, Márcio S.; COSTA, V; Lobato, Luanna L.. Participação em banca de Eustáquio Cézar Pereira Filho.O uso de processamento de linguagem natural na construção de chatterbots. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Goiás.

3.
Dias, Márcio S.; COSTA, V. G.; MILAGRES, S. T.. Participação em banca de Rosângela Alves de Brito.Estudo e desenvolvimento de um protótipo de análise de nomes da Química Orgânica. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Goiás.

4.
Vale, l. N.; COSTA, V. G.. Participação em banca de Bianor Vicente Sousa Neta.Modelos de Teste Funcional para Aplicações Web. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Goiás.

5.
DUARTE, M. A.; COSTA, V. G.. Participação em banca de Fabíola Gonçalves Coelho Ribeiro.Agrupamento Automático de Imagens Digitais. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Goiás.



Participação em bancas de comissões julgadoras
Concurso público
1.
OLIVEIRA, P. J.; COSTA, V. G.; MOLLO, R. A. T.. Concurso Professor Substituto. 2015. Universidade Federal de Goiás.

2.
COSTA, V; GUIMARAES JUNIOR, V.; OLIVEIRA JR., A. C.. Concurso público professor Substituto - Ciencia da Computação. 2012. Universidade Federal de Goiás.

3.
COSTA, V; BATISTA, M. A.; OLIVEIRA JR., A. C.. Concurso público professor Substituto - Ciencia da Computação. 2012. Universidade Federal de Goiás.

4.
Costa, V. G.; Sene, I. G Jr; Queiroz, F. M.. Concurso Público Adjunto em Sistemas Operacionais. 2010. Universidade Federal de Goiás.

5.
COSTA, V. G.; C. O. Braga; Silva, V. T. Adjunto em Engenharia de Software. 2009. Universidade Federal de Goiás.



Eventos



Organização de eventos, congressos, exposições e feiras
1.
STOPPA, M. H. ; BORGES, R. A. ; QUEIROZ, T. A. ; RABELO, M. N. ; COSTA, V. G. . Congresso Nacional de Matemática Aplicada a Industria. 2014. (Congresso).

2.
COSTA, V. G.; Finzi Neto, Roberto M. ; Vale, l. N. ; BITAR, T. J. . Encontro Anual de Computação - ENACOMP. 2011. (Congresso).

3.
BITAR, T. J. ; Lobato, Luanna L. ; Finzi Neto, Roberto M. ; COSTA, V. G. . Encontro Anual de Computação - ENACOMP. 2010. (Congresso).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Thiago de Almeida Bastos. Redes de Petri e gerenciamento de projetos. 2016. Dissertação (Mestrado em Modelagem e Otimização) - Universidade Federal de Goiás, . Orientador: Vaston Gonçalves da Costa.

2.
Luiz Gustavo Dias. Ontologias no processo de gerenciamento de atividades empresariais. 2016. Dissertação (Mestrado em Gestão Organizcional) - Universidade Federal de Goiás, . Orientador: Vaston Gonçalves da Costa.

3.
Nayara de Souza Silva. Verificação Formal de Sistemas embarcados em carro elétrico. 2015. Dissertação (Mestrado em Modelagem e Otimização) - Universidade Federal de Goiás, Fundação de Amparo a Pesquisa do Estado de Goiás. Orientador: Vaston Gonçalves da Costa.

4.
Leandro Rodrigues da Silva Souza. Uma ferramenta para mapeamento e gerenciamento de processos de negocios gerenciado em tempo real. 2013. Dissertação (Mestrado em Gestão Organizcional) - Universidade Federal de Goiás, . Coorientador: Vaston Gonçalves da Costa.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Bruno César Santos de Lima. Auditoria de sistemas de informação em ambientes corporativos. 2014. Monografia. (Aperfeiçoamento/Especialização em Segurança da Informação) - Universiade Federal de Goiás. Orientador: Vaston Gonçalves da Costa.

2.
Jaime Ribeiro Junior. Uso de testes estatísticos de geradores de números aleatórios em Sistemas Criptográficos. 2010. Monografia. (Aperfeiçoamento/Especialização em Segurança da Informação) - Universiade Federal de Goiás. Orientador: Vaston Gonçalves da Costa.

Trabalho de conclusão de curso de graduação
1.
Salviano Ludgério Felipe Gomes. Desenvolvimento de sistemas auxiliares ao ensino de álgebra linear. 2016. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Goiás. Orientador: Vaston Gonçalves da Costa.

2.
Elizabeth Cristina Nascimento Fortunato. Redes de Petri Aplicada à Modelagem de Jogos Utilizando Lógica de Descrição. 2015. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Goiás. Orientador: Vaston Gonçalves da Costa.

3.
Ariane Alves Almeida. Criptografia em Hardware com VHDL Usando Circuitos FPGA. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Goiás. Orientador: Vaston Gonçalves da Costa.

4.
Luiz Gustavo Ferreira Felício. CLOUD COMPUTING: SERVIDORES E APLICAÇÕES. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computação) - Universiade Federal de Goiás. Orientador: Vaston Gonçalves da Costa.

5.
Amanda Cristina Davi Resende. Emprego de testes estatísticos em geradores de números aleatórios para verificação de eficácia de algoritmos criptográficos. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computação) - Universiade Federal de Goiás. Orientador: Vaston Gonçalves da Costa.

6.
Gabriela Quirino Pereira. O Uso da Robótica Educacional no Ensino Fundamental: Relatos de um Experimento.. 2010. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Goiás. Orientador: Vaston Gonçalves da Costa.

7.
Fernando Antonio de Asevedo Nobrega. Aplicação de Lógica Descritiva para Validação de Requisitos em Linha de Produto de Software. 2010. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Goiás. Orientador: Vaston Gonçalves da Costa.

8.
Rayner de Melo Pires. Aplicação do Algorítmo Diffie-Hellman no Compartilhamento de Volumes Criptográficos do TrueCrypt.. 2010. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Goiás. Orientador: Vaston Gonçalves da Costa.

9.
José Augusto Batista Cabral Júnior. Homebrews Aplicados na Plataforma Handheld do Nintendo DS. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Goiás. Orientador: Vaston Gonçalves da Costa.

10.
Marcello Victor de Almeida Borges. Aplicação do Padrão Model-View-Controller (MVC) intercalado com Web Service para melhorar o desempenho e manutenção de aplicações. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Goiás. Orientador: Vaston Gonçalves da Costa.

Iniciação científica
1.
Bruno Pereira Barela. Verificação Formal de Sistemas embarcados em carro elétrico. 2015. Iniciação Científica. (Graduando em Matemática Industrial) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Vaston Gonçalves da Costa.

2.
Thaynara Marques de Moura Santos. Construção de Métodos de Verificação Formal de Sistemas. 2015. Iniciação Científica. (Graduando em Engenharia de Minas) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Vaston Gonçalves da Costa.

3.
Lorena Aparecida Rezende. Construção de um raciocinador Legal. 2013. Iniciação Científica. (Graduando em Ciências da Computação) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Vaston Gonçalves da Costa.

4.
Nayara de Souza Silva. Aplicação de Lógica Descritiva em Raciocínio Legal. 2013. Iniciação Científica. (Graduando em Ciências da Computação) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Vaston Gonçalves da Costa.

5.
Lucas Angelo da Silveira. Construção de um processador de Linguagem Natural. 2012. Iniciação Científica. (Graduando em Ciências da Computação) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Vaston Gonçalves da Costa.

6.
Nayara de Souza Silva. Construção de um tradutor de linguagem natural com raciocinador lógico. 2012. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Vaston Gonçalves da Costa.

7.
Nayara de Souza Silva. Construção de Provador de Teoremas baseado em Cálculo de Sequentes Circuito-Estruturado. 2011. Iniciação Científica. (Graduando em Ciencia da Computação) - Universiade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Vaston Gonçalves da Costa.

8.
Lucas Angelo da Silveira. Construção de um provador de teoremas interativo circuito-estruturado. 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Vaston Gonçalves da Costa.

9.
Lucas Angelo da Silveira. Construção de um provador de Teoremas interativo circuito-estruturado. 2011. Iniciação Científica - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Vaston Gonçalves da Costa.

10.
Nayara de Souza Silva. Construção de um provador de Teoremas baseado em Cálculo de Sequentes circuito-estruturado. 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Vaston Gonçalves da Costa.

11.
Leandro Resende Mundim. Explicando Provas em Lógica de Descrição. 2010. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Vaston Gonçalves da Costa.

12.
Fernando Antonio de Asevedo Nobrega. Explicando provas em logica descritiva. 2009. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Goiás. Orientador: Vaston Gonçalves da Costa.

Orientações de outra natureza
1.
Fernanda Bontempo Faria. PROEXT 2011: Utilização dos recursos da tecnologia acessível como fomento à sustentabilidade das pequenas propriedades rurais. 2012. Orientação de outra natureza. (Ciencia da Computação) - Universiade Federal de Goiás, Ministério da Educação e Cultura. Orientador: Vaston Gonçalves da Costa.

2.
Adriano Mendonça Rocha. PROEXT-2011: Utilização dos recursos da tecnologia acessível como fomento à sustentabilidade das pequenas propriedades rurais. 2012. Orientação de outra natureza. (Ciencia da Computação) - Universiade Federal de Goiás, Ministério da Educação e Cultura. Orientador: Vaston Gonçalves da Costa.

3.
Elizabeth Cristina Nascimento Fortunato. PROEXT 2011:Utilização dos recursos da tecnologia acessível como fomento à sustentabilidade das pequenas propriedades rurais. 2012. Orientação de outra natureza. (Ciencia da Computação) - Universiade Federal de Goiás, Ministério da Educação e Cultura. Orientador: Vaston Gonçalves da Costa.



Inovação



Programa de computador registrado
1.
FARIA, F. B. ; DANTAS, C. A. ; Fortunato, E. C. N. ; STOPPA, M. H. ; COSTA, V ; MUNDIM, L. R. . Agrimencell. 2012.
Patente: Programa de Computador. Número do registro: BR5120130003440, título: "Agrimencell" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.


Projetos de pesquisa

Projeto de extensão


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



Artigos
Artigos completos publicados em periódicos
1.
STOPPA, M. H.2013STOPPA, M. H. ; MARTINEZ, L. F. E. ; BORGES, J. S. ; SILVA JUNIOR, E. A. ; COSTA, V. G. . Domótica: uma solução para a vida moderna - automação residencial de controle via WEB. CEPPG Revista (Catalão), v. xvi, p. 70-84, 2013.


Programa de Computador registrado
1.
FARIA, F. B. ; DANTAS, C. A. ; Fortunato, E. C. N. ; STOPPA, M. H. ; COSTA, V ; MUNDIM, L. R. . Agrimencell. 2012.
Patente: Programa de Computador. Número do registro: BR5120130003440, título: "Agrimencell" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.




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