Alexis Bernadet


I am a former student at the ENS Cachan and I did my PhD in Computer Science at the Ecole Doctorale de Polytechnique in the LIX laboratory under the supervision of St├ęphane Lengrand and Benjamin Werner

I am currently doing a Post-doc at Dalhousie University (in Halifax, Canada) under the supervisation of Peter Selinger and working on functional quantum programming languages.

You can contact me at: bernadet at

Research work