Salvador Ramos Bernardino da Silva

Possui graduação em Estatística Ênfase Informática pela Universidade Católica de Pernambuco, especialização em Desenvolvimento de Sistemas, pela Universidade Federal do Amazonas e mestrado em Engenharia Elétrica, área de concentração Sistemas Digitais, pela Universidade de São Paulo. Tem experiência na área de Ciência da Computação, com ênfase em Linguagens Formais e Lógica Matemática, atuando principalmente nos seguintes temas: compiladores, fundamentos matemáticos da computação, lógica matamática.

Informações coletadas do Lattes em 26/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Mestrado em Engenharia Elétrica

2008 - 2011

Universidade de São Paulo
Título: Software adaptativo: método de projeto, representação gráfica e implementação de linguagem de programação,Ano de Obtenção: 2011
João José Neto.Palavras-chave: Linguagens de programação; Adaptatividade; Compiladores.Grande área: Ciências Exatas e da Terra

Especialização interrompida em 1999 em Especialização em Teleinformática

1998 - Interrompido

Universidade Federal do Amazonas
Título: Não Houve
Ano de interrupção: 1999

Especialização em Desenvolvimento de Sistemas

1997 - 1999

Universidade Federal do Amazonas
Título: Não Houve

Graduação em Estatística Ênfase Informática

1980 - 1986

Universidade Católica de Pernambuco

Seção coletada automaticamente pelo Escavador

Formação complementar

2012 - 2012

Introdução à Tutoria em Educação a Distância. (Carga horária: 40h). , Instituto Legislativo Brasileiro, ILB, Brasil.

2002 - 2002

2152 2267 Supporting Microsoft Windows 2000 Profes. (Carga horária: 40h). , C S H Informática, CSH, Brasil.

2002 - 2002

2151 2266 Microsoft Windows 2000 Network And Opera. (Carga horária: 24h). , C S H Informática, CSH, Brasil.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

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

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: Compiladores.

    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: 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: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

Seção coletada automaticamente pelo Escavador

Participação em eventos

II Encontro de Coordenadores de Curso da UEA. 2019. (Encontro).

IV Escola Regional de Informática da Região Norte I. 2017. (Encontro).

VII Fórum Nacinal de Coordenadores UAB. 2014. (Outra).

I Congresso Internacional de B Learning: Tecnol. p/ Educação 2.0. 2013. (Congresso).

II Seminário para Internalização de Competências em EAD. 2013. (Seminário).

X Congresso Brasileiro de Educação Superior a Distância - X ESUD. 2013. (Congresso).

Seminário Internacional de Educação a Distância. 2012. (Seminário).

VI Fórum Nacional de Coordenadores UAB. 2012. (Outra).

II Escola Regional de Informática.Adaptatividade e programação de software adaptativo.. 2010. (Outra).

Quarto Workshop de Tecnologias Adaptativas.Proposta de uma linguagem de alto nível básica para a codificação de softwares automodificáveis. 2010. (Outra).

XVI Congreso Argentino de Ciencias de la Computación. Um método para a programação de software adaptativo. 2010. (Congresso).

I Escola Regional de Informática. 2009. (Outra).

1o. Forum Amazônico de TV Digital.Forum Amazonico de TV Digital. 2005. (Outra).

V semana de informática da Universidade Federal do Amazonas. 1999. (Encontro).

12a Feira e Congresso Internacional do Software, Hardware e Serviços de Informática e Telecomunicações. Congresso FENASOFT. 1998. (Congresso).

1º Seminário Internacional de Engenharia de Software.I Seminário Internacional de Engenharia de Software. 1998. (Seminário).

IV Semana de Informática da Universidade do Amazonas. 1997. (Encontro).

Josnada Nordeste de Informática.Jornada Nordeste de Informática. 1994. (Simpósio).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Cristiano Constantino dos Santos

