|
|
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 |
||||||||||
|
|
|
||||||||||
|
|
||||||||||
|
|
|
||||||||||
|
Coordonnées |
Adresse Postale |
||||||||||
|
|
|
||||||||||
|
|
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 postérité : étudiants gradués et postdocs
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.