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

CMU e Líderes mas Universidades

Dois artigos muito interessantes do Público em entrevista a João Barros, responsável nacional das parcerias universitárias com a CMU:

Portugal tem de encontrar líderes nas universidades e nas empresas (Público, pg 23)

Entrevista: Portugal tem de investir em líderes nas universidades e nas empresas (Público Online)

Pessoalmente recomendo mais a versão de papel, mas lida online. Via Que Universidade