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

Programar em Python

Esta é a página de suporte à activadade “Programação ao fim de tarde” que estou a organizar para alunos do 8º ano da escola Alice Gouveia, em Coimbra.

A linguagem de programação que será utilizada será Python e pode ser descarregada para Windows aqui. O editor recomendado para uso fora das aulas é o Notepad++.

Aulas:

Recursos: