Alcides Fonseca.AI & Programming Languages researcher
40.197958, -8.408312

Making intelligent software
more reliable.

I work on the intersection of AI, Software Engineering and Programming Languages. Currently, I am applying Formal Methods to Agents, towards AI Safety.

Program synthesisLiquid typesReliable AIGuardrailsEvals

Vídeos TakeOff 2009

Finalmente depois de umas viagens e alguns imprevistos técnicos, estão disponíveis os vídeos desta edição do Take Off. Como é normal gostaria de agradecer à equipa do Sapo Vídeos pelo apoio, ao Celso Martinho pela camera e ao André Ribeirinho por guardar os vídeos durante tanto tempo ;)

Espero que sirva para partilhar o conteúdo e as ideias a quem não pode estar presente, e que sirva de incentivo a participarem em futuras edições.