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

Founder of Akka.NET & Solution Architect at Betsson Group, Stockholm
Site Reliability Engineering Manager no LinkedIn EUA
World expert in Domain-Driven Design and Reactive Systems

Tracks

Segunda-feira

Terça-feira

Quarta-feira