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

Don't Drive and Glass

Lawmakers seek to ban google glass on the road

This is relevant and huge. While google is pushing legislation to allow for self-driven cars, lawmakers are trying to avoid google glasses on drivers. Which I guess it’s an improvement over text-and-driving, since Google Glass can filter those for you, and has a text-to-speech system, like siri or some cars.