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

Aula 4 - Robótica

Nesta aula a partir de um portátil, controlámos um robot lego para andar sozinho pela escola sem bater em nenhum obstáculo.

Finalmente, recebendo as instruções por um Wiimote, fizemos do Robot um carro telecomandado!

Lego Mindstorm