Photo of Rémi Morvan

Rémi Morvan

Contact: x@u-bordeaux.fr 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 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 responsabilities:

News

  • Feb. 2024: Minimization of Conjunctive Regular Path Queries has been accepted to PODS '25. Preprint incoming!
  • Dec. 2024: I've begun the redaction of my thesis!
  • 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.

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.

Talks

Publications