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 database theory, automata, algebraic language theory and finite model theory.

Current responsabilities:

• 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

• Oct. 2024: The Algebras for Automatic Relations has been accepted to CSL.
• Aug 2024: We are co-organizing the Workshop on Algebraic Methods in Automata Theory with Thomas Colcombet at Highlights '24. Do not hesitate to get in touch if you are interested!
• June 2024: Antoine Cuvelier is starting an internship on the homomorphism problem on automatic graphs.
• 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 of Highlights '24.
• Nov 2023: Now member of LaBRI's scientific council.

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