Dado que a audiência falava toda português, a talk acabou por não ser em inglês. O vídeo encontra-se em cima e também no site do codebits.
Obrigado ao Sapo pela oportunidade.
I work on the intersection of AI, Software Engineering and Programming Languages. Currently, I am applying Formal Methods to Agents, towards AI Safety.
Dado que a audiência falava toda português, a talk acabou por não ser em inglês. O vídeo encontra-se em cima e também no site do codebits.
Obrigado ao Sapo pela oportunidade.