César Vieira Rocha

Possui ensino-fundamental-primeiro-graupelo Centro de Ensino Integrado Anglo(2000) e ensino-medio-segundo-graupela Escola Estadual Professor Francisco das Chagas Albuquerque(2003). Atualmente é Bolsista-PIBIC-CNPq da Universidade Federal do Amazonas. Tem experiência na área de Física, com ênfase em Física Geral.

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

Acadêmico

Formação acadêmica

Graduação em andamento em Física

2006 - Atual

Universidade Federal do Amazonas

Graduação em andamento em Engenharia da Computação

2005 - Atual

Universidade Federal do Amazonas

Ensino Médio (2º grau)

2001 - 2003

Escola Estadual Professor Francisco das Chagas Albuquerque

Ensino Fundamental (1º grau)

1991 - 2000

Centro de Ensino Integrado Anglo

Formação complementar

2008 - 2008

Orientação a Objetos. (Carga horária: 20h). , Centro de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e da Informaç.

2008 - 2008

Java Básico. (Carga horária: 20h). , Centro de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e da Informaç.

2008 - 2008

Programação C. (Carga horária: 20h). , Centro de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e da Informaç.

2008 - 2008

Algoritmo e Estruturas de Dados. (Carga horária: 20h). , Centro de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e da Informaç.

2008 - 2008

Java Avançado. (Carga horária: 30h). , Centro de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e da Informaç.

2008 - 2008

Programação C++. (Carga horária: 40h). , Centro de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e da Informaç.

2008 - 2008

Engenharia de Software. (Carga horária: 30h). , Centro de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e da Informaç.

2008 - 2008

Sistemas Operacionais e Linux. (Carga horária: 40h). , Centro de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e da Informaç.

2008 - 2008

Programação para Sistemas Embarcados. (Carga horária: 30h). , Centro de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e da Informaç.

2008 - 2008

J2ME. (Carga horária: 20h). , Centro de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e da Informaç.

2008 - 2008

Fundamentos de TV Digital. (Carga horária: 30h). , Centro de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e da Informaç.

2008 - 2008

Multiplexação. (Carga horária: 20h). , Centro de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e da Informaç.

2008 - 2008

Middleware Ginga. (Carga horária: 30h). , Centro de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e da Informaç.

2008 - 2008

XML Aplicado. (Carga horária: 20h). , Centro de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e da Informaç.

2008 - 2008

API JavaTV. (Carga horária: 30h). , Centro de Pesquisa e Desenvolvimento de Tecnologia Eletrônica e da Informaç.

2006 - 2006

Caos: Noções e Aplicações. (Carga horária: 7h). , 58ª Reunião Anual da SBPC - Semeando Interdisciplinaridade.

2006 - 2006

Nanociência e Nanotecnologia. (Carga horária: 7h). , 58ª Reunião Anual da SBPC - Semeando Interdisciplinaridade.

2005 - 2005

Computação Quântica. (Carga horária: 8h). , Simpósio Einstein: 100 anos de relatividade.

2003 - 2003

Montagem e Manutenção de Microcomputador. (Carga horária: 12h). , Centro Especializado e Métodos Práticos.

2003 - 2003

Configuração e Instalação de Programas. (Carga horária: 12h). , Centro Especializado e Métodos Práticos.

Idiomas

Inglês

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Física / Subárea: Física Geral/Especialidade: Ensino de Física.

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

Participação em eventos

60ª Reunião Anual da SBPC. Geração automática de MUTANTES baseada na especificação para a construção de casos de testes em sistemas embarcados. 2008. (Congresso).

MSP430 Day 2008. 2008. (Seminário).

IV Feira Internacional da Amazônia.Geração automática de mutantes baseada na especificação para a construção de testes em sistemas embarcados. 2008. (Outra).

IV Encontro de Software Livre do Amazonas. 2007. (Encontro).

XVI Jornada de Iniciação Científica.Construção de um modelo de ciclo de carbono terrestre e sua aplicação a potenciais cenários para a Amazônia. 2007. (Encontro).

III Semana da Casa da Física.Monitoria. 2007. (Encontro).

IV Semana Nacional de Ciência e Tecnologia.Uma introdução a modelagem climática. 2007. (Outra).

58ª Reunião Anual da SBPC. 2006. (Congresso).

I Seminário de Valorização do Profissional do Pólo Industrial de Manaus - PIM. 2006. (Seminário).

Palestra: Nanotecnologia e Nanodispositivos. 2006. (Seminário).

BIOMAT - International Symposium on Mathematical and Computational Biology. 2006. (Simpósio).

II Semana da Casa da Física - Porque estudar Física!?.Física para Ensino Médio. 2006. (Encontro).

II Mostra Interinstitucional de Extensão.Estação Ciência Casa da Física. 2006. (Encontro).

III Semana Nacional de Ciência e Tecnologia.Modelo demonstrativo da aerodinâmica da asa do avião. 2006. (Outra).

V Reunião Regional da SBPC - AM. 2005. (Congresso).

Simpósio Einstein - 100 anos de Relatividade. 2005. (Simpósio).

I Semana da Casa da Física - Em que os físicos trabalham?.Física para Ensino Médio. 2005. (Encontro).

II Semana Nacional de Ciência e Tecnologia.Física Experimental. 2005. (Outra).

Produções bibliográficas

