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

Surface Blades

Three weeks before launching its new line of products, the Surface design team took a trip to Pasadena, CA, where they held a 3 day workshop with renowned design school Art Center College of Design.

The group of 11 students chosen for the workshop were the first people outside of Microsoft to see a new accessory the design team has been working on: a music attachment that clicks into a Surface and allows users to easily remix music. They asked the students: what else would you want to attach to a Surface? They code named these attachments blades.