
Research Engineer at INSERM
Paris Area, France

Research Engineer at INSERM
Paris Area, France
Methods Expert
Organizer of
UML&FM'2009 : The 2nd IEEE International workshop on UML and Formal Methods
December 8th, 2009 Rio de Janeiro, Brasil
http://www.artist-embedded.org/artist/UML-FM-2009.html
Organizer of
UML&AADL'2010 : The fifth IEEE International workshop UML and AADL
Oxford, March 24th, 2010
http://www.artist-embedded.org/artist/UML-AADL-2010.html
MDE, MDA
The C-Method, HOOD-HRT, SA-RT, PBSE
UML, MARTE, AADL
+CAL/TLA+, PVS
(Non-Profit; 501-1000 employees; Computer Software industry)
January 2008 — Present (2 years )
(Non-Profit; 1-10 employees; Computer Software industry)
April 2004 — Present (5 years 9 months)
(Government Agency; 10,001 or more employees; Research industry)
January 2001 — Present (9 years )
Methods Expert
(Educational Institution; 201-500 employees; ECP; Higher Education industry)
January 2001 — Present (9 years )
Cours UML
(Research industry)
September 2005 — September 2009 (4 years 1 month)
(Computer Software industry)
2008 — 2008 (less than a year)
PhD , Computer Science , 2006 — 2009
Modeling Languages, Formal methods
SEE GL TC President
IEEE member
SEE senior member