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

MTV Youth Trends

(Via OpenGardens) This is a great presentation from MTV where they show a few statistics that prove that young people are spending less time in front of TV and more and more on the Internet, mainly social networks. I guess some Portuguese companies should take a look at this presentation and start changing the way they work.