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 LX, RATIO and MTV 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 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:

• In charge of the LX seminar (Logical foundations of computing) with Guillaume Lagarde.
• Member of LaBRI's scientific council.
• Member of the board of the AFoDIB (PhD students association).
• Substitute member of the council of the STEM department of Univ. Bordeaux.

News

• Feb 2024: I'm 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

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