Raimundo Williame Rocha de Melo

Possui gradução em Desenvolvimento de Software pela Uninorte em 2011, possui especialização em Engenharia de Software pela Uninorte 2016 e Mestrado em Engenharia Elétrica pela Universidade Federal do Amazonas (UFAM) em 2017. Atua há 9 anos com desenvolvimento de sistemas, foi desenvolvedor na Samsung Instituto de Desenvolvimento para Informática da Amazônia - SIDIA.Possui vasta experiência na área de Desenvolvimento e Análise de Sistemas C, Java, Delphi e C# utilizando-se de técnicas da engenharia de software bem como estrutura de dados. Ampla experiência nas plataformas desktop, web e mobile. Atuou em projetos de pesquisa na Fundação Desembargador Paulo Feitoza com aplicações voltadas para deficientes físicos, atuou no desenvolvimento de IDE voltada para a área de Telecomunicações. Foi líder técnico de Projetos de Pesquisa e Desenvolvimento da Samsung em Manaus em alinhamento à Lei de Informática. Mais especificamente atuando no departamento Samsung Research Brazil - SRBR, avaliando e propondo soluções técnicas em conjunto com times de desenvolvimento internos e externos. Atualmente, professor voluntário e pesquisador na Universidade do Estado do Amazonas.

Informações coletadas do Lattes em 25/10/2022

Acadêmico

Formação acadêmica

Mestrado em Engenharia Elétrica

2015 - 2017

Universidade Federal do Amazonas
Título: Verificação de Programas Embarcados ANSI C Baseada em Indução Matemática e Invariantes, Ano de Obtenção: 2017
Lucas Carvalho Cordeiro.Bolsista do(a): Fundação de Amparo à Pesquisa do Estados do Amazonas, FAPEAM, Brasil. Palavras-chave: Indução Matemática; Depthk; PAGAI; PIPS; Verificação de Sistemas; Métodos Formais.

Especialização em Engenharia de Software com Ênfase em Desenvolvimen

2013 - 2015

Centro Universitário do Norte
Título: Comparativo de Ferramentas para Banco de Dados para Sistemas Web: Um Estudo de Caso para Criação de Site Turístico
Orientador: Orlewilson Bentes Maia

Graduação em Tecnologia em Desenvolvimento de Software

2007 - 2011

Centro Universitário do Norte
Título: Sistema de Comparação de Kits de Montagem ? SCKM
Orientador: Luiz Wanderley Nagata Balduino

Curso técnico/profissionalizante

2007 - 2008

Fundação Centro de Análise Pesquisa e Inovação Tecnológica

Formação complementar

2005 - 2006

Programador de Sistemas. (Carga horária: 1600h). , Senai - Serviço Nacional de Aprendizagem Industrial, SENAI, Brasil.

Idiomas

Bandeira representando o idioma Inglês

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

Áreas de atuação

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

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Desenvolvimento de Sistemas Web.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Desenvolvimento de Sistemas Mobile.

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.

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.

Produções bibliográficas

  • Rocha, Williame ; Ismail, Hussama ; Cordeiro, Lucas ; Fischer, Bernd . DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs. Lecture Notes in Computer Science. 0ed.: Springer Berlin Heidelberg, 2017, v. 10206, p. 360-364.

Histórico profissional

Experiência profissional

2008 - 2010

Fundação Desembargador Paulo do Anjos Feitoza

Vínculo: Colaborador, Enquadramento Funcional: Programador de Sistemas, Carga horária: 44, Regime: Dedicação exclusiva.

2010 - 2013

Brasil Norte Bebidas

Vínculo: Celetista, Enquadramento Funcional: Analista de Sistema, Carga horária: 44, Regime: Dedicação exclusiva.

2013 - 2015

Samsung SIDIA

Vínculo: Celetista, Enquadramento Funcional: Desenvolvedor, Carga horária: 44, Regime: Dedicação exclusiva.

2016 - 2017

Systemax Desenvolvimento de Sistemas

Vínculo: Celetista, Enquadramento Funcional: Desenvolvedor Especialista, Carga horária: 44

2017 - Atual

Samsung Eletronica da Amazonia

Vínculo: Celetista, Enquadramento Funcional: Líder Técnico, Carga horária: 44

2021 - Atual

Universidade do Estado do Amazonas

Vínculo: Professor Visitante, Enquadramento Funcional: Voluntário, Carga horária: 20

Atividades

  • 01/2021

    Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, TCC 2

  • 01/2021

    Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Introdução a Sistemas de Informação