Wesley Gonçalves Silva

Mestre em Ciência da Computação pela Universidade Federal de Santa Catarina, com ênfase em verificação formal de sistemas críticos. Atualmente trabalha com Pesquisa e Desenvolvimento de sistemas embarcados voltados ao mercado de telecomunicações na empresa Khomp Indústria e Comércio.

Informações coletadas do Lattes em 09/04/2019

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Mestrado em Ciências da Computação

2010 - 2013

Universidade Federal de Santa Catarina
Título: Uma Nova Abordagem para Geração Automática de Propriedades para Verificação Formal de Sistemas Digitais em HDL,Ano de Obtenção: 2013
Djones Vinícius Lettnin.Coorientador: Eduardo Augusto Bezerra. Palavras-chave: Verificação formal; Geração de propriedades; Sistemas críticos; Sistemas embarcados.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.

Graduação em Ciência da Computação

2006 - 2009

Universidade Estadual de Mato Grosso do Sul
Título: Simulação de Detecção de Colisão entre Veículos
Orientador: Fabrício Sérgio de Paula

Seção coletada automaticamente pelo Escavador

Formação complementar

2011 - 2011

Extensão universitária em Projeto, Síntese e Simulação de Sistemas Digitais. (Carga horária: 20h). , Universidade Federal de Santa Catarina, UFSC, Brasil.

2008 - 2008

Extensão universitária em Java Intermediário. (Carga horária: 60h). , Universidade Estadual de Mato Grosso do Sul, UEMS, Brasil.

2006 - 2006

Extensão universitária em Java Basico. , Universidade Estadual de Mato Grosso do Sul, UEMS, Brasil.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

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

Espanhol

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

Português

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

Seção coletada automaticamente pelo Escavador

Áreas de atuação

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

    Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Telecomunicações/Especialidade: Sistemas de Telecomunicações.

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

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

Seção coletada automaticamente pelo Escavador

Participação em eventos

14th Latin American Test Workshop.Automatic Property Generation for Formal Verification Applied to HDL-Based Design of an On-Board Computer Space Application. 2013. (Simpósio).

II Brazilian Conference on Critical Embedded Systems.Semi-automatic Property Generation for the Formal Verification os a Satellite On-board System. 2012. (Simpósio).

SBESC. 2011. (Simpósio).

Infoweek. 2006. (Outra).

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Raquel Marcia Müller

PAULA, N. C.; SIMOES, N. C.;MÜLLER, R. M.. Simulação de Detecção de Colisão entre Veículos. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Estadual de Mato Grosso do Sul.

Djones Vinicius Lettnin

LETTNIN, D. V.; FARINES, J. M. A.; GUNTZEL, J.;BEZERRA, E. A.. UMA NOVA ABORDAGEM PARA GERAÇÃO AUTOMÁTICA DE PROPRIEDADES PARA VERIFICAÇÃO FORMAL DE SISTEMAS DIGITAIS EM HDL. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Djones Vinicius Lettnin

LETTNIN, D.; FARINES, J. M. A.; GUNTZEL, J.;BEZERRA. E.. Geração Automática de Propriedades para Verificação Formal de uma Aplicação Espacial baseada em FPGA. 2013. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Nielsen Cassiano Simoes

PAULA, N. C.;SIMÕES, N. C.; MULLER, R. M.. Simulação de Detecção de Colisão entre Veículos. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual de Mato Grosso do Sul.

Eduardo Augusto Bezerra

Bezerra, Eduardo A.; FARINES, J.; Güntzel, J. L.;Lettnin, D. V.. Geracao Automatica de Propriedades para Verificacao Formal de uma Aplicacao Espacial Baseada em FPGA. 2013. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

José Luis Almada Guntzel

GÜNTZEL, Jose Luis; BEZERRA, Eduardo Augusto; FARINES, J. M.; LETTNIN, D. V.. Geração Automática de Propriedades para Verificação Formal de uma Aplicação Espacial Baseada em FPGA. 2013. Dissertação (Mestrado em PROGRAMA DE POS GRADUAÇÃO EM ENGENHARIA ELETRICA) - Universidade Federal de Santa Catarina.

