Starting Research Position at @ProseccoINRIA. Programming languages, formal methods and the law. catala-lang.org. @DMerigoux@types.pl @DMerigoux@piaille.fr
Joined February 2020
- Tweets 1,593
- Following 247
- Followers 967
- Likes 1,097
148 Photos and videos
Pinned Tweet
21 May 2024
This special issue of the CRCL journal with 8 position papers is a beacon in the fog of war created by technological FOMO and the never-ending avalanche of announcements of "revolutionary" products.
Here's a thread on why you should read these papers 🧵
Out now: the Special Issue on THE FUTURE OF COMPUTATIONAL LAW, a series of position papers by thought leaders in the domain: @sarahlawsky @lyria1 @DMerigoux @sayashk Peter Henderson @random_walker @NatalieByrom @florisbex @FrankPasquale @JcMalgieri journalcrcl.org/crcl/issue/v… 1/
1
6
10
2,075
🤝@cnaf_actus et @Inria s’engagent pour développer Catala, une solution souveraine de calcul des prestations sociales.
inria.fr/fr/cnaf-inria-conve…
2
2
394
Denis Merigoux retweeted
La Cnaf et @Inria unissent leurs expertises autour de Catala, un langage de programmation innovant issu de la recherche publique.
🎯 Objectif : retranscrire les règles de droit de manière fidèle, compréhensible et explicable afin de sécuriser le calcul des prestations sociales.
Cette collaboration permettra de développer des outils numériques plus transparents, plus évolutifs et plus souverains au service des familles et de la solidarité.
Plus d'infos sur ce projet :
caf.fr/sites/default/files/m…
4
3
1,390
Apr 8
💻 La Caisse Nationale d'Allocations Familiales (CNAF) recrute un.e ingénieur.e expert.e en compilation/langages de programmation pour contribuer à la maintenance et à l'évolution de l'outillage de Catala ⚖️ ! Candidatez ici 🚀 :
lasecurecrute.fr/offre-emplo…
1
2
6
251
Apr 8
Au programme de travail : outillage pour développeurs, explication et débuggage des programmes Catala ❓, intégration dans un SI complexe 💾, etc.
1
39
Apr 8
Pour en savoir plus sur la technique derrière Catala et le genre de chantiers en cours, allez voir mon dernier post de blog : blog.merigoux.ovh/en/2026/02… 👀.
31
22 Jul 2025
🚀 Programme Apollo : la nouvelle fusée de l'Agence de programmes Inria est sur le pas de tir ! Rendez-vous sur apollo.inria.fr pour en savoir plus et postulez dès cet été pour nous rejoindre et participer à des projets logiciels en appui aux politiques publiques.
1
2
151
22 Jul 2025
🏛️ Vous êtes porteur de politiques publiques et souhaitez initier un projet numérique répondant à vos besoins et qui passe par la résolution d'un problème difficile ? Découvrez comment le programme Apollo peut vous aider ➡️ apollo.inria.fr/programme/po…
1
113
Denis Merigoux retweeted
24 Feb 2025
Highlight 2:
"Catala: a Programming Language for the Law"
by @DMerigoux, Nicolas Chataing, and @_protz_
ICFP'21
2
1
15
759
Denis Merigoux retweeted
18 Nov 2024
Acadamia vous donne rendez-vous de l'autre côté du miroir, là où le ciel est bleu ☀️😎
Ce compte restera encore actif quelque temps
1
2
171