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

E a geração rasca?

Agradeço as ofertas dos portáteis às crianças que podiam ser meus filhos, penso sinceramente que iremos colher os benefícios de tal medida a médio prazo, mas pedia encarecidamente que não se esquecessem da minha geração, aquela que faz parte da grande fatia do trabalho precário em Portugal, aquela onde os licenciados que tiraram o seus cursos contra as politicas anti-educativas da altura andam a receber a recibos verdes o pão nosso de poucos dias

Gonçalo Silva – Geração Rasca