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

Surrogates

Surrogates is just like I, Robot if you just replace Will Smith with Bruce Willis and if humans just stay at home remote controlling the robots.

The movie is acceptable, but totally predictable. And like many others, they suppose that in 20 years there is only one aspect in our civilization that changes, something that I find hard to happen.