Université du Québec en Outaouais

Département d’informatique et ingénierie

 

Prof. Luigi Logrippo

page maison

 

For English, please click here

Formation

Domaines de spécialisation

 

 

1974 Ph.D. - Computer science (University of Waterloo)

1969 M.Sc. - Computer science (University of Manitoba)

1961 Laurea - Giurisprudenza (Università di Roma)

Génie logiciel

Méthodes formelles: vérification, validation, test

Méthodes logiques et algébriques

Systèmes télécom: services, architecture, protocoles

Sécurités des données, contrôle d’accès, protection de l’intimité

 

 

Coordonnées

Adresse Postale

 

 

Pavillon Lucien-Brault,
101, Rue St-Jean-Bosco, pièce B-2010
Gatineau, Québec
(pour livraisons spécifier en alternative pièce B-2040, le sécretariat)

Courriel: luigi@uqo.ca

Téléphone: (819) 595-3900 poste 1885

Télécopieur: (819) 773-1638

Université du Québec en Outaouais

Département d'informatique et ingénierie

Case Postale 1250, Succ. B

Gatineau, Québec

Canada J8X 3X7

Profil

J’ai reçu un diplôme en droit de l’Université de Rome ‘La Sapienza’ en Italie en 1961, et dans la même année j’ai écrit mon premier programme d’ordinateur! Jusqu’à 1967, j’ai travaillé dans l’industrie informatique comme programmeur et analyste: Olivetti, Olivetti-Bull, General Electric, et Siemens. De 1967 à 1969 j’ai été chercheur à l’Institute for Computer Studies, Université du Manitoba, et j’ai obtenu une maîtrise en informatique dans cette université en 1969. Ensuite j’ai obtenu un doctorat en informatique à l’Université de Waterloo en 1974. De 1973 jusqu’à 2002 j’ai travaillé à l’Université d’Ottawa, dans le département d’informatique et puis, après la formation de la suivante, dans l’École d’ingénierie et technologie de l’information (EITI), maintenant appelée École de science informatique et génie électrique (ESIGE). J’ai été directeur du département d’informatique du 1991 au 1997 et directeur administratif de l’ÉITI en 1997/1998. J’ai passé des années ou périodes sabbatiques à Bell-Northern Research, à l’Université de Twente aux Pays Bas, à l’Université Stirling en Écosse, à l’ENST Bretagne et Université Lyon I. Depuis 2002, je suis professeur dans Département d’informatique de l’UQO.

J’ai publié dans un bon nombre de sujets : schémas de programmes parallèles; génie logiciel orienté modèles; analyse de la musique; conception et analyse formelles de protocoles de communications; langage algébrique LOTOS; conception et analyse formelles de systèmes téléphoniques aux fonctionnalités complexes; problème de l’interaction de fonctionnalités; logique dans le raisonnement juridique; implémentation de normes légales; systèmes de contrôle d’accès aux données. Voir en bas un lien à mes publications,

Je me suis aussi beaucoup occupé de création et restructuration de programmes académiques à tous les niveaux : premier, deuxième et troisième cycle (maîtrise et doctorat).

Recherche

Mes sujets de recherches courants sont :

Méthodes formelles c’est-à-dire application de méthodes logiques et algébriques dans la conception de logiciels dans les domaines suivants :

·       Sécurité : contrôle d’accès aux données, contrôle de flux (v. cours INF6153)

·       Protection de l’intimité

·       Systèmes normatifs, leur analyse logique

·       Commerce électronique

·       Protocoles de communication

Je participe au laboratoire LRSI avec mon collègue Kamel Adi.

Je suis intéressé à entendre de la part d’étudiants de maîtrise et doctorat qui souhaiteraient étudier sous ma supervision, dans mes sujets de recherche. Dans le cas d’étudiants à temps complet, je peux assurer des bourses aux meilleurs. Un étudiant vraiment intéressé devrait montrer une quelque connaissance de mes travaux, voir ci-dessous.

Ma généalogie scientifique

Ma postérité : étudiants gradués et postdocs

Des articles récents sont ici

Quelques présentations récentes sont ici.

Quelques mémoires récents sont ici

Je suis toujours intéressé à parler avec des étudiants intéressés à mes sujets de recherche. Information pour les étudiants désirant être encadrés par moi

Enseignement

Cours INF3723 : Systèmes d’exploitation

Cours CYB1033 : Aspects légaux de la cybersécurité

Cours gradué INF6153 : Systèmes de contrôle d’accès aux données

 

Les notes de cours que vous trouverez ici sont offertes ‘au monde internet’ sans droits d’auteur. Cependant, si vous les utilisez, SVP citez leur provenance. Aussi, j’apprécierai entendre de votre part concernant vos commentaires et possibilités d’améliorations.