Reachability analysis over Term Rewriting Systems

Context

My master thesis took place in the LANDE team at IRISA under the supervision of Thomas Genet. The topic was to adapt an algorithm for reachability analysis over term rewriting systems to conditionnal term rewriting systems. During my early PhD, 2 articles where written over this subject (see publications). Since the end of my PhD, I am studying new problems over the topic of reachability analysis over term rewriting systems.

Links

• -- Thomas Genet's page over term rewriting systems
• -- The page of the Timbuk tool, developped by Thomas Genet and Valerie Viet Triem Tong for achieving proofs of reachability over Term Rewriting Systems