Le Laboratoire des Systèmes Informatiques (L.S.I) de la faculté informatique de l’Université des Sciences et de la Technologie Houari Boumédiène (USTHB) d’Alger a été créé 07 juillet 2000 avec le numéro d’agrément : 88. Le laboratoire est composé de cinq équipes de recherche : Equipe Mobilité , Equipe Web Technologie et Sécurité Informatique V.A.A.L ; Equipe Modélisation et Vérification des Systèmes Parallèles M.O.V.E.S ;Equipe Ingénierie des Systèmes d’Information I.S.I ;Equipe Génie Logiciel G.L.
Le programme des recherches en cours traitent:
Le développement de concepts de modélisation et d’évolution de procédés logiciels.L’Environnement de développement de systèmes d’information coopératifs basé sur la modélisation objet.
Le développement d’outils de spécification et de validation pour les systèmes parallèles utilisant les modèles basés sur les réseaux de Pétri temporisés ou les graphes temporisés.
Le développement d’environnement basé WEB validé par des preuves de programmes ainsi que la prise en charge de sa sécurité.Le développement d’un environnement de mise en œuvre d’applications réparties sur des réseaux informatiques avec des sites mobiles.
Les thèmes de recherche du laboratoire couvrent un large spectre de l’informatique et incluent à la fois des aspects fondamentaux et des aspects appliqués: algorithmique, génie logiciel, vérification et preuves, parallélisme, réseaux, bases de données, fouille de données, multimédia, sécurité informatique, interaction homme-machine, etc. Cette diversité est l’une des forces du laboratoire car elle favorise les recherches aux frontières, là où le potentiel d’innovation est le plus grand. Le laboratoire est présent dans de nombreux projets nationaux et internationaux, notamment les projets cnepru, PNR, CMEP.
Pr BELKHIR Abdelkader, directeur du LSI