Hello,

I am a research scientist, in the DTIM departement of the ONERA. I am working on architectures and formal methods for embedded communicating systems.

Which Marc Boyer ? It exist another Marc Boyer, Marc Gabriel Boyer, assistant professor at IUT A of Toulouse.

---

Research area: formal methods for embedded communicating systems

I am interested in architectures and formal methods for embedded communicating systems. It includes theoratical works on formal models (Petri nets, network calculus) and also pratical studies (architectures, platforms).

I am member of the programme committees of ERTS² 2012 conference, WCTT workshop, and the Symposium MARC (July 2012).


More...

---

Mini-Bio

• 1996: Engineer Degree in Computer Science at ENSEEIHT + DEA (Master of Science) in Fondamental Computer Science and Parallelism
  
• 1997-2001: PhD thesis from Toulouse III University at LAAS, in the OLC research group.
  
• 2001-2002: PostDoc at the LIAFA in the Modelling and model-checking research group. I was supported by the ADVANCE European project. 
• 2002-2008: Assistant professor at ENSEEIHT, in the  Telecommunications and Networks department. My reasearch activities were made in the IRT group, part of the IRIT Lab.
• 2008- : Research scientist, ONERA/DTIM