Photo of Rémi Morvan

Rémi Morvan

Contact: where x = remi.morvan

About me

Since September 2021, I am a Ph.D. student at LaBRI, Université de Bordeaux, under the supervision of Diego Figueira and Nathanaël Fijalkow, in the Formal Methods and Models department, in the LX, RATIO and MTV teams.

CV: in English / in French.
Contact: where x = remi.morvan (in French or in English).

I am interested in logic and its connection with algebra, including but not limited to automata, algebraic language theory, infinite-duration games, finite model theory and database theory.

Current responsabilities:


  • Feb 2024: I'm co-organizing the ATLAS '24 workshop on automata, logic and algebra, in Rennes, on 23—25 April.
  • Jan 2024: SafeToC advocate and member of the organizing committee of Highlights '24.
  • Nov 2023: Now member of LaBRI's scientific council.
  • Nov 2023: The journal version Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries of our ICDT'23 paper has been sent to LMCS's special issue! arXiv

Recent publications

See all publications

Recent talks

See all talks

Knowledge (links)

  • the knowledge LaTeX package;
  • knowledge-clustering: an easy-to-use command-line tool I developed to automate the use of knowledge;
  • knowledge-examples: a minimal example for knowledge and a tutorial for both knowledge and knowledge-clustering.

I never thought I would meet someone this excited about knowledge! Thomas C.