::
MC01 - Métodos Computacionais em Problemas Inversos na Pesquisa Espacial ::
Dr. Haroldo Fraga Campos Velho
(
haroldo)
Possui graduação em Engenharia Química pela Pontifícia Universidade Católica do Rio Grande do Sul (1983), mestrado em
Engenharia Mecânica pela Universidade Federal do Rio Grande do
Sul (1988) e doutorado em Engenharia Mecânica pela Universidade
Federal do Rio Grande do Sul (1992). Atualmente é consultor da
FAPERGS,FAPDF, FAPESP, assessor 'ad hoc' do CNPq e CAPES.
Pesquisador titular do Instituto Nacional de Pesquisas Espaciais. Tem
experiência na área de Matemática Aplicada e Computação
Científica, atuando principalmente nos seguintes temas: problemas
inversos, assimilação de dados, modelos de turbulência para
atmosfera, redes neurais artificiais, métodos numéricos
::
MC02 - Verificação Formal de Software ::
Dr. Valdivino Alexandre de Santiago Júnior
(
valdivino.santiago)
Graduado em Engenharia Elétrica pela Universidade Federal do Ceará (1996). É mestre em Engenharia Elétrica pela Universidade Federal do Ceará (1999). É Doutor pelo curso de Pós-Graduação em Computação Aplicada (2011) do Instituto Nacional de Pesquisas Espaciais (INPE). Ocupa, também, o cargo de tecnologista senior no INPE. Trabalha em desenvolvimento de satélites científicos e projetos de balões estratosféricos desde 1995. Tem experiência nas áreas de Engenharia e Ciência da Computação com ênfase em Desenvolvimento de Software para Aplicações Espaciais, Verificação e Validação de Software para Sistemas Embarcados Críticos, Programação Paralela/Distribuída, e Sistemas de Aquisição de Dados.
::
MC03 - Análise Computacional de Séries Temporais em Ciências Ambientais e Espaciais ::
::
MC06 - Tópicos de Cosmologia Computacional
Dr. Reinaldo R. Rosa
(
reinaldo)
Graduado em Física e Astronomia pela UFRJ e doutor em Ciência Espacial pelo INPE, com pesquisa realizada na Universidade de Maryland, EUA (bolsa SW-CNPq), é pesquisador titular do LAC-INPE e Bolsista de Produtividade em Pesquisa do CNPq - Nível 2. Realizou pós-doutoramento em Física de Plasmas Não-Lineares na Universidade de Nagoya, Japão.
::
MC03 - Análise Computacional de Séries Temporais em Ciências Ambientais e Espaciais ::
Dr. Fernando M. Ramos
(
fernando.ramos)
Possui graduação em Engenharia Mecânica-Aeronáutica pelo Instituto Tecnológico de Aeronáutica (1981), mestrado em Ciências Espaciais pelo Instituto Nacional de Pesquisas Espaciais (1986) e doutorado em Mecanica dos Fluidos - Ecole Nationale Superieure de L'aeronautique Et de L'espace (1992). Atualmente é pesquisador titular do Instituto Nacional de Pesquisas Espaciais. Tem experiência na área de Engenharia Mecânica, com ênfase em Transferência de Calor, atuando principalmente nos seguintes temas: problemas inversos, regularização, complexidade, turbulência e satélites artificiais.
::
MC04 - Tópicos em Fenômenos de Transporte: Teoria, Simulação e Aplicações em Tecnologia Espacial ::
Dr. Jerônimo S. Travelho
(
jeff)
Graduado em Física pela Universidade de São Paulo e doutor em Engenharia Espacial pelo Georgia Institute of Technology, é Pesquisador Titular do LAC-INPE.
::
MC05 - Introdução à Modelagem Markoviana e sua Aplicação em Ciência Espacial ::
Dr. Solon Venâncio de Carvalho(
solon)
Graduado em Engenharia Mecânica-Aeronáutica pelo ITA (1982); Mestre em Análise de Sistemas e Aplicações pelo INPE (1987) e Doutor em Automatique - Produtique pela Universite de Toulouse III (Paul Sabatier) (1991) . Atualmente é Pesquisador Titular do LAC-INPE. Atua na área de Pesquisa Operacional.