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

Casual

A programming language that I am starting to work in.

It aims to be human-readable, DSLable like Ruby, use identation like Python, be functional like Scala and some stuff from Javascript.

Resources:

Published:
Author: Alcides Fonseca
Language: English