SILVA, Salvador Ramos Bernardino da. Arquitetura de Software de Comunicações (SCA). 2007. Monografia (Aperfeiçoamento/Especialização em Sistemas Móveis e Convergentes em Telefonia Celula) - Universidade do Estado do Amazonas.

Aluno: Jhonny Frits Oliveira da Silva

SILVA, Salvador Ramos Bernardino da. Relatório de prática de experiência profissional área de atuação no desenvolvimento do sistema de agendamento do laboratório de informática do Centro de Estudos Superiores de Lábrea. 2010. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Análise e Desenvolvimento do Sistema) - Universidade do Estado do Amazonas.

Aluno: Elane da Silva Sipriano

SILVA, Salvador Ramos Bernardino da. Relatório de prática de experiência profissional área de atuação em inserção de dados no sistema MIRA - na instituição SENAC do município de Manacapuru. 2010. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Análise e Desenvolvimento do Sistema) - Universidade do Estado do Amazonas.

Aluno: Cézar Conceição Passos

SILVA, Salvador Ramos Bernardino da. Relatório de prática de experiência profissional área de atuação em inserção de dados / análise de sistemas. 2010. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Análise e Desenvolvimento de Sistema) - Universidade do Estado do Amazonas.

Aluno: Francilan Souza dos Santos

SILVA, Salvador Ramos Bernardino da. Relatório de prática de experiência profissional área de atuação em manutenção de hardware, atualização de serviço WEB e proposta de melhorias em rede de computadores. 2010. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Análise e Desenvolvimento de Sistema) - Universidade do Estado do Amazonas.

Aluno: Gilian Reles de Brito

SILVA, Salvador Ramos Bernardino da. Relatório de prática de experiência profissional área de atuação em manutenção em redes de computadores. 2010. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Análise e Desenvolvimento do Sistema) - Universidade do Estado do Amazonas.

Aluno: Janaína Cristina Melo Cavalcante

SILVA, Salvador Ramos Bernardino da. Relatório de prática de experiência profissional área de atuação em instalação de software, rede de computadores, manutenção em computadores e projeto do sistema de solicitação de serviços de informática. 2010. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Análise e Desenvolvimento do Sistema) - Universidade do Estado do Amazonas.

Aluno: ELIZANGELA DA CONCEIÇÃO

SILVA, Salvador Ramos Bernardino da. Relatório de prática de experiência profissional área de atuação em manutenção em projeto de melhoria da rede de computadores da SEMS/PF. 2010. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Análise e Desenvolvimento de Sistema) - Universidade do Estado do Amazonas.

Aluno: Adilson dos Reis

SILVA, Salvador Ramos Bernardino da. Automação da editoração de cartas topográficas em banco de dados geográfico orientado a objetos Gothic com o esquema da ET-EDGV 2.0. 2009. Trabalho de Conclusão de Curso (Graduação em Tecnologia Em Processamento de Dados) - Universidade do Estado do Amazonas.

Aluno: Raphael Augusto Pinto de Mattos

SILVA, Salvador Ramos Bernardino da. Análise da usabilidade de dispositivos móveis usando comparação de ensaios experimentais. 2009. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Estado do Amazonas.

Aluno: Jacilane de Holanda Rabelo

SILVA, Salvador Ramos Bernardino da. SISPROFIN - Uma ferramenta para gerenciamento de trabalho de conclusão de curso. 2009. Trabalho de Conclusão de Curso (Graduação em Tecnologia Em Processamento de Dados) - Universidade do Estado do Amazonas.

Aluno: Romildo Pereira Epifânio Júnior

SILVA, Salvador Ramos Bernardino da. Algoritmos paralelos como técnica de diminuição do consumo de energia - Quicksort e cálculo do PI. 2008. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Estado do Amazonas.

Aluno: Osvaldo Tavares V Júnior

SILVA, Salvador Ramos Bernardino da. Sistema de vigilância usando webcam em uma rede de computadores. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Estado do Amazonas.

Aluno: Osvaldo Tavares Viana Júnior

