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

HPC Project: Understanding Splicing

Name: Undestanding Splicing
ID: 2024.AIVLAB.00001.VISION
Project Type: Laboratório virtual de Inteligência Artificial (AIvLAB)

Starting Date: 19 June 2024
End Date: 19 December 2024
Funding Amount: 908 €

Resources:

Author: Alcides Fonseca
Language: English