ROCHA, C. V. ; CANDIDO, L. A. . Construção de um modelo de ciclo de carbono terrestre e sua aplicação a potenciais cenários para a Amazônia. In: XVI Jornada de Iniciação Científica, 2007, Manaus. As mudanças climáticas e o futuro da Amazônia. Manaus: INPA, 2007. v. 1. p. 29-526.
ROCHA, C. V. ; Barreto, R.S. . Geração automática de MUTANTES baseada na especificação para a construção de casos de testes em sistemas embarcados. In: 60ª Reunião Anual da SBPC, 2008, Campinas. RESUMOS DE COMUNICAÇÕES LIVRES, 2008.
ROCHA, C. V. ; Barreto, R.S. . Geração automática de "mutantes" baseada na especificação para a construção de casos de testes em sistemas embarcados. 2008. (Apresentação de Trabalho/Congresso).
ROCHA, C. V. ; CANDIDO, L. A. . Construção de um modelo de ciclo de carbono terrestre e sua aplicação a potenciais cenários para a Amazônia. 2007. (Apresentação de Trabalho/Comunicação).

Projetos de pesquisa

2007 - 2008

Geração de testes para sistemas embarcados de tempo real utilizando Verificação de Modelos (Model Checking), Descrição: Geração de testes para sistemas embarcados de tempo real utilizando de especificações definidas. O uso de especificação formal no processo de desenvolvimento do software é para conseguir precisão e poder utilizar provas matemáticas para demonstrações. A abordagem escolhida é a utilização de "Mutantes" que é a geração de testes através de um modelo com erro forçado para verificar através de seu contra-exemplo uma possível correção.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: César Vieira Rocha - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 2
2006 - 2007

Construção de um modelo de ciclo de carbono terrestre e sua aplicação a potenciais cenários ambientais para a Amazônia, Descrição: Modelagem do ciclo de carbono global e analise temporal dos resultados obtidos, fazendo estudos dos vários fluxos envolvidos e realizando experimentos como aumento ou diminuição da concentração de carbono desses fluxos sendo possivel observar o impacto e a relação existente entre os fluxos, para entender melhor a real importância de cada fluxo e de ações antropogênicas no impacto climático global.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: César Vieira Rocha - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa no Estado do Amazonas - Bolsa., Número de produções C, T & A: 3

Prêmios

2008

Menção Honrosa, Instituto Nacional de Pesquisas da Amazônia.

Histórico profissional

Experiência profissional

2008 - 2008

Tribunal Regional Eleitoral do Amazonas

Vínculo: Colaborador, Enquadramento Funcional: Agente Tecnológico, Carga horária: 8

Atividades

05/2008 - 05/2008
Serviços técnicos especializados , Tribunal Regional Eleitoral do Amazonas, .,Serviço realizado, Atuei como Técnico de Transmissão de Dados durante as eleições. Transmitindo os votos para apuração..

2006 - 2007

Instituto Nacional de Pesquisas da Amazônia

Vínculo: Livre, Enquadramento Funcional: Bolsista-PIBIC-FAPEAM, Carga horária: 20

2004 - 2005

Universidade Federal do Amazonas

Vínculo: Livre, Enquadramento Funcional: Monitor, Carga horária: 4

Outras informações:
Professor de Física em Projeto de Extensão pela Universidade Federal do Amazonas Projeto: Casa da Física http://home.ufam.edu.br/~cdf/

Atividades

03/2008 - 07/2008
Outras atividades técnico-científicas , Departamento de Ciência da Computação, .,Atividade realizada, Monitor da disciplina Sistemas Operacionais..
05/2008 - 05/2008
Extensão universitária , Instituto de Ciências Exatas, Departamento de Física.,Atividade de extensão realizada, Colaboração voluntária na aplicação das provas da Olimpíada Brasileira de Astronomia e Astronáutica de 2008..
03/2007 - 07/2007
Extensão universitária , Departamento de Física, .,Atividade de extensão realizada, Título: A comunidade na Universidade.
08/2006 - 11/2006
Extensão universitária , Instituto de Ciências Exatas, Departamento de Física.,Atividade de extensão realizada, Colaboração voluntária na aplicação, correção das provas e distribuição dos resultados da Olimpíada Brasileira de Física de 2006..
04/2005 - 12/2005
Extensão universitária , Instituto de Ciências Exatas, Departamento de Física.,Atividade de extensão realizada, Título: Palestra de Física com Saúde e Cidadania. Esse projeto é a união de alunos do curso de Física, Medicina e Direito fazendo um ciclo de palestras para alunos de ensino médio, cada um dentro de sua área. Com o intuito de levar cada vez mais info.
04/2005 - 12/2005
Extensão universitária , Instituto de Ciências Exatas, Departamento de Física.,Atividade de extensão realizada, Título: Casa da Física. O projeto foi criado para a melhor preparação dos alunos de escolas públicas para a Olimpíada Brasileira de Física, o trabalho realizado são aulas de Física para a complementação do aprendizado da escola e tentar obter melhore.
09/2005 - 09/2005
Extensão universitária , Instituto de Ciências Exatas, Departamento de Física.,Atividade de extensão realizada, Colaboração voluntária como monitor na V Reunião Regional da SBPC. Meu ambiente Amazônico: Educação para Ciência, Tecnologia e Inovação..
04/2005 - 04/2005
Extensão universitária , Instituto de Ciências Exatas, Departamento de Física.,Atividade de extensão realizada, Colaboração voluntária como monitor no Simpósio Einstein: 100 anos de Relatividade..
08/2004 - 03/2005
Extensão universitária , Instituto de Ciências Exatas, Departamento de Física.,Atividade de extensão realizada, Título: Casa da Física. O projeto foi criado para a melhor preparação dos alunos de escolas públicas para a Olimpíada Brasileira de Física, o trabalho realizado são aulas de Física para a complementação do aprendizado da escola e tentar obter melhore.