#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory.
Pronouns : She/her

AI researcher, Science believer, C++ lover, old-school gamer, overwhelmed father.

Professeur @ Nantes Université
Institut Universitaire de France (2024-2029)

Professor at Mines Paris & Curie Institute. Machine learning for life sciences and therapeutic research. Shallow learning + fat data. #BiInSci. Cofounder of Paris WiMLDS. #MECFS patient.

Compte perso.

Je m'intéresse à: Algorithmes (surtout pour l'action publique), Informatique théorique, ESR, Science.

Et: Nature, Christianisme, Politique (un petit peu).

#covid #ESR #EN #retraite

Post-doc at INRIA/IRIF/Université Paris Cité.

I mostly try to convince proof assistants that they are doing reasonable things. Sometimes this involves studying type theory. Sometimes this means understanding what our implementations do. All in all, it's not too bad.

Profile banner (from the Leonard comic by Turk & de Groot):
- I wanted to serve science because it it my joy and instead of that, what am I doing?...
- Yes, what is he doing?
- I guess he's complaining!

Assistant Prof. in Computer Sciences at Augusta University (GA, USA)

🇺🇸 Associate Prof. in Computer Sciences at Augusta University (GA, USA)
---
🇫🇷 Enseignant-chercheur en Informatique à l’Université d’Augusta (États-Unis d’Amériques)