Alexis Bernadet graduated from the ENS Cachan (Computer Science department) and did his PhD with Stéphane Lengrand at Ecole Polytechnique on non-idempotent intersection types. He is currently working as a postdoc with Peter Selinger on quantum functional languages.