2023-11-03 –, Sala Polenta
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)!
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.