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.

Explore my research Get in touch
Program synthesisLiquid typesReliable AIGuardrailsEvals

Backup Awareness Day

I have synced my PDA with my Mac.

My TimeMachine icon on the menubar is spinning right now.

Then, I’m backing up to the network storage.

Then, I’m downloading a backup of our new VPS.

You should read this too.

Published:
Author: Alcides Fonseca
Language: English