Pages personnelles professionnelles
Bonjour,
Homonymie : Attention, il existe un autre Marc Boyer, Marc
Gabriel Boyer, qui a fait sa thèse à l'ONERA, maître de conférences à l'
IUT A de Toulouse, et qui fait sa recherche au
LGC .
Thèmes et activité de recherche: méthodes formelles pour les systèmes embarqués communiquants
Je m'intéresse aux architectures et méthodes formelles pour les systèmes embarqués communiquants. Cela inclue des travaux théoriques sur les modèles (réseaux de Petri, calcul réseau), autant que des études pratiques (architectures, maquette).
Je suis animateur du groupe
WEED de l'
AFSEC , et membre des comités de programme de la
conférence ERTS² ,
workshop WCTT et du
Symposium MARC de Juillet 2012 .
En savoir
plus...
Enseignements
J'enseigne principalement l'Ingénierie des protocoles (conception, spécification, cycle en V, Lotos, Petri, SDL) en 2ème année
Télécommunications et Réseaux de
l'ENSEEIHT .
Je fais ces enseignements avec Frédéric Boniol et
Claire Pagetti .
J'ai auparavant enseigné le C, le Java, etc.
Stages
Je propose actuellement plusieurs stages:
Voir tous les stages du département.
Mini-Bio
Stats with
<div class="statcounter"><a title="wordpress statistics" href="http://www.statcounter.com/wordpress.com/" target="_blank"><img class="statcounter" src="http://c.statcounter.com/4564235/0/a5b94873/1/" alt="wordpress statistics" ></a></div> StatCounter amp;amp;lt;div class="statcounter"><a title="myspace visitor tracker" href="http://www.statcounter.com/myspace/" _fcksavedurl=""http://www.statcounter.com/myspace/"" _fcksavedurl=""http://www.statcounter.com/myspace/"" target="_blank"><img class="statcounter" src="http://c.statcounter.com/4564235/0/a5b94873/0/" _fcksavedurl=""http://c.statcounter.com/4564235/0/a5b94873/0/"" _fcksavedurl=""http://c.statcounter.com/4564235/0/a5b94873/0/"" alt="myspace visitor tracker" ></a></div>
