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

Stargate Universe

I’m a huge fan of the Stargate Series. I’ve watched the movie, SG-Atlantis and now marathoning through SG-1 (currently S4). I got really upset when I found out Atlantis was being canceled, but now that the new SG-Universe trailer is released, I have more hopes (too bad the “across the universe with a falling-apart spaceship” already happened in Atlantis” plot).