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).