Denis Merigoux
@denismerigoux.bsky.social
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Reposted by Denis Merigoux
Le dossier entre @asso-acadamia.fr et l'école polytechnique sur les contrats de mécénat avec Total passe au conseil d'État ce vendredi !
Nous suivons de prêt ce dossier : nous sommes également en train d'attaquer l'Inria au TA pour obtenir les contrats de partenariats avec les industriels.
Nous suivons de prêt ce dossier : nous sommes également en train d'attaquer l'Inria au TA pour obtenir les contrats de partenariats avec les industriels.
September 2, 2025 at 8:49 AM
Le dossier entre @asso-acadamia.fr et l'école polytechnique sur les contrats de mécénat avec Total passe au conseil d'État ce vendredi !
Nous suivons de prêt ce dossier : nous sommes également en train d'attaquer l'Inria au TA pour obtenir les contrats de partenariats avec les industriels.
Nous suivons de prêt ce dossier : nous sommes également en train d'attaquer l'Inria au TA pour obtenir les contrats de partenariats avec les industriels.
🚀 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 d'infrastructures logicielles en appui aux politiques publiques.
July 22, 2025 at 11:42 AM
🚀 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 d'infrastructures logicielles en appui aux politiques publiques.
Reposted by Denis Merigoux
Friday blogging, about our journey replacing Python's built-in cryptography with verified code from HACL*. I'm very proud of this work: I wrote the first version in 2020, and along the way it had both research (ICFP paper) and industrial impact (Python).
jonathan.protzenko.fr/2025/04/18/p...
jonathan.protzenko.fr/2025/04/18/p...
15,000 lines of verified cryptography now in Python
In November 2022, I opened issue 99108 on Python’s GitHub repository, arguing that after a recent CVE in its implementation of SHA3, Python should embrace verified code for all of its hash-related inf...
jonathan.protzenko.fr
April 18, 2025 at 5:39 PM
Friday blogging, about our journey replacing Python's built-in cryptography with verified code from HACL*. I'm very proud of this work: I wrote the first version in 2020, and along the way it had both research (ICFP paper) and industrial impact (Python).
jonathan.protzenko.fr/2025/04/18/p...
jonathan.protzenko.fr/2025/04/18/p...
Reposted by Denis Merigoux
📰 “Le mécénat de Thales à l’université de Créteil provoque un tollé sans précédent”
Par Renaud Lecarde pour @liberation.fr
www.liberation.fr/societe/educ...
Par Renaud Lecarde pour @liberation.fr
www.liberation.fr/societe/educ...
Le mécénat de Thales à l’université de Créteil provoque un tollé sans précédent
L’aide financière du groupe d’électronique français à une chaire «handicap» à l’Upec fait débat. En cause : la volonté de promotion, hors des clous, de la titulaire de la fondation au grade de profess...
www.liberation.fr
March 7, 2025 at 9:25 AM
📰 “Le mécénat de Thales à l’université de Créteil provoque un tollé sans précédent”
Par Renaud Lecarde pour @liberation.fr
www.liberation.fr/societe/educ...
Par Renaud Lecarde pour @liberation.fr
www.liberation.fr/societe/educ...
Reposted by Denis Merigoux
Very proud to announce that our original paper on Catala, presented at ICFP'21, received a SIGPLAN Research Highlight. Incredible surprise! Only four papers received this award for the 2021-2023 period. Congratulations @denismerigoux.bsky.social
February 24, 2025 at 10:00 PM
Very proud to announce that our original paper on Catala, presented at ICFP'21, received a SIGPLAN Research Highlight. Incredible surprise! Only four papers received this award for the 2021-2023 period. Congratulations @denismerigoux.bsky.social
Reposted by Denis Merigoux
SIGPLAN Research Highlights - recognizing four exceptional PL papers from 2021-2023 - selects as one of the papers "Catala: a programming language for the law," by @denismerigoux.bsky.social , Nicolas Chataing, Jonathan Protzenko www.sigplan.org/Highlights/P... -
SIGPLAN Research Highlights Papers
www.sigplan.org
February 24, 2025 at 6:44 PM
SIGPLAN Research Highlights - recognizing four exceptional PL papers from 2021-2023 - selects as one of the papers "Catala: a programming language for the law," by @denismerigoux.bsky.social , Nicolas Chataing, Jonathan Protzenko www.sigplan.org/Highlights/P... -
Reposted by Denis Merigoux
Hello Bluesky! A few words about me and my work.
I am a qualitative researcher and policy specialist at the intersection of tech/AI and human rights. I have two main areas of focus. ⤵️ (1/8)
I am a qualitative researcher and policy specialist at the intersection of tech/AI and human rights. I have two main areas of focus. ⤵️ (1/8)
February 4, 2025 at 7:31 AM
Hello Bluesky! A few words about me and my work.
I am a qualitative researcher and policy specialist at the intersection of tech/AI and human rights. I have two main areas of focus. ⤵️ (1/8)
I am a qualitative researcher and policy specialist at the intersection of tech/AI and human rights. I have two main areas of focus. ⤵️ (1/8)
Reposted by Denis Merigoux
Pour les gens dans l'ESR en France, connaissez-vous des journalistes qui s'intéressent aux violences sexuelles dans l'ESR? je suis au courant d'une histoire où une doctorante s'est faite harceler, et j'ai l'impression que le labo/le CNRS cherchent plutôt à étouffer l'affaire et l'avoir à l'usure
January 27, 2025 at 5:26 PM
Pour les gens dans l'ESR en France, connaissez-vous des journalistes qui s'intéressent aux violences sexuelles dans l'ESR? je suis au courant d'une histoire où une doctorante s'est faite harceler, et j'ai l'impression que le labo/le CNRS cherchent plutôt à étouffer l'affaire et l'avoir à l'usure
Si vous travaillez à la CNAM et que vous en savez plus sur les détails des dysfonctionnements de Arpège, n'hésitez pas à me contacter. Si ces dysfonctionnement prennent leur origine dans des difficultés de modélisation des règles de droit dans le SI, je peux peut-être aider !
Prise au piège de son logiciel, l’assurance-maladie coupe dans les indemnités de milliers d’usagers
Par Faïza Zerouala https://www.mediapart.fr/journal/france/270125/prise-au-piege-de-son-logiciel-l-assurance-maladie-coupe-dans-les-indemnites-de-milliers-d-usagers?at_medium=rs-cm&at_campaign=blue…
Par Faïza Zerouala https://www.mediapart.fr/journal/france/270125/prise-au-piege-de-son-logiciel-l-assurance-maladie-coupe-dans-les-indemnites-de-milliers-d-usagers?at_medium=rs-cm&at_campaign=blue…
Prise au piège de son logiciel, l’assurance-maladie coupe dans les indemnités de milliers d’usagers
Arpège, le système automatique utilisé par l’assurance-maladie pour payer les indemnités des assurés en arrêt maladie ou congé maternité, bloque des paiements. Dans deux départements, des assurés...
www.mediapart.fr
January 28, 2025 at 4:14 PM
Si vous travaillez à la CNAM et que vous en savez plus sur les détails des dysfonctionnements de Arpège, n'hésitez pas à me contacter. Si ces dysfonctionnement prennent leur origine dans des difficultés de modélisation des règles de droit dans le SI, je peux peut-être aider !
Tout est politique José... D'ailleurs Latour lui-même qualifie le chercheur de capitaliste du savoir, très bon livre à lire : www.editionsladecouverte.fr/la_vie_de_la...
December 23, 2024 at 2:12 PM
Tout est politique José... D'ailleurs Latour lui-même qualifie le chercheur de capitaliste du savoir, très bon livre à lire : www.editionsladecouverte.fr/la_vie_de_la...
Reposted by Denis Merigoux
Au sujet des ingérences étrangères dans la recherche scientifique et du manque de sérieux du Figaro quand il écrit dessus.
blogs.mediapart.fr/david-monnia...
blogs.mediapart.fr/david-monnia...
Ingérences étrangères dans le financement de la recherche et sérieux journalistique
Le 26 octobre dernier, le site du Figaro publiait un article de Judith Waintraub intitulé « Il incarne la réussite et les échecs de la recherche publique : le CNRS, paradis des sciences «molles» qui …
blogs.mediapart.fr
December 22, 2024 at 9:35 PM
Au sujet des ingérences étrangères dans la recherche scientifique et du manque de sérieux du Figaro quand il écrit dessus.
blogs.mediapart.fr/david-monnia...
blogs.mediapart.fr/david-monnia...
Reposted by Denis Merigoux
Tax profs and students: Make your own selected sections tax code and regs now updated for 2025, including fed tax, partnership tax, corp tax, and, new as of this semester, estate and gift tax. Free alternative to commercial selected sections book. www.lawskypracticeproblems.org/codeandregs
Lawsky Practice Problems
Free practice problems and quizzes for Federal Income Taxation law school classes.
www.lawskypracticeproblems.org
December 7, 2024 at 6:14 PM
Tax profs and students: Make your own selected sections tax code and regs now updated for 2025, including fed tax, partnership tax, corp tax, and, new as of this semester, estate and gift tax. Free alternative to commercial selected sections book. www.lawskypracticeproblems.org/codeandregs
Reposted by Denis Merigoux
Il y a quelques jours, Bernard Arnault a été élu à l’Académie des sciences morales et politiques. Une élection due à ses contributions scientifiques ... ou aux promesses de mécénat à venir ?
L'occasion de revenir sur le mécénat au profit des institutions publiques 🧵 #ESR (ft Cour des comptes)
L'occasion de revenir sur le mécénat au profit des institutions publiques 🧵 #ESR (ft Cour des comptes)
December 3, 2024 at 11:54 AM
Il y a quelques jours, Bernard Arnault a été élu à l’Académie des sciences morales et politiques. Une élection due à ses contributions scientifiques ... ou aux promesses de mécénat à venir ?
L'occasion de revenir sur le mécénat au profit des institutions publiques 🧵 #ESR (ft Cour des comptes)
L'occasion de revenir sur le mécénat au profit des institutions publiques 🧵 #ESR (ft Cour des comptes)
Reposted by Denis Merigoux
Et surtout n'hésitez pas à soutenir notre campagne en cours pour obtenir une jurisprudence importante pour la transparence devant le Conseil d'État !
www.helloasso.com/associations...
www.helloasso.com/associations...
Mécénat : on veut voir les contrats !
Financement participatif organisé par Acadamia - Les contrats entre universités et entreprises mécènes doivent être rendus publics !
Soutenez Acadamia pour faire triompher la transparence ✊
www.helloasso.com
November 18, 2024 at 7:12 PM
Et surtout n'hésitez pas à soutenir notre campagne en cours pour obtenir une jurisprudence importante pour la transparence devant le Conseil d'État !
www.helloasso.com/associations...
www.helloasso.com/associations...
Reposted by Denis Merigoux
#HelloESR l'association Acadamia débarque ici !
Nous militons pour la transparence dans l'ESR, en particulier nous souhaitons mettre fin à l'opacité des contrats entre universités et entreprises mécènes !
Nous militons pour la transparence dans l'ESR, en particulier nous souhaitons mettre fin à l'opacité des contrats entre universités et entreprises mécènes !
!["[université] s'abstiendra de faire toute communication directe ou indirecte, écrite ou orale, susceptible de porter atteinte à l'image et à la notoriété de [entreprise]"
Défendons la liberté académique !
Mécénat : on veut voir les contrats !
Soutenez la campagne : asso-acadamia.fr/don](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:vmguglsilcqlxeknxoujig7u/bafkreifqmzqqx65cq6k4ba4a5khurm4smolfwe65r52z6lvskjqmi6flnu@jpeg)
November 18, 2024 at 7:12 PM
#HelloESR l'association Acadamia débarque ici !
Nous militons pour la transparence dans l'ESR, en particulier nous souhaitons mettre fin à l'opacité des contrats entre universités et entreprises mécènes !
Nous militons pour la transparence dans l'ESR, en particulier nous souhaitons mettre fin à l'opacité des contrats entre universités et entreprises mécènes !
Reposted by Denis Merigoux
Transparence algorithmique & administration.
Les initiatives se multiplient pour visibiliser les usages et dresser un état des lieux de ce qui se présente désormais comme le "service public algorithmique".
Recension sommaire des sites et initiatives à suivre sur la question🧵👇
Les initiatives se multiplient pour visibiliser les usages et dresser un état des lieux de ce qui se présente désormais comme le "service public algorithmique".
Recension sommaire des sites et initiatives à suivre sur la question🧵👇
November 18, 2024 at 11:18 AM
Transparence algorithmique & administration.
Les initiatives se multiplient pour visibiliser les usages et dresser un état des lieux de ce qui se présente désormais comme le "service public algorithmique".
Recension sommaire des sites et initiatives à suivre sur la question🧵👇
Les initiatives se multiplient pour visibiliser les usages et dresser un état des lieux de ce qui se présente désormais comme le "service public algorithmique".
Recension sommaire des sites et initiatives à suivre sur la question🧵👇
Je vous recommande fortement la lecture de ce rapport de la Défenseure des Droits qui cite et reprend en partie les conclusions et recommandations de notre rapport sur l'explicabilité des algorithmes publics ! inria.hal.science/hal-04391612
November 16, 2024 at 6:52 PM
Je vous recommande fortement la lecture de ce rapport de la Défenseure des Droits qui cite et reprend en partie les conclusions et recommandations de notre rapport sur l'explicabilité des algorithmes publics ! inria.hal.science/hal-04391612
Reposted by Denis Merigoux
#ESR Recommandations de la Défenseure des droits sur les algo et les outils d'IA dans les #servicespublics
* Droit à l’explication des décisions
* Publication des informations relatives aux systèmes utilisés
* Associer les usagers
* Soutenir la recherche
www.defenseurdesdroits.fr/les-droits-d...
* Droit à l’explication des décisions
* Publication des informations relatives aux systèmes utilisés
* Associer les usagers
* Soutenir la recherche
www.defenseurdesdroits.fr/les-droits-d...
Les droits des usagers des services publics face aux algorithmes et aux systèmes d’IA : points de vigilance et recommandations de la Défenseure des droits | Défenseur des Droits
Face au nombre croissant de décisions administratives individuelles prises sur la base de résultats livrés par des algorithmes ou systèmes d’IA, la Défenseure des droits s’inquiète des risques qu’indu...
www.defenseurdesdroits.fr
November 15, 2024 at 11:08 AM
#ESR Recommandations de la Défenseure des droits sur les algo et les outils d'IA dans les #servicespublics
* Droit à l’explication des décisions
* Publication des informations relatives aux systèmes utilisés
* Associer les usagers
* Soutenir la recherche
www.defenseurdesdroits.fr/les-droits-d...
* Droit à l’explication des décisions
* Publication des informations relatives aux systèmes utilisés
* Associer les usagers
* Soutenir la recherche
www.defenseurdesdroits.fr/les-droits-d...
Le projet Catala recrute ! catala-lang.org
- une ingénieur.e web jobs.inria.fr/public/class...
Les postes sont des CDD de deux ans avec statut d'ingénieur de recherche INRIA. Télétravail possible, pas full remote. Contrat fonction publique, 38 h 30 par semaine, 7 semaines congés + 10 jours RTT.
- une ingénieur.e web jobs.inria.fr/public/class...
Les postes sont des CDD de deux ans avec statut d'ingénieur de recherche INRIA. Télétravail possible, pas full remote. Contrat fonction publique, 38 h 30 par semaine, 7 semaines congés + 10 jours RTT.
Ingénieur développement logiciel spécialiste en web
Offre d'emploi Inria
jobs.inria.fr
March 7, 2024 at 4:18 PM
Le projet Catala recrute ! catala-lang.org
- une ingénieur.e web jobs.inria.fr/public/class...
Les postes sont des CDD de deux ans avec statut d'ingénieur de recherche INRIA. Télétravail possible, pas full remote. Contrat fonction publique, 38 h 30 par semaine, 7 semaines congés + 10 jours RTT.
- une ingénieur.e web jobs.inria.fr/public/class...
Les postes sont des CDD de deux ans avec statut d'ingénieur de recherche INRIA. Télétravail possible, pas full remote. Contrat fonction publique, 38 h 30 par semaine, 7 semaines congés + 10 jours RTT.
Reposted by Denis Merigoux
what
La période des stages de M2 va arriver. Rappel qu'à l'Inria nous avons la possibilité de rémunérer ces stages au SMIC, et pas juste en les gratifiant.
De nombreuses équipes ont passé le pas et ne gratifient plus les stages.
De nombreuses équipes ont passé le pas et ne gratifient plus les stages.
December 29, 2023 at 12:04 PM
what
Reposted by Denis Merigoux
La période des stages de M2 va arriver. Rappel qu'à l'Inria nous avons la possibilité de rémunérer ces stages au SMIC, et pas juste en les gratifiant.
De nombreuses équipes ont passé le pas et ne gratifient plus les stages.
De nombreuses équipes ont passé le pas et ne gratifient plus les stages.
December 29, 2023 at 10:54 AM
La période des stages de M2 va arriver. Rappel qu'à l'Inria nous avons la possibilité de rémunérer ces stages au SMIC, et pas juste en les gratifiant.
De nombreuses équipes ont passé le pas et ne gratifient plus les stages.
De nombreuses équipes ont passé le pas et ne gratifient plus les stages.
Reposted by Denis Merigoux
Thank you to @jtlg.bsky.social for help figuring out how to do this and to @denismerigoux.bsky.social for his open-source commitment which influenced me to do this 6/6
December 28, 2023 at 11:00 PM
Thank you to @jtlg.bsky.social for help figuring out how to do this and to @denismerigoux.bsky.social for his open-source commitment which influenced me to do this 6/6
Reposted by Denis Merigoux
The code generates multiple-choice practice problems and explanations for federal income tax and partnership tax. The problems are a random selection of facts, names, and randomly (but thoughtfully) generated numbers about a range of tax topics 2/n
December 28, 2023 at 10:58 PM
The code generates multiple-choice practice problems and explanations for federal income tax and partnership tax. The problems are a random selection of facts, names, and randomly (but thoughtfully) generated numbers about a range of tax topics 2/n
Reposted by Denis Merigoux
The code underlying Lawsky Practice Problems lawskypracticeproblems.org is now open-source under a GNU Affero General Public License v3.0. You can view it on Github github.com/slawsk/lawsk... 1/n
GitHub - slawsk/lawsky-practice-problems: the code for the Lawsky Practice Problems website
the code for the Lawsky Practice Problems website. Contribute to slawsk/lawsky-practice-problems development by creating an account on GitHub.
github.com
December 28, 2023 at 10:57 PM
The code underlying Lawsky Practice Problems lawskypracticeproblems.org is now open-source under a GNU Affero General Public License v3.0. You can view it on Github github.com/slawsk/lawsk... 1/n
The recording of my presentation at CRCL'23 is now up!
youtu.be/7CeTGVp9D9s?...
In www.cohubicol.com/assets/uploa..., I criticize some AI & Law research projects for "wanting it all" and looking for an unworkable universal model of law driven by legal formalism and cybernetics.
youtu.be/7CeTGVp9D9s?...
In www.cohubicol.com/assets/uploa..., I criticize some AI & Law research projects for "wanting it all" and looking for an unworkable universal model of law driven by legal formalism and cybernetics.
20 Nov: Symposium on the Future of Computational 'Law' (session 2)
1. Natalie Byrom: 'Legal technologies and access to justice: Towards a research agenda'2. Denis Merigoux: 'Scoping AI and Law projects: Wanting it all is cou...
youtu.be
December 13, 2023 at 2:09 PM
The recording of my presentation at CRCL'23 is now up!
youtu.be/7CeTGVp9D9s?...
In www.cohubicol.com/assets/uploa..., I criticize some AI & Law research projects for "wanting it all" and looking for an unworkable universal model of law driven by legal formalism and cybernetics.
youtu.be/7CeTGVp9D9s?...
In www.cohubicol.com/assets/uploa..., I criticize some AI & Law research projects for "wanting it all" and looking for an unworkable universal model of law driven by legal formalism and cybernetics.