Main
Curriculum Vitae
Links
Contact
Cool - Travels
CamEcol

LINKS
DCTA
INPE
CNPq
CAPES

Curriculum Vitae

Histórico Profissional

  • 08/2004 - atual - Departamento de Ciência e Tecnologia Aeroespacial/Divisão de Eletrônica (DCTA/IAE)
    - Assistente de Pesquisa;
  • 04/1996 - 02/1999 - Instituto Nacional de Pesquisas Espaciais/Laboratório Associado de Sensores e Materiais, Laboratório  Associado de Computação e Matemática Aplicada (INPE/LAS,LAC)
    - Bolsista de Iniciação Científica (PIBIC/CNPq/INPE)
    Título do Projeto: Simulação Numérica e Visualização Gráfica de Crescimento de Macrocristais.
     

Formação Acadêmica

  • 2001 - Mestrado em Computação Aplicada
    Instituto Nacional de Pesquisas Espaciais (INPE), São José dos Campos - SP
    Título da Dissertação: Simulação Numérica Bidimensional de Crescimento de Ligas Binárias Utilizando Processamento Paralelo;
  • 1999 - Graduação em Computação Científica
    Universidade de Taubaté (UNITAU), Taubaté - SP.
     

Idiomas

  • Inglês: leitura fluente, escrita e conversação nível intermediário.
     

Informações Adicionais

  • Sistemas Operacionais: Windows, Linux e Unix. Domínio dos principais aplicativos e noções de configuração e administração desses ambientes;
  • Sistemas Operacionais de Tempo Real: VxWorks e QNX;
  • Linguagens de Programação: C, C++, Fortran77, Fortran90 e Interactive Data Language (IDL);
  • Simulação numérica e computacional.
     

Disciplinas de Pós-Graduação

  • Disciplina Cursada na Pós-Graduação - 2004
    - Introdução à Tecnologia de Foguetes.
    Instituto Tecnológico de Aeronáutica (ITA), São José dos Campos - SP.
  • Disciplinas Cursadas na Pós Graduação - 2001
    - Processamento de Alto Desempenho;
    - Processamento de Alto Desempenho II;
    - Tópicos Avançados de Processamento de Alto Desempenho;
    - Física Matemática;
    - Processos Estocásticos;
    - Processamento Digital de Imagens;
    - Reconhecimento Estatísticos de Padrões;
    - Bases da Morfologia Matemática para Análise de Imagens.
    Instituto Nacional de Pesquisas Espaciais (INPE), São José dos Campos - SP.
  • Disciplinas Cursadas na Pós Graduação - 1999 (durante o Mestrado)
    - Estrutura e Algoritmos;
    - Engenharia de Software;
    - Metodologias Orientadas a Objeto;
    - Métodos Numéricos I;
    - Métodos Numéricos II;
    - Problemas Inversos;
    - Fenômenos de Transporte Computacional;
    - Mecânica dos Fluidos Computacional.
    Instituto Nacional de Pesquisas Espaciais (INPE), São José dos Campos - SP.

Cursos

  • Curso: Real-Time Programming for Embedded Systems, Lab Diagnostics, and On-chip Debugging, August 24-28, 2009
    Wind River, Lewisville - Texas.
  • Curso: Workshop de Modelagem Real-Time - 2007
    Optimize, São José dos Campos - SP.
  • Treinamentos das ferramentas IBM Rational - 2006
    - Workshop em Processo Unificado de Desenvolvimento de Software;
    - Workshop de Gerenciamento de Mudanças;
    - Workshop de Gerenciamento de Configurações e Controle de Versões;
    - Workshop de Administração do Rational Clear Case.
    Optimize, São José dos Campos - SP.
  • Cursos de QNX - 2005
    - Programação em Tempo Real em Ambiente IDE QNX Momentics;
    - Modelagem Semi-formal e Implementação em QNX de Sistemas de Tempo Real;
    - Técnicas de Modelagem Formal.
    INFAX Tecnologia e Sistemas, São José dos Campos - SP.
  • Curso: Básico de Ergonomia - 2005
    Centro Técnico Aeroespacial, São José dos Campos - SP.
  • Curso: Linguagem C++ - 2004
    Centro Técnico Aeroespacial, São José dos Campos - SP.
  • Mini-curso: Segurança para Sistemas Computacionais e o Sistema Jurídico Americano - 2004
    II Seminário de Tecnologia de Informação do CTA (STI 2004), São José dos Campos, SP.
  • Mini-curso Geometria Fractal: Que Geometria é Essa? - 1998
    III Encontro de Iniciação Científica da Universidade de Taubaté, Taubaté, SP.
  • Mini-cursos da I Escola de Verão em Crescimento de Cristais - 1997
    Instituto de Pesquisas Energéticas e Nucleares-Universidade de São Paulo (IPEN-USP), São Paulo, SP.
     

