Mohamed MOSBAH

Professeur en informatique  à  l'Institut Polytechnique de Bordeaux  (ENSEIRB-MATMECA)
Directeur des Relations Industrielles de l’ENSEIRB-MATMECA

Directeur adjoint du LaBRI

Adresse:
LaBRI , Université de Bordeaux,

351, cours de la Libération
33405 Talence Cedex, FRANCE

E-mail : mosbah AT  labri.fr
Tél : +33 5 40 00 69 17 / +33 5 56 84 23 33 / +33 (0) 6 74 92 83 93
Fax : +33 5 40 00 66 69 
 

English version  ( Click here)

 Curriculum Vitae détaillé


Recherche:
 
  Domaines de recherche

·        Modélisation et preuves d'algorithmique distribués.

·         Sécurité des systèmes distribués et méthodes formelles.

·         Transformation de graphes et algorithmes distribués (Projet DAMPAS (Modélisation, preuves, analyses et simulations d'algorithmes distribués) )

  Liste de publications / publications (sur HAL)

Workshop/Conference/PC  chair 

·         SCSS 2017 The 8th International Symposium on Symbolic Computation in Software Science,   6 - 9  avril , 2017,  Gammarth, Tunisie      

·       Graph Computation Models 2014, GCM 2014, 21 juillet 2014, York, Angleterre

·         Graph Computation Models 2012, GCM 2012, 29 septembre 2012, Brème, Allemagne

·         OPODIS 2010  International Conference on Principles of Distributed Systems (OPODIS), 14 – 17 décembre  2010

·         Graph Computation Models 2010 : 2 octobre  2010,  Enschede, Pays-Bas

·         SCSS 2010: Symbolic Computation in Software  Science, 29 – 30 juillet, Hagenberg, Autriche

·         CRISIS 2008 : International Conference on RIsks and Security of Internet and Systems 2008, 28 – 30 octobre, 2008 Tozeur

·         Graph Computation Models 2008 : 9th, septembre 2008, Leicester, GB

·         Graph Computation Models 2006 : 18th, septembre  2006, Natal, Brésil

Membre PC (2010-2016)

 


 Enseignement

1.      Cours Modèles et Approches Formels des Systèmes Distribuées (Master recherche )

2.      Cours Bases de données objets (3ème A. Informatique, ENSEIRB-MATMECA)

3.      TP Base de données objets 

4.      Cours Programmation avancée (3ème A, ENSEIRB-MATMECA)

6.      TD Bases de données (2ème A. informatique, ENSEIRB-MATMECA)

7.      TP Bases de données ORACLE( 2ème A. informatique, ENSEIRB-MATMECA)



Projets et contrats de recherche (en cours)



 

dernière mise à jour : février  2017