top of page
Research
Students
Samuel Humeau
Samuel is preparing his Phd thesis under the supervision of Damien Pous and I. He investigates the problem of axiomatizing the isomorphism for graphs of bounded tree-width.
Fatemeh Ghasemi Mohsen
Fatemeh is preparing her Master 1 thesis under the supervision of Denis Kuperberg and I. she investigates the compexity of deciding whether a regular expressions for treewidth 2 graphs are guarded. She also analyzes the cost of changing the formalism, between regular expressions, algebra and the logic CMSO.
bottom of page