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

Django

Django is a web framework in Python, developed at Lawrence Journal-World.

Django features a complete administration database, that you can even customize. As it was created to suit a newspaper website, it is a great solution for CMS-like applications.

Resources: