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

Professor of Computer Science/Prof d’informatique @ l’Ecole Polytechnique

Computations with Ordinary Differential Equations. Computation theory. Logic. Comparability. Complexity theory.

Gyroroue. #Casque_à_couettes. #JeKiffeLesMachinesDeTuring

#Computationtheory#OrdinaryDifferentialEquations#AnalogComputations #Computability #Computability

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)

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

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

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

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.
Its main research topics are machine learning, combinatorial optimization and high performance computing, design and analysis of combinatorial models at the interface of physics, geometry and algorithmics, foundations of computation and formal verification, automatic natural language processing and knowledge representation.

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.