Alcides Fonseca.AI & Programming Languages researcher

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

Solving brain teasers using python and z3

Why try to figure it out using logic, when you make your computer use logic for you?

Next one:

Published: Apr 09, 2020

Author: Alcides Fonseca

Language: English

Making intelligent softwaremore reliable.

Solving brain teasers using python and z3

Making intelligent software
more reliable.