Filipe Arruda
Doutor em Ciências da Computação e Analista de TI no Instituto Federal de Pernambuco. Usa Python no dia a dia para solucionar quase todo tipo de problema.
Brasil - Pernambuco
Sessão
03/11
09:50
45min
Provando matematicamente que seu código não tem bugs
Filipe Arruda
Vamos explorar como conectar provadores de teoremas com Python para conseguir garantir rigorosamente que funções críticas de um projeto são livres de bug (sem precisar testar)!
Avançado
Sala Polenta