Clément Rouvroy

Education & Projects

My academic background has provided me with practical skills for high-efficiency coding alongside deep theoretical knowledge in areas like Linear Algebra, Complexity Theory, and Database Theory. All courses were completed with the highest distinction (mention très bien).

My full Curriculum Vitae is available for download here.

Coursework

Artificial Intelligence Courses
Data & Database Research
Applied Computer Science
  • OS (Timothy Bourke)
  • Numerical System
  • Compilation (Jean-Christophe Filliâtre)
Formal & Algorithmic CS
  • Algorithmic (Tatiana Starikovskaya, Pierre Aboulker)
  • Lambda-Calculus (logic) (ENS Paris-Saclay, Jean Goubault-Larrecq)
  • Formal Language & complexity theory (Michaël Thomazo)
  • Advanced Complexity (MPRI)
  • Combinatorial Optimisation (Chien-Chung Huang)

Selected Projects

You can find my main public projects on GitHub.

Nanyang Technological University, Singapore

From my internship at NTU, supervised by Prof. CONG Gao and PhD. SHI Jiachen.

ENS Paris, IASD M2, France

Projects made with peers from the M2; please check each report for collaborator details.

ENS Paris, PSL University, France

Projects made with Nathan Boyer and Grégoire Le Corre.