Guillaume Feuillade

Contact Email : Guillaume.Feuillade (a) irisa.fr Adress : IRISA / INRIA Rennes Campus Universitaire de Beaulieu 35042 Rennes cedex - France Tel : +33 2 99 84 71 27 Fax : +33 2 99 84 71 71 Secretary : +33 2 99 84 71 54 (Myriam David)

Position

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)

Research Interest

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 :

• -- Synthesis of unlabelled Petri nets (see PhD thesis) ; synthesis of concurrent objects from formal specifications.
• -- Control of discrete event systems.
• -- Temporal Logics (Mu-calculus, CTL, LTL...)
• -- Reachability analysis over term rewriting systems (see this page)

Keywords : Logics, Concurrency, Verification, Synthesis, Infinite systems, Distributed systems, Control, Term rewriting.

Publications

Complete list (with .ps and .pdf files when available).

Teaching

Complete list (in french).