SILVA, Salvador Ramos Bernardino da. Sistema de vigilância, usando Webcam em uma rede de computadores. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Estado do Amazonas.

Aluno: Hélder de Oliveira Pinto

SILVA, Salvador Ramos Bernardino da. Corrida Maluca: protótipo de um jogo educativo para auxiliar o processo ensino aprendizagam. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Estado do Amazonas.

Aluno: Patricia de Vasconcelos Félix

SILVA, Salvador Ramos Bernardino da. Uso do método para concepção de interfaces ergonômicas em portais WEB. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Estado do Amazonas.

Aluno: Bruna Carla Guedes Paulino

SILVA, Salvador Ramos Bernardino da. Modelagem de um protótipo de um ambiente colaborativo de aprendizagem. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Estado do Amazonas.

Aluno: Hélder de Oliveira Pinto

SILVA, Salvador Ramos Bernardino da. Corrida Maluca: protótipo de um jogo educativo para auxiliar o processo de ensino-aprendizagem. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Estado do Amazonas.

Aluno: Marcelo Albuquerque dos Santos

SILVA, Salvador Ramos Bernardino da. Sistema de controle e gerenciamento eletrônico de documentos: SCOGED. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Estado do Amazonas.

Aluno: Ricardo de Souza Costa

SILVA, Salvador Ramos Bernardino da. DYNAMIC HOUSE. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Estado do Amazonas.

Aluno: Eliane Figueirêdo Collins

SILVA, Salvador Ramos Bernardino da. Um agente para teste de software embarcado em plataformas móveis. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Estado do Amazonas.

Aluno: Leomar Inez Lahan Furtado Belém

SILVA, Salvador Ramos Bernardino da. Automatização de Equipamento Laboratorial Histotécnico. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Estado do Amazonas.

Aluno: Itelvina Silva de Oliveira

SILVA, Salvador Ramos Bernardino da. Estudo da Tecnologia de Segurança em redes baseada em Honeypots e Honeynets. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade do Estado do Amazonas.

Aluno: Daniela Vieira Passos

SILVA, Salvador Ramos Bernardino da; AZEVEDO, Manoel Santos; NOGUEIRA, Amarília Silva. TECNOLOGIAS WEB. 2002. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto de Tecnologia da Amazônia.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Ricardo Luis de Azevedo da Rocha

JOSÉ NETO, JoãoROCHA, R. L. A.; CASTRO JÚNIOR, A. A.. Software adaptativo: Método de projeto, representação gráfica e implementação de linguagem de programação. 2011. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

AMAURY ANTONIO DE CASTRO JUNIOR

