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.

🏛️ 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...

3️⃣ Une solution technologique maintenue dans la durée qui prend la forme d'une solution logicielle, nécessite un développement technologique, et implique un ou des partenaires de la filière numérique française pour garantir la durabilité.

2️⃣ Un problème numérique difficile qui requiert l’expertise scientifique et technologique de la recherche publique, pour prévenir toute distorsion public/privé.

1️⃣ Un porteur de politique publique qui commande, soutient et arbitre les décisions du projet en fonction de ses besoins.

Il s'inscrit dans une démarche de commande publique innovante, en lien étroit avec le Comité Stratégique de Filière «Logiciels et Solutions Numériques de Confiance » (numeriquedeconfiance.fr).

🧪 Le programme donne un cadre à des projets numériques, chacun intégrant trois ingrédients :

🏢 Le « Programme Apollo » de l'Agence de programmes Numérique — Algorithmes, Logiciels et Usages portée par Inria implique l’ensemble de la recherche publique dans une démarche de renforcement de la souveraineté numérique des politiques publiques par la recherche et l’innovation.

👩‍💻 Cheffe / Chef de projet Apollo | recrutement.inria.fr/public/class...
👩‍💼 Responsable de l’écosystème au sein du programme Apollo
| recrutement.inria.fr/public/class...

Programme Apollo, piloté par Inria

🚀 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.

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...

According to insights.sei.cmu.edu/documents/72..., an active goal in the 2000's was to reach level 2 of the diagram below for project management in the IRS.

I'm sure that they'll manage to do in a breeze with AI what decades of enterprise modernization efforts has failed to do :) ipmn.net/wp2/wp-conte...

Oui bien sûr, toute politique a des effets secondaires. Balance bénéfice risque, etc. Après c'est des choix politiques quand on est dans la zone grise ! Mais la sur les quotas en STEM c'est un choix politique que de pas en faire du tout aussi, un choix très conservateur !

Quelle catégorie (sauf personnes trans ou intersexe bien sûr, mais qui représentent une minorité numérique à gérer avec bon sens dans ce genre de dispositif administratif). Évidemment en pratique c'est difficile de bien faire les choses mais arrêtons le discours de "la pente glissante".

Et quand à appliquer les mêmes méthodes à d'autres types de discrimination, ça a déjà été fait dans d'autres pays comme l'Inde ou les US avec des résultats variables. Ce qui marche bien avec les quotas sur la parité c'est que la politique est simple : 50% et c'est clair de qui appartient à...

Mais cette sur-féminisation se fait dans des filières qui ouvrent à des métiers qui gagnent généralement moins, donc ça ne contribue pas à réduire les inégalités de salaire global. Est-ce qu'on veut la parité partout pour la parité ou bien pour réduire les inégalités ? C'est à débattre.

Les quotas ne sont pas mutuellement exclusifs d'une annulation de la réforme Blanquer. Mais même avec un bac S la baisse du taux de femme entre TS et ESR en STEM était importante donc ça ne suffit pas. Oui la sur-féminisation d'autres filières est le phénomène miroir pas forcément désirable.

Bah au stade de déféminisation catastrophique (et en régression, merci Blanquer !) où en est l'ESR français en STEM, oui les quotas dans les filières sont un passage obligé de toute politique publique un peu ambitieuse, je suis d'accord avec la présidente du HCE auditionnée à l'assemblée.

Le débat ici c'est "les quotas sont incontournables" = "ânerie"? Après oui si tu veux faire une politique de parité il faut mélanger plusieurs mesures et ne pas faire que le supérieur mais aussi lycée, etc. Mais il ne faut pas non plus exclure d'emblée un peu de quotas dans le supérieur !

Ha ha faut faire gaffe, quand on suit ce raisonnement on finit par se demander si c'est réellement bien de fonder la distinction et la hiérarchie sociale tout au long de la vie sur le niveau en mathématiques de taupe à 18-19 ans !

À cmu ils ne forcent personne, ils ont juste décidé d'inclure en proportion plus de filles que de garçons les premières années. Puis le nombre de filles candidates a augmenté et ils sont revenus à une sélection "naturelle" sur les notes, garçons comme fille. Mais avec la parité cette fois ci !

Depuis la sélection universelle dans le supérieur on interdit tous les ans à des garçons et des filles de faites des sciences ou autre discipline pour gérer la pénurie dans l'ESR. Il y a un nombre de places limitées, il faut choisir comment tu remplis en excluant. Comment faire autrement ?

Il y a beaucoup de recherche en SHS sur ce sujet et le quota dans les filières est effectivement incontournable pour faire changer les choses, pas une règle à garder éternellement. Mais on peut aussi décider d'ignorer la recherche sur le sujet et ne rien faire en invoquant votre genre d'arguments

J'ai fait mon Master en informatique dans une université avec une parité parfaite entre femmes et hommes. C'était pas du tout une ânerie, c'était juste normal. La phase de quota était temporaire, ensuite ils avaient autant de bons dossiers de femmes que d'hommes :

www.cs.cmu.edu/~cfrieze/Kic...

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...

📰 “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...

Catala: a programming language for the law | Proceedings of the ACM on Programming Languages Law at large underpins modern society, codifying and governing many aspects of citizens' daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout various courts and ...

Congratulations to you Jonathan! Thanks again for doing so much for this paper (the introduction, the formalisation of passes before the default calculus, etc.). Thanks also for Nicolas for helping us crafting the semantics!

dl.acm.org/doi/10.1145/...

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

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... -

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)

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