Enseignements

Licence d'informatique 3ème année : applications réparties, administration système sous LINUX.
Master Professionnel informatique 1ère année : introduction aux réseau de Petri.
Master Professionnel informatique 2ème année : réseau de Petri temporisés, administration système sous Linux.

Recherche

Mes travaux de recherches concernent la sûreté et la sécurité de l'information et des systèmes. Il se répartissent en 3 volets:

La sécurité des échanges de données électroniques et plus particulièrement des images par des techniques de tatouage (watermarking).
La sûreté de fonctionnement logicielle des applications robotiques, par la mise au point de mécanismes de sûreté aux différents niveaux de la réalisation d'une application robotique, allant de la conception du langage de programmation de mission à la conception et la mise en oeuvre de l'architecture logicielle robotique.
Les méthodologies logicielles pour le test de cartes hybrides (analogiques-numériques).

Mes travaux de recherche antérieurs ont porté sur la tolérance aux fautes, Ada 95 et la répartition. Dans ce cadre, j'ai participé, à la mise en oeuvre de l'annexe systèmes distribués du compilateur GNAT (GNU NYU Ada Translator) développé à l'Université de New York et maintenu par Ada Core Technologies. GNAT est un compilateur du domaine public.

Administration et tâches collectives

J'assure quelques responsabilités et tâches collectives au sein du Département d'Informatique de l'UFR Sciences à l'Université de Brest, ainsi que la Direction du Site UBO du Lab-STICC (UMR 6285).