CASTRO JR., A. A.NETO, J. J.; ROCHA, R. L. A.. Software Adaptativo: Método de Projeto, Representação Gráfica e Implementação de Linguagem de Programação. 2011. Dissertação (Mestrado em Programa de Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

Seção coletada automaticamente pelo Escavador

Orientou

Lia Alessandra da Silva Martins

Dominó Adaptativo; 2012; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade do Estado do Amazonas; Orientador: Salvador Ramos Bernardino da Silva;

Agretes Soares do Nascimento

Controle de estoque de material odontológico da Secretaria Municipl de Saúde; 2011; Trabalho de Conclusão de Curso; (Graduação em Tecnologia em Análise e Desenvolvimento de Sistema) - Universidade do Estado do Amazonas; Orientador: Salvador Ramos Bernardino da Silva;

ANAILSON BRANDÃO DE SOUZA

Sistema de controle de assentamento do INCRA do Município dde Boca do Acre; 2011; Trabalho de Conclusão de Curso; (Graduação em Tecnologia em Análise e Desenvolvimento de Sistema) - Universidade do Estado do Amazonas; Orientador: Salvador Ramos Bernardino da Silva;

ANTONIA DA SILVA GOMES

Sistema de gerenciamento de livros para a biblioteca da UEA em Boca do Acre; 2011; Trabalho de Conclusão de Curso; (Graduação em Tecnologia em Análise e Desenvolvimento de Sistema) - Universidade do Estado do Amazonas; Orientador: Salvador Ramos Bernardino da Silva;

Ducicleide Andrade do Nascimento

Sistema de armazenamento de dados de paciente na Unidade Básica de Saúde (UBS); 2011; Trabalho de Conclusão de Curso; (Graduação em Tecnologia em Análise e Desenvolvimento de Sistema) - Universidade do Estado do Amazonas; Orientador: Salvador Ramos Bernardino da Silva;

jElviscley Almeida de Noronha

Sistema biométrico - biometria sistema para autenticação de impressão digital utilizando o cenário de navegação de Boca do Acre; 2011; Trabalho de Conclusão de Curso; (Graduação em Tecnologia em Análise e Desenvolvimento de Sistema) - Universidade do Estado do Amazonas; Orientador: Salvador Ramos Bernardino da Silva;

Evaldo da Silva Matos

Sistema de gerenciamento de ficha funcional do efetivo da 5a; Companhia Independente de Po; ícia Militar - 5a; CIPM; 2011; Trabalho de Conclusão de Curso; (Graduação em Tecnologia em Análise e Desenvolvimento de Sistema) - Universidade do Estado do Amazonas; Orientador: Salvador Ramos Bernardino da Silva;

José Ribamar Paiva da Silva

Sistema de gerenciamento de consultório odontológico no Município de Boca do Acre; 2011; Trabalho de Conclusão de Curso; (Graduação em Tecnologia em Análise e Desenvolvimento de Sistema) - Universidade do Estado do Amazonas; Orientador: Salvador Ramos Bernardino da Silva;

Kelly da Costa Barbosa

Sistema de controle e administração de igrejas evangélicas; 2011; Trabalho de Conclusão de Curso; (Graduação em Tecnologia em Análise e Desenvolvimento de Sistema) - Universidade do Estado do Amazonas; Orientador: Salvador Ramos Bernardino da Silva;

Lisa de Araújo Ribeiro

Software Livre e Gratuito como Alternativa para Inclusão Digital em Massa; 2005; 0 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade do Estado do Amazonas; Orientador: Salvador Ramos Bernardino da Silva;

Seção coletada automaticamente pelo Escavador

Foi orientado por

João José Neto

SOFTWARE ADAPTATIVO: MÉTODO DE PROJETO, REPRESENTAÇÃO GRÁFICA E IMPLEMENTAÇÃO DE LINGUAGEM DE PROGRAMAÇÃO; 2011; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: João José Neto;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • RAMOS BERNARDINO DA SILVA, SALVADOR ; JOSE NETO, JOAO . Proposal of a High-Level Language for Writing Self Modifying Programs. Revista IEEE América Latina , v. 9, p. 192-198, 2011.

  • RAMOS BERNARDINO DA SILVA, SALVADOR . Projeto e implementação de uma linguagem de programação adaptativa. 1. ed. Starbrücken: OmniScriptum GmbH & Co. KG, 2014. v. 1. 98p .

  • PONTES, D. P. N. ; SILVA, Salvador Ramos Bernardino da ; VALENTE, D. G. . Laboratório de estrutura de dados I. 1. ed. Manaus: Universidade do Estado do Amazonas, 2008. v. 1. 143p .

  • SILVA, Salvador Ramos Bernardino da . Lógica para Computação. 1. ed. Manaus: UEA Edições, 2007. v. 1. 114p .

  • SILVA, Salvador Ramos Bernardino da ; NETO, J. J. . Um método para programação de Software Adaptativo. In: Congreso Argentino de Ciencia de la Computación - CACIC 2010, 2010, Buenos Aires. Anais do CACIC 2010, 2010.

  • SILVA, Salvador Ramos Bernardino da ; NETO, J. J. . Adaptatividade e programação de software adaptativo.. In: II Escola REgional de Informática - ERIN, 2010, Manaus. Anais do Ii ERIN, 2010.

  • SILVA, Salvador Ramos Bernardino da . Sistemas de Informações Geográficas. 2001. (Apresentação de Trabalho/Conferência ou palestra).

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade do Estado do Amazonas, ESCOLA SUPERIOR DE TECNOLOGIA. , Avenida Darcy Vargas, Chapada, 69050020 - Manaus, AM - Brasil, Telefone: (92) 38784301

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2014 - Atual

    Universidade do Estado do Amazonas

    Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 40

  • 2012 - 2014

    Universidade do Estado do Amazonas

    Vínculo: Comissionado, Enquadramento Funcional: Coordenador da Universidade Aberta do Brasil, Carga horária: 40

  • 2013 - 2013

    Universidade do Estado do Amazonas

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

  • 2013 - 2013

    Universidade do Estado do Amazonas

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

  • 2002 - 2012

    Universidade do Estado do Amazonas

    Vínculo: Professor temporário, Enquadramento Funcional: Professor, Carga horária: 40

    Atividades

    • 01/2018

      Direção e administração, ESCOLA SUPERIOR DE TECNOLOGIA, .,Cargo ou função, Coordenador Pedagógico do Curso de Engenharia de Computação.

    • 07/2017

      Conselhos, Comissões e Consultoria, ESCOLA SUPERIOR DE TECNOLOGIA, .,Cargo ou função, Membro do Comitê interno de Iniciação Científica, Port 431/2017-GR-UEA de 28/06/2017.

    • 07/2014

      Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Cálculo Numérico, Compiladores, Fundamentos de engenharia de Computação I, Linguagem de Programação I, Lógica para computação, Matemática Discreta, Paradigmas de Linguagens de Programação

    • 09/2013 - 12/2013

      Ensino, Licenciatura em Informática, Nível: Graduação,Disciplinas ministradas, Multimídia na Educação

    • 03/2013 - 06/2013

      Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Linguagem de Programação I

    • 08/2002 - 06/2012

      Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Aspectos Teóricos da Computação, Cálculo Numérico, Compiladores, Fundamentos De Engenharia da Computação I, Fundamentos de Engenharia da Computação II, Introdução à Computação para Engenharia, Linguagem de Programação I, Linguagem de Programação II, Paradigmas de Linguagens de Programação, Lógica para computação, Trabalho de Conclusão de curso II, Gestão de Projetos, Laboratório de Estruturas de Dados I, Trabalho de Conclusão de Cursos I, Inteligência Artificial, Informática

  • 2000 - 2002

    Instituto de Tecnologia da Amazônia

    Vínculo: Professor temporário, Enquadramento Funcional: Professor, Carga horária: 40

    Atividades

    • 08/2000 - 08/2002

      Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Análise de Algoritmos II, Caomputação Básica, Computação Aplicada, Estruturas de Dados, Introdução à Lógica Matemática, Projeto de sistemas, Sistemas Operacionais

  • 2012 - 2012

    Centro Universitário do Norte

    Vínculo: Horista, Enquadramento Funcional: Professor de Ensino Superior, Carga horária: 16

  • 2006 - 2007

    Centro Universitário do Norte

    Vínculo: Celetista, Enquadramento Funcional: Professor de ensino superior, Carga horária: 16

    Atividades

    • 07/2012 - 12/2012

      Ensino, Engenharia Mecânica, Nível: Graduação,Disciplinas ministradas, Cálculo Numérico, Computação Aplicada à Engenharia

    • 03/2006 - 07/2007

      Ensino, Tecnologia em Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Cálculo Numérico, Matemática Aplicada

  • 2008 - 2008

    Universidade Estadual de Roraima

    Vínculo: Professor Visitante, Enquadramento Funcional: Conveniado, Carga horária: 12

    Atividades

    • 04/2008 - 11/2008

      Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Estruturas de Dados