Email : Guillaume.Feuillade (a) irisa.fr
I am currently ATER (short term lecturer) at the IFSIC in Rennes, France and member of the S4 at IRISA. For more information, have a look at my cv (English or French)
I have defended my PhD thesis on "Logical Specifications for Petri Nets" (December 2005), under the direction of Sophie Pinchinat. More details on this page.
My research topics are :
Keywords : Logics, Concurrency, Verification, Synthesis, Infinite systems, Distributed systems, Control, Term rewriting.
Complete list (with .ps and .pdf files when available).
Complete list (in french).