BEDIN V.I.P.
RICARDO BEDIN FRANÇA
Ricardo BEDIN França
Desenvolvedor de software embarcado na Embraer
Resumo
Engenheiro de desenvolvimento de produto (software embarcado aeronáutico)
na Embraer; pesquisador e professor freelancer. Desenvolvedor de software
embarcado aeronáutico desde 2009. Doutor em informática pelo Institut National
Polytechnique de Toulouse.
Doutor em Informática pelo Instituto Nacional Politécnico de Toulouse na
França, Ricardo trabalha há oito anos com desenvolvimento e verificação de
software embarcado para aeronaves. Atua como desenvolvedor de software de
comando de voo na Embraer, e gosta de passar horas "escovando bits"
em busca da eficiência. Em suas explorações como pesquisador freelancer, estuda
o uso de métodos formais na especificação e verificação de software crítico.
Pesquisa:Internet
Nenhum comentário:
Postar um comentário