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

The future of workspaces

Since any of you offered to pay my trip to Lift Conference, I relied only in Stephanie who did an awesome job by blogging the event. Thank you very much!

The presentation that caught my attention was Where will you work tomorrow? by Pierre Belcari.

I like the idea of companies using the hoteling system and trying to come up with different approaches.

Note: If you are in Portugal, come to this year’s edition of Take Off where we will discuss coworking and this issue.