Nilton Cézar de Paula

DE PAULA, N. C.; Simões, N. C.; MULLER, R. M.. Simulação de Detecção de Colisão entre Veículos. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual de Mato Grosso do Sul.

Seção coletada automaticamente pelo Escavador

Foi orientado por

Raquel Marcia Müller

Pesquisa e Desenvolvimento de Agentes Inteligentes ? Um Estudo de Caso com a Teoria das Inteligências Múltiplas; 2007; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Estadual de Mato Grosso do Sul, Programa Institucional de Bolsas de Iniciação Científica; Orientador: Raquel Marcia Müller;

Djones Vinicius Lettnin

UMA NOVA ABORDAGEM PARA GERAÇÃO AUTOMÁTICA DE PROPRIEDADES PARA VERIFICAÇÃO FORMAL DE SISTEMAS DIGITAIS EM HDL; 2013; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Djones Vinicius Lettnin;

Hugo Marcondes

vConf: Software de Vídeo Conferência Corporativa; 2012; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Hugo Marcondes;

Nilton Cézar de Paula

Simulação de Detecção de Colisão entre Veículos; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Estadual de Mato Grosso do Sul; Orientador: Nilton Cézar de Paula;

Fabrício Sérgio de Paula

Estágio em Ciência da Computação; 2009; Orientação de outra natureza - Universidade Federal da Grande Dourados; Orientador: Fabrício Sérgio de Paula;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • SILVA, W. G. ; BEZERRA, E. A. ; WINTERHOLER, M. ; LETTNIN, D. J. . Automatic property generation for formal verification applied to HDL-based design of an on-board computer for space applications. In: Latin American Test Workshop, 2013, Cordoba. 2013 14th Latin American Test Workshop - LATW. Los Alamitos, CA, USA: IEEE Computer Society, 2013.

  • SILVA, W. G. ; WINTERHOLER, M. ; BEZERRA, E. A. ; LETTNIN, D. J. . Automatic property generation for formal verification applied to HDL-based design of an on-board computer for space applications. 2013. (Apresentação de Trabalho/Conferência ou palestra).

  • SILVA, W. G. ; MATOS, R. ; LETTNIN, D. J. ; BEZERRA, E. A. . Semi-automatic Property Generation for the Formal Verification os a Satellite On-board System. 2012. (Apresentação de Trabalho/Conferência ou palestra).

  • SILVA, W. G. . Pesquisa e Desenvolvimento de Agentes Inteligentes - Um Estudo de Caso com a Teoria das Inteligências Múltiplas. 2008. (Apresentação de Trabalho/Conferência ou palestra).

Histórico profissional

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2012 - Atual

    Khomp Indústria e Comércio

    Vínculo: Colaborator, Enquadramento Funcional: Pesquisa e Desenvolvimento, Carga horária: 40, Regime: Dedicação exclusiva.

    Outras informações:
    Trabalho no desenvolvimento de software de baixo e alto nível de sistemas telefônicos e também realizo atividades de integração de software e hardware em ambiente Linux. Desde de o ano de 2015 desempenho o papel de líder de projeto.

  • 2012 - 2012

    Universidade Federal de Santa Catarina

    Vínculo: Bolsista, Enquadramento Funcional: Integrador de linux embarcado, Carga horária: 30

    Outras informações:
    Integração de Linux em SoC para o Sistema Brasileiro de TV Digital em uma parceria UFSC/UFRGS. Trabalho realizado no Laboratório de Integração de Software e Hardware/UFSC.

  • 2011 - 2011

    Universidade Federal de Santa Catarina

    Vínculo: Bolsista, Enquadramento Funcional: Análise e desenvolvimento de sistema, Carga horária: 20

    Outras informações:
    Desenvolvimento de um sistema de conferência corporativa. O trabalho foi realizado no Laboratório de Integração de Software e Hardware/UFSC em cooperação com a empresa Intebras.

  • 2010 - 2011

    Ahgora Sistemas Ltda

    Vínculo: Formal labor contract, Enquadramento Funcional: Embedded System Developer, Carga horária: 20