Academic and engineer. Formal Verification, Artificial Intelligence, Explainability, Self-Hosting.

Wrapups and opinion pieces at https://julien.girard-satabin.fr
🥀 In 10 years, we will not be able to build new computers.
😷 Wear a mask, save lives.