![](https://old.simons.berkeley.edu/sites/default/files/styles/profile_main/public/photo_10.jpg?itok=QvOMDJVM)
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.