Participação em Congressos, Workshops e Seminários

  • 5.o Seminário de Projetos de P&D em Tecnologias Associadas a Veículos Espaciais e Tecnologias Associadas & Workshop Tendências Futuras para Veículos Lançadores, promovido pelo Instituto de Aeronáutica e Espaço, nos dias 05 e 06 de abril de 2011, em São José dos Campos, SP.
  • Segundo Encontro da REVVIS (Reunião de Especialistas em Verificação e Validação de Software), promovido pela Universidad Nacional de Rosario, nos dias 02 a 04 de dezembro de 2009, em Rosario, Argentina
  • 4.o Seminário Institucional de Projetos de P&D em Tecnologias Associadas a Veículos Espaciais, promovido pelo Instituto de Aeronáutica e Espaço, no dia 22 de junho de 2009, em São José dos Campos, SP.
  • AIAA Space 2008 Conference & Exposition, promovido por American Institute of Aeronautics and Astronautics, nos dias 9 a 11 de setembro de 2008, em San Diego, Califórnia.
  • 3.o Seminário Institucional de Projetos de P&D em Tecnologias Associadas a Veículos Lançadores, Foguetes de Sondagem e Módulos de Experimentos Espaciais, promovido pelo Instituto de Aeronáutica e Espaço, nos dias 11 a 13 de junho de 2008, em São José dos Campos, SP.
  • 2.o Seminário Institucional de Projetos de P&D em Tecnologias Associadas a Veículos Lançadores, Foguetes de Sondagem e Módulos de Experimentos Espaciais, promovido pelo Instituto de Aeronáutica e Espaço, nos dias 28 de maio a 01 de junho de 2007, em São José dos Campos, SP.
  • I FCT (Fórum de Ciência e Tecnologia do CTA), promovido pelo Centro Técnico Aeroespacial, nos dias 18 e 19 de outubro de 2005, em São José dos Campos, SP.
  • STI 2004 (II Seminário de Tecnologia de Informação do CTA), promovido pelo Centro Técnico Aeroespacial, nos dias 22 e 23 de setembro de 2004, em São José dos Campos, SP.
  • III WORCAP (Workshop dos Cursos de Computação Aplicada do INPE), promovido pelo curso de Computação Aplicada do Instituto Nacional de Pesquisas Espaciais, nos dias 26 e 27 de novembro de 2003, em São José dos Campos, SP.
  • II WORCAP (Workshop dos Cursos de Computação Aplicada do INPE), promovido pelo curso de Computação Aplicada do Instituto Nacional de Pesquisas Espaciais, nos dias 20 e 21 de novembro de 2002, em São José dos Campos, SP.
  • I WORCAP (Workshop dos Cursos de Computação Aplicada do INPE), promovido pelo curso de Computação Aplicada do Instituto Nacional de Pesquisas Espaciais, no dia 25 de outubro de 2001, em São José dos Campos, SP.
  • IV Encontro Nacional da SBCC (Sociedade Brasileira de Crescimento de Cristais), promovido pela Sociedade Brasileira de Crescimento de Cristais, no período de 12 a 14 de novembro de 2000, na Universidade Federal de Viçosa, Viçosa, MG.
  • V SICINPE (Seminário de Iniciação Científica do INPE), promovido pelo PIBIC (Programa Institucional de Bolsas de Iniciação Científica), nos dias 1 e 2 de julho de 1999, em São José dos Campos, SP.
  • Workshop on Novel Approaches for Inverse Problems, promovido pelo INPE (Instituto Nacional de Pesquisas Espaciais e pela UNIVAP (Universidade do Vale do Paraíba), no período de 11 a 13 de novembro de 1998, em São José dos Campos, SP.
  • I Congresso de Pesquisa e Extensão - IV Encontro de Iniciação Científica, promovido pela USF (Universidade de São Francisco), no período de 4 a 6 de novembro de 1998, em Bragança Paulista, SP.
  • III Encontro de Iniciação Científica da Universidade de Taubaté, promovido pela Universidade de Taubaté, no período de 20 a 22 de outubro de 1998, em Taubaté, SP.
  • XXI CNMAC (Congresso Nacional de Matemática Aplicada e Computacional), promovido pela SBMAC (Sociedade Brasileira de Matemática Aplicada e Computacional) e pelo INPE (Instituto Nacional de Pesquisas Espaciais), no período de 14 a 18 de setembro de 1998, em Caxambu, MG.
  • IV SICINPE (Seminário de Iniciação Científica do INPE), promovido pelo PIBIC (Programa Institucional de Bolsas de Iniciação Científica), nos dias 1 e 2 de julho de 1998, em São José dos Campos, SP.
  • III SICINPE (Seminário de Iniciação Científica do INPE), promovido pelo PIBIC (Programa Institucional de Bolsas de Iniciação Científica), nos dias 1 e 2 de julho de 1997, em São José dos Campos, SP.
  • II SICINPE (Seminário de Iniciação Científica do INPE), promovido pelo PIBIC (Programa Institucional de Bolsas de Iniciação Científica), nos dias 27 e 28 de maio de 1996, em São José dos Campos, SP.
     

Trabalhos Apresentados e/ou Publicados

  • Alves, M. C. B.; Arai, N. N.; Silva, R. A. B.; Infra-estrutura e Capacitação para Verificação e Validação de Software Espacial Embarcado (Projetos concluídos). 5.o Seminário de Projetos de P&D em Tecnologias Associadas a Veículos Espaciais e Tecnologias Associadas & Workshop Tendências Futuras para Veículos Lançadores, São José dos Campos, 2011.
  • Alves, M. C. B.; Dantas, C. C.; Arai, N. N.; Silva, R. A. B.; Aplicação de Métodos Topológicos em Modelos de Requisitos de Software (Projetos concluídos). 4.o Seminário Institucional de Projetos de P&D em Tecnologias Associadas a Veículos Espaciais, São José dos Campos, 2009.
  • Alves, M. C. B.; Arai, N. N.; Silva, R. A. B.; Capacitação para Verificação e Validação de Software Espacial Embarcado (Projetos em andamento). 4.o Seminário Institucional de Projetos de P&D em Tecnologias Associadas a Veículos Espaciais, São José dos Campos, 2009.
  • Alves, M. C. B.; Dantas, C. C.; Arai, N. N.; Silva, R. A. B.; A Formal Approach for the Verification Process of Space Software. AIAA Space 2008, San Diego, CA, 2008.
  • Alves, M. C. B.; Dantas, C. C.; Arai, N. N.; Silva, R. A. B.; Aplicação de Métodos Topológicos em Modelos de Requisitos de Software (Projetos em andamento). 3.o Seminário Institucional de Projetos de P&D em Tecnologias Associadas a Veículos Lançadores, Foguetes de Sondagem e Módulos de Experimentos Espaciais, São José dos Campos, 2008.
  • Alves, M. C. B.; Dantas, C. C.; Arai, N. N.; Silva, R. A. B.; Topological Formal Treatment for Scenario-based Software Specification of Concurrent Real-time Systems. 20th International Conference on Software & Systems Engineering and their applications, Paris, 2007.
  • Preto, A. J.; Campos Velho, H. F.; Becceneri, J. C.; Fabbri, M.; Arai, N. N.; Souto, R. P.; Stephany, S. A new regularization technique for an ant-colony based inverse solver applied to a crystal growth problem. 13th IPES (Inverse Problems in Engineering Seminar), University of Cincinnat, Cincinnat, EUA, 2004.
  • Arai, N. N.; Fabbri, M.; Stephany S. Nova Abordagem para a Análise da Morfologia da Interface Sólido-líquida na Solidificação de Ligas Binárias. III WORCAP (Workshop dos Cursos de Computação Aplicada do INPE), Instituto Nacional de Pesquisas Espaciais, São José dos Campos, SP, 2003.
  • Arai, N. N.; Fonseca, L. M. G.; Fabbri, M.; Stephany S. Análise da Curvatura da Interface Sólido-Líquido na Solidificação de Ligas Binárias. II WORCAP (Workshop dos Cursos de Computação Aplicada do INPE), Instituto Nacional de Pesquisas Espaciais, São José dos Campos, SP, 2002.
  • Arai, N. N.; Souto, R. P.; Preto, A. J.; Velho, H. F. C.; Becceneri, J. C.; Fabbri, M.; Stephany, S. An Inverse Formulation for Diffusive Bridgman Growth Using Ant Colony Optimization in a High Performance Enviroment. XXV CNMAC (Congresso Nacional de Matemática Aplicada e Computacional), Nova Friburgo, 2002.
  • Arai, N. N.; Stephany S.; Fabbri, M. Estudo de Dinâmica e Morfologia de Interfaces em Solidificação Direcionada: Simulação Computacional de Alto Desempenho. IV Encontro Nacional da SBCC (Sociedade Brasileira de Crescimento de Cristais), Universidade Federal de Viçosa, Viçosa, MG, 2000.
  • Arai, N. N., Stephany, S., Ramos, F. M., Fabbri, M. Medidas Indiretas de Segregação Interfacial no Sistema Pb0.8Sn0.2Te. 51a Reunião Anual do SBPC (Sociedade Brasileira para o Progresso da Ciência), Porto Alegre, RS, 1999.
  • Arai, N. N., Fabbri, M. Solução Global para a Redistribuição de Soluto Durante a Solidificação de Ligas Binárias. 51a Reunião Anual do SBPC (Sociedade Brasileira para o Progresso da Ciência), Porto Alegre, RS, 1999.
  • Arai, N. N.; Stephany S.; Fabbri, M. Simulação Numérica e Visualização Gráfica de Crescimento de Macrocristais. V SICINPE (Seminário de Iniciação Científica do INPE), Instituto Nacional de Pesquisas Espaciais, São José dos Campos, SP, 1999.
  • Arai, N. N.; Fabbri, M.; Stephany S.; Ramos F. M. Reconstruction of the diffusion coefficient in a crystal growth problem. Workshop on Novel Approaches for Inverse Problems, Universidade do Vale do Paraíba, São José dos Campos, SP, 1998.
  • Arai, N. N.; Orrios, J. B. M. S.; Fabbri, M. Simulação Numérica e Visualização Gráfica de Crescimento de Macrocristais. Trabalho de Graduação Interdisciplinar baseado no projeto de Iniciação Científica, Universidade de Taubaté, Taubaté, SP, 1998.
  • Fabbri, M.; Arai, N. N.; Moraes, A.C.; Ladeira, G.G.; Stephany S.; Fazenda, A.L. WINCRIS - Uma Plataforma de Simulação para a Solidificação Direcionada. I Congresso de Pesquisa e Extensão - IV Encontro de Iniciação Científica, Universidade de São Francisco, Bragança Paulista, SP, 1998.
  • Arai, N. N.; Orrios, J. B. M. S.; Fabbri, M.; Stephany S. Perfis de Composição de Cristais Binários. III Encontro de Iniciação Científica da Universidade de Taubaté, Taubaté, SP, 1998.
  • Arai, N. N.; Fabbri, M.; Stephany S.; Ramos F. M. An Inverse Problem on Crystal Growth. XXI CNMAC (Congresso Nacional de Matemática Aplicada e Computacional), Caxambu, MG, 1998.
  • Arai, N. N.; Stephany S.; Fabbri, M. Uma Formulação Inversa para a Obtenção do Coeficiente Interfacial de Segregação na Solidificação Direcionada de uma Barra. 50a Reunião Anual da SBPC (Sociedade Brasileira para o Progresso da Ciência), Natal, RN, 1998.
  • Arai, N. N.; Fabbri, M. Simulação Numérica e Visualização Gráfica de Crescimento de Macrocristais, V JNIC (Jornada Nacional de Iniciação Científica) - 50a Reunião Anual da SBPC (Sociedade Brasileira para o Progresso da Ciência), Natal, RN, 1998.
  • Arai, N. N.; Stephany S.; Fabbri, M. Simulação Numérica e Visualização Gráfica de Crescimento de Macrocristais. IV SICINPE (Seminário de Iniciação Científica do INPE), Instituto Nacional de Pesquisas Espaciais, São José dos Campos, SP, 1998.
  • Arai, N. N.; Stephany S.; Fabbri, M. Formulação Inversa para a Recuperação das Constantes Físicas e da Taxa de Segregação em Crescimentos Bridgmann Difusivos. XXI ENFMC (Encontro Nacional de Física da Matéria Condensada), Caxambu, MG, 1998.
  • Arai, N. N.; Fabbri, M. Uma Solução Global para a Redistribuição de Soluto durante o Crescimento Difusivo em Cristais Binários. XXI ENFMC (Encontro Nacional de Física da Matéria Condensada), Caxambu, MG, 1998.
  • Arai, N. N.; Fabbri, M. Simulação Numérica e Visualização Gráfica de Crescimento de Macrocristais. III SICINPE (Seminário de Iniciação Científica do INPE), Instituto Nacional de Pesquisas Espaciais, São José dos Campos, SP, 1997.
  • Arai, N. N.; Fabbri, M. Perfis de Segregação em Crescimentos Bridgman com Difusão na Fase Sólida. XX ENFMC (Encontro Nacional de Física da Matéria Condensada), Caxambu, MG, 1997.
  • Arai, N. N.; Fabbri, M. Técnicas Numéricas e Computacionais Para a Análise de Dados de Crescimento de Cristais Binários. II SICINPE (Seminário de Iniciação Científica do INPE), Instituto Nacional de Pesquisas Espaciais, São José dos Campos, SP, 1996.
www.000webhost.com