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.

Program synthesisLiquid typesReliable AIGuardrailsEvals

Bastas de Exames Fáceis!

O que eu de maneira alguma esperava e, certamente, a tutela também não, era que os próprios alunos adoptassem a última explicação que referi e, mais, dissessem “basta”. Pelo que ouvi a vários entrevistados, não querem exames que defraudem as suas expectativas; querem exames que meçam o que efectivamente estudam.

Artigo completo em De Rerum Natura.

Não que seja o meu caso (Eu já tive a minha quota parte de complicações, há dois anos atrás), mas apoio essa atitude contra o facilitismo!