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 como gestor de produto no mercado de telecomunicações na empresa Khomp Indústria e Comércio.

Informações coletadas do Lattes em 03/07/2024

Acadêmico

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

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.

Idiomas

Inglês

Compreende Bem, 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.

Á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.

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).

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

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.

2018 - Atual

Universidade do Estado de Santa Catarina

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Substituto, Carga horária: 4

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