Rémi 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 RATIO, LX and Synth teams.

CV: in English / in French.
Contact: x@u-bordeaux.fr where x = remi.morvan (in French or in English).

I am interested in logic with an emphasis on database theory, automata, algebraic language theory and finite model theory.

Current responsibilities:

• Member of LaBRI's scientific council.
• Substitute member of the council of the STEM department of Univ. Bordeaux.

News

• May 2025: I sent my thesis to the jury! You can find this preliminary version as well as information on the defence here.
• May 2025: We developed a small puzzle game with some friends in 48 hours: you can play online!
• Apr. 2025: Distinguished Paper Award at PODS '25 for Minimizing Conjunctive Regular Path Queries!
• Mar. 2025: Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries is now published.
• Feb. 2025: Minimizing Conjunctive Regular Path Queries has been accepted to PODS '25!
• Dec. 2024: I've begun the redaction of my thesis...
• Oct. 2024: The Algebras for Automatic Relations has been accepted to CSL.

Improving the way we do research

I support the Theoretical Computer Scientists for Future initiative. In particular, I do not take the plane, unless for long visits in a country not accessible by train.

Some interesting webpages:

• Antoine's "What's wrong with academia?"
• Mikołaj's "How to improve your citations"
• Nath's astuces de grand-mère

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.

Talks

Publications