Le Laboratoire des Systèmes Informatiques (L.S.I) du département informatique de l’Université des Sciences et de la Technologie Houari Boumédiène (USTHB) d’Alger a été créé en juillet 2000. Le laboratoire est composé de six équipes de recherche:

• Equipe Genie Logiciel (GL)



• Equipe Ingénierie des Systèmes d’Informations (I.S.I).



• Equipe Modélisation Evaluation of Performance and Quality of Service (MEPQOS)..



• Equipe Modélisation et Vérification des Systèmes parallèles (M.O.V.E.S)



• Equipe Application Multimedia, Sécurité Informatique et Systèmes Formels (VAAL).



• Equipe Mobilité.

Le programme des recherches en cours traitent :

• 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 de concepts de modélisation et d’évolution de procédés logiciels.



• Le développement d’un environnement de mise en œuvre d’applications réparties sur des réseaux informatiques avec des sites mobiles.



• L’Environnement de développement de systèmes d’information coopératifs basé sur la modélisation objet.



• Le développement d’un noyau relationnel supportant un environnement de programmation validé par des preuves de programmes et une inférence de type.