Scholar
Rémi Morvan
Google Scholar ID: Vj5GpLQAAAAJ
LaBRI, Université de Bordeaux
Citations & Impact
Citations
52
H-index
3
i10-index
2
Publications
10
Co-authors
5
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Distinguished Paper Award at PODS '25 for Minimizing Conjunctive Regular Path Queries; The Algebras for Automatic Relations accepted to CSL; Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries published.
Research Experience
- Member of LaBRI's scientific council; Substitute member of the council of the STEM department of Univ. Bordeaux.
Education
- Ph.D. student at LaBRI, Université de Bordeaux since September 2021, supervised by Diego Figueira and Nathanaël Fijalkow, in the Formal Methods and Models department, RATIO, LX, and Synth teams.
Background
- Interested in logic with an emphasis on database theory, automata, algebraic language theory, and finite model theory.
Miscellany
- Supports the Theoretical Computer Scientists for Future initiative, avoiding air travel unless necessary; Developed knowledge-clustering, a command-line tool to automate the use of knowledge.
