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

Meta Next Step

The last iteration of my online log lasted for around one and half years. Now that time has passed for this version itself and as I write less frequently, I do feel an urge to change it into something different.

I’ve moved out the politics section and I’ve been trying a new thing: TechThatMatters is a collection of the most important news around the web that one must really read, in my opinion of course. It tries to be a public service for those of you without the time to go through all the 613 feeds I subscribe to.

This gives me more freedom to do what I want with this space (my main personal hub, I mean) but I am not really sure in which way I want to take it. This might reflect my position in life right now as I will soon face the choice of an internship that will be the first step to decide how will I get on with my career. Small company, Big enterprise devil, maybe going for a PhD, or even two of them. And with that choice there is another one: deciding if I should stay in my little merry boring town of Coimbra, move to Lisbon or even UK/US or somewhere with a good lifestyle.

Just as I return from the 7 months of holidays that were erasmus, I am still trying to adapt to the old rhythm of working everyday (and night) in my department. So don’t expect much activity until this changes.