![](/sites/default/files/styles/post_card_lg_2x/public/photo_10.jpg?h=9c187e93&itok=ujgTL_an)
Alexis Bernadet
Postdoctoral Researcher, Dalhousie University
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.