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)

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

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.

Professeur @ Université Sorbonne Paris Nord
Institut Universitaire de France (2024-2029)

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

The Laboratoire d'Informatique de Paris-Nord (LIPN) is a joint research unit between the CNRS and the Université Sorbonne Paris Nord (USPN), with 150 researchers.
https://lipn.univ-paris13.fr/

CNRS researcher, father of two. Research topics: mathematical foundations of computer science (mathematical informatics), philosophy of science. Scientific secretary of section 06 (Computer and Information Sciences) and member of CID53 (science and society) of CoNRS (https://www.cnrs.fr/comitenational/english/UK_acc.htm).