Postagem 1.320

BEDIN V.I.P.

RICARDO BEDIN FRANÇA 

Possui graduação em Engenharia de Controle e Automação Industrial pela Universidade Federal de Santa Catarina(2006), mestrado em Syst. Automatiques, Informatiques et Décisionnels pela Université Toulouse III Paul Sabatier(2008), mestrado em Engenharia de Automação e Sistemas pela Universidade Federal de Santa Catarina(2008) e doutorado em Informatique SLCHP pela Institut National Polytechnique de Toulouse(2012). Atualmente é Engenheiro da Empresa Brasileira de Aeronáutica. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas de Computação. Atuando principalmente nos seguintes temas:Software de controle de voo, Geraçao Automatica de Codigo, Sistemas Embarcados, Sistemas Tempo-Real.
Informações coletadas do Lattes em 23/11/2015
Acadêmico
Formação acadêmica
· Doutorado em Informatique SLCHP
2009 - 2012
Institut National Polytechnique de Toulouse
Título: Processus et outils qualifiables de développement de systèmes critiques certifiés en aéronautique à base de génération automatique de code
Orientador: Yamine Aït Ameur
Palavras-chave: Software de controle de voo; Geraçao Automatica de Codigo; Sistemas Embarcados; Sistemas Tempo-Real.Grande área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Sistemas Aeroespaciais / Especialidade: Aviões. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
· Mestrado em Syst. Automatiques, Informatiques et Décisionnels
2007 - 2008
Université Toulouse III Paul Sabatier
Orientador: François Vernadat
Palavras-chave: barramentos de comunicação; linguagens síncronas; Event-B.Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos / Especialidade: Controle de Processos Eletrônicos, Retroalimentação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
· Mestrado em Engenharia de Automação e Sistemas
2007 - 2008
Universidade Federal de Santa Catarina
Jean-Marie Farines.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Protocolos de barramento; Protocolos síncronos; AADL; Event-B; Sistemas Parametrizados.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas. 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.
· Graduação em Engenharia de Controle e Automação Industrial
2002 - 2006
Universidade Federal de Santa Catarina
Formação complementar
· 2002 - 2002
Montagem e Manutenção de Microcomputadores. (Carga horária: 120h). , Serviço Nacional de Aprendizagem Comercial.
· 2002 - 2002
Manutenção de Periféricos e Instalação de Redes. (Carga horária: 30h). , Serviço Nacional de Aprendizagem Comercial.
Idiomas
· Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
· Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
· Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Pesquisa:Internet