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

*casts suck for multi-tasking

I never got into this podcast/video cast thing. It takes more attention that I want to give it, since I’m always doing something else in my computer apart from listening to audio.

Tiago writes more about this problem and I totally agree with him.

I guess this is why I didn’t go with Rails ;)