Palestrante: Ricardo Bedin França

Desenvolvedor sênior na Embraer
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.

Encontre Ricardo Bedin França em

Palestra: Confiança em tempo real: aprendizados em software embarcado crítico

Outras palestras desta track

Tracks

Segunda-feira

Terça-feira

Quarta-feira