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

DEInnovation

One problem of the academia (at least where I’ve been studying) is that the general public (including its own students!!!) is not aware of the research being made there.

DEI Innovation

Some students started a weblog where they add new videos of researchers explaining their projects, something I believe each university and research institute should promote.

What about your local university? Do you know what interesting projects are going on there? And how?