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

XMPP

XMPP is the standard for real-time communication. There is also xmpp-im implemented on top, that is used in Jabber and GoogleTalk, but you can also use XMPP for other ends, such as PubSub.

Clients:

Servers:

Resources: