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

z3

Microsoft’s Automated Theorem Prover based on SAT solving and Satisfiability Modulo Theories.

Resources

Solving puzzles using z3
More puzzles with z3
Modelling TLA in z3py
Build script for OS X and Linux

Author: Alcides Fonseca

Language: English

Making intelligent softwaremore reliable.

z3

Resources

Making intelligent software
more reliable.