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

Nova aquisição Ideias3

Criar um algoritmo de escalonamento para os meus pensamentos, preemptivo de preferência, com prioridades de modo a que aquela coisa a que chamam Licenciatura em Engenharia Informática não faça todo o resto da minha vida acabar em starvation.

O ideias3 orgulha-se (ou não) de alojar o Batido de Banana.