اللقب & الإسم : | MAZIGH Bel-Hassen |
تاريخ الولادة : | Lundi 01 Octobre 1962 à ELALIA |
الحالة المدنية : | Marié |
الموقع : | http://www.belhassen-mazigh.sitew.com/ |
البريد الإلكتروني : | Belhassen.mazigh@gmail.com |
العنوان : | chez moi |
Informatique |
Ecole primaire (ELKHARROUBA, Bellevue, Tunis) Bac Math sciences (lycé ELOUARDIA, Tunis) DEUG Physique-chimie (FSTMonastir) Ingénieur Energéticien (ENIM) Ingénieur spécialisé en electronique (En7 Toulouse) DEA EEA (Université de Haute Alsace, Institut Polytechnique de Mulhouse) Doctorat EEA (Université de Haute Alsace) |
- Les systèmes d’Exploitation et les Logiciels Libres (LF1, LF2, LA1 et LA2) - Spécification formelle : le langage Z (LFI3, Master Informatique Pro.1 et 2 et Master Informatique Fond.) - Modélisation et analyse des performances des systèmes à événements discrets (LFI3 et Master Informatique Fond.) - Sécurité - Fiabilité - Sûreté des systèmes informatisés (Ingénieurs Info.et Master Informatique Fond.) - Machines temps réel pour le contrôle-commande (Ingénieurs Info.) - Algorithmique et programmation (Prépa) - Systèmes de mesures informatisés (Ingénieurs Info.) - Principes, langages et formalismes du temps réel (Ingénieurs Info.) |
Bel-Hassen MAZIGH was born in Bizerte, Tunisia, in 1962. Engineer Energy by the National School of Engineers of Monastir, Tunisia in 1988. Graduated in Electronic Engineering from the ENSEEIHT of Toulouse, France in 1989. He received the Ms.Sc. and the Ph.D. degree in Industrial Engineering from the University of Haute Alsace, France, in 1990 and 1994, respectively. Since 1994 he has been Teacher-cum-Researcher at the Computer Science Department in the University of Technology, Belfort-Montbéliard, France. Since 2000 he has been Teacher-cum-Researcher at the Computer Science Department in the Faculty of Science in Monastir, Tunisia. Their main areas of investigation are: Analysis of Production Systems, Formal Specification and Modeling Approach and Multi-agent Systems.
|
Thèses :
[T1] : François Simon ; Systèmes à tolérances de fautes soumis à des contraintes temporelles : Analyse de la Performabilité par les réseaux de Petri stochastiques généralisés, thèse soutenue le 14 décembre 1996à l'Université de Haute Alsace sous ma responsabilité. Directeur : Professeur Julien Gresser.
[T2] Mohamed Garoui; Analyse formelle de la sûreté de fonctionnement d'un platoon. Thèse en co- tutelle avec le laboratoire SET à l'Université de Technologie de Belfort Montbéliard. Pr. Abderrafiaa KOUKAM. Soutenance prévu en France en 2015.
DEA et Master de recherche :
[M1] Hervé Bullier ; Réalisation d'un outil d'aide à l'évaluation des systèmes à événements discrets par les réseaux de Petri stochastiques généralisés. DEA Informatique Industrielle et Automatique. Mulhouse, soutenu en septembre 1993 à Université de Haute Alsace.
[M2] Bruno Peltier ; Modélisation et analyse de convertisseurs statiques par les réseaux de Petri. DEA Informatique Industrielle et Automatique – Mulhouse, soutenu en septembre 1996 à Université de Haute Alsace, . Co-encardrement avec le professeur A. Koukam.
[M3] Antoine Le Grand ; Méthodes d’optimisation des systèmes complexes : une approche basée sur les RdPSG. DEA Informatique, Automatique et Productique- Besançon, soutenu en septembre 1997 à l'Institut Polytechnique de Sévenans – Belfort.
[M4] Anis ELMemmi ; Une approche multi-formalisme pour la spécification formelle des Systèmes Multi-Agents. Master de recherche soutenu en janvier 2007 à la faculté des sciences de Monastir.
[M5] Mohamed GAROUI ; Vers une approche de Spécification formelle des organisations productives Holoniques.Master de recherche soutenu en septembre 2011 à la faculté des sciences de Monastir.
[M6] Ahmed HAMMED ; Recouvrement d’Erreurs dans les Manufactures de Production: Une Approche Formelle Basée sur les Systèmes Multi-agent Holoniques. Master de recherche soutenu le 22 février2012 à la faculté des sciences de Monastir.
[M7] Olfa Mabrouk. Master de recherche soutenu le 15 décembre 2012 à la faculté des sciences de Monastir.
[M8] Kaîs Ben Fadhel. Master de recherche soutenu le 09/11/2012 à la faculté des sciences de Monastir. |
1987 à 1988 : 1989 à 1993 : Maître Auxiliaire en BTS Contrôle Industriel et Régulation Automatique (CIRA) au lycée Louis Armand de Mulhouse. 1990 à 1991 : 1987 à 1988 : 1992 à 1993 : 1993 à 1994 : Attaché Temporaire d'Enseignement et de Recherche au Département de Mathématique et d'Informatique de la Faculté des Sciences et Techniques de Mulhouse.
1994 à 1999 :
Formateur en Informatique des Assistants et Maître-Assistant à l’Université de Monastir. |
Association des Hommes Libres |
1. La nuit, je dors bien :)
2. J’attends que les lâches, les cons et les arrivistes se désintègrent ! c'est mon droit de réver. |