Alexis Muller

Adresse: Centre de recherche INRIA Lille - Nord Europe; Parc Scientifique de la Haute Borne 40; avenue Halley Bât.A; Park Plaza 59650 Villeneuve d'Ascq
Tel:: (+33) (0)3 59 57 78 12
E-mail

Je suis actuellement membre de l'équipe projet DaRT de l'INRIA Nord Europe. Je travaille sur des chaînes de transformations d'un modèle UML profilé MARTE vers différentes cibles (SystemC, OpenMP, VHDL, signal,...).

J'ai effectué un post-doc dans l'équipe MoVe (Modélisation et Vérification) du Laboratoire de Paris 6 (LIP6) sur le projet européen ModelPlex.

J'ai effectué ma thèse "Construction de systèmes par application de modèles paramétrés" dans l'équipe GOAL du Laboratoire d'Informatique de Lille (LIFL) sous la direction de Jean-Marc Geib.

J'ai organisé, dans le cadre des conférences LMO et IDM, un atelier de travail sur la composition de modèles CoMo07