Activities

Last updated on March 10th, 2021.

TEACHING

  • Complexity theory 2020-2021 (Leiden University) [Course preparation].
  • Quantum algorithms 2019 (Leiden University) [Guest lecture].
  • Category theory 2013-2014 (Radboud University).
  • Programming project 2011-2013 (Paris Diderot University).
  • Python 2011-2012 (Paris Diderot University).

ACADEMIC ACTIVITIES

  • Reviewer for: QPL’15, QPL’16, LMCS, LORI-VI, CALCO’17, APLAS’17, QPL’17, Types’18, CALCO’19, QIP ’18-’20, TQC’18, SIAM Journal of Computing, TOPLAS, QINP

GRANTS & SCHOLARSHIPS

  • Bourse de mobilité
    State merit-based scholarship for a research internship at the University of Tokyo.
    Summer 2012, Ministry of Education.
  • Bourse au mérite
    State merit-based scholarship for undergraduate students.
    2008-2011, Ministry of Education.