This website uses cookies to help us give you the best experience when you visit our website. By continuing to use this website, you consent to our use of these cookies.
In HAL (Multidisciplinary open archive)
I am mainly interested in automated reasoning, (computational) logic and related topics (rewriting, logic programming etc.). Here are my current research topics: