Guillaume Feuillade

Contact Email : Guillaume.Feuillade (a) irit.fr Adress : IRIT - Univ. Paul Sabatier 118 Route de Narbonne, F-31062 Toulouse Cedex 9, France Tel : +33 (0)5 61 55 77 13 Fax : +33 (0)2 99 84 71 71

Position

I am currently Maître de conférence (lecturer) at the Univ. Paul Sabatier in Toulouse (France) and member of the LILaC team at IRIT.

Research Interest

My research topics are :

• -- Composition of Services
• -- 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

My teaching page (in french).