Luigi Logrippo

Département d’informatique et ingénierie

Université du Québec en Outaouais

 


 

 

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

site w3

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. 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

Information pour les étudiants désirant être encadrés par moi

Enseignement

Cours INF1033: Initiation à la programmation

Cours INF3723: Systèmes d'exploitation

Cours gradué INF6001 : Ingénierie des protocoles de communication
Cours gradué INF6031 : Rédaction et présentation scientifiques

Cours gradué INF6083: Systèmes de télécommunications: services, architecture, protocoles

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

Projet de synthèse proposé pour cette année : Logiciel pour les tablatures de luth ppt sans sonpptx avec son

Je suis aussi intéressé à superviser dans d’autres sujets reliés à mes sujets de recherche.

En fait, je suis toujours intéressé à entendre de la part d’étudiants motivés qui veuillent parler des sujets reliés à ma recherche.

Privé