Experience

  1. Postdoctoral researcher on formal methods for quantum computing

    CEA-List
    Postdoc in the Qbricks team
    QBricks

  2. Teaching Assistant

    University of Birmingham
    Compilers and Programming Language; Project; System Programming in C/C++; Network Security; Theory of Computation

Education

  1. PhD Theoretical Computer Science

    University of Birmingham
    PhD thesis on Bifibrations of polycategories and classical linear logic. Supervised by Noam Zeilberger and Paul Levy.
    Read Thesis

  2. Master in Mathematical Logic and Foundations of Computer Science

    Université Paris Diderot
    LMFI
Languages
90%
English
100%
French