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

HPC Project: Activity Test for Portuguese FCT-funded Project Resource-Aware Programming

Name: Genetic Engine Evaluation
ID: POR011PRE
Project Type: Mare Nostrum 5

Starting Date: 19 June 2024
End Date: 19 September 2024

Resources:

2 000 000 CPU core.hours
10 000 GB disk

Author: Alcides Fonseca

Language: English

Making intelligent softwaremore reliable.

HPC Project: Activity Test for Portuguese FCT-funded Project Resource-Aware Programming

Making intelligent software
more reliable.