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.

Program Visits

Logical Structures in Computation, Fall 2016, Visiting Postdoc