Lazhar HAMEL

Lazhar a obtenu son doctorat en informatique en 2018 à l’Université de Sfax, Tunisie, après avoir réalisé sa thèse sur la vérification formelle des architecture logicielles à base de composant-service. Après sa thèse, il a servi comme ingénieur R&D à l’École de Mines de Saint-Etienne, en France, où il a participé à des projets de recherche de 2019 à 2020. En 2020, il a rejoint l’Institut Supérieur d’Informatique et de Mathématiques de Monastir (ISIMM) en tant que Maître-Assistant, et a occupé les fonctions de Directeur du département Informatique, membre du conseil scientifique et directeur du bureau de qualité de l’institut.

Actuellement, Lazhar est enseignant-chercheur en Logiciels et Systèmes d’information. Ses recherches portent en particulier sur l’utilisation des méthodes formelles (B/Event-B) pour vérifier différents types d’architectures logicielles, notamment dans les environnements de Cloud et de Fog computing. Il s’intéresse à la résilience, la sécurité et à la robustesse des systèmes logiciels, et cherche à intégrer les méthodes formelles dans des solutions pratiques pour des défis d’actualité dans le domaine de l’informatique.

• Méthodes formelles
• Cloud et fog computing
• Résilience des systèmes informatiques

• DevOps and Continuous Deployment
• DevOps and Continuous Delivery
• Business Process Management

Lien vers HAL – https://hal.science/search/index?q=lazhar+hamel

Lien vers ORCID – https://orcid.org/0000-0003-1920-1825