PhD Student in Software Supply Chain Security.CS and public politics at Ecole Normale Superieure, Paris.NixOS enthusiast and contributor.Other interests include functional programming languages, software security, formal verification.Available for freelance projects.He/Him