Luigi Logrippo

Département d’informatique et ingénierie

Université du Québec en Outaouais

 


 

 

Luigi

 

For English, please click here

Formation

Domaines de spécialisation

 

 

1974 Ph.D. in computer science (University of Waterloo)

1969 M.Sc. in computer science (University of Manitoba)

1961 Laurea en droit constitutionnel (University de Rome)

Génie logiciel

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

Méthodes logiques et algébriques

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

Contrôle d’accès

 

 

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 diplome en droit de l’Université de Rome ‘La Sapienza’ en Italie en 1961, et dans la meme 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 cette dernière, dans l’École d’ingénierie et technologie de l’information (EITI). 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 sabbatiques à Bell-Northern Research (maintenant Northern Telecom) et à l’Université de Twente aux Pays Bas. Je suis maintenant professeur dans Département d’informatique de l’UQO.

Recherche

Mes sujets de recherches 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

·         Protection de la vie privée

·         Systèmes normatifs, leur analyse logique

·         Commerce électronique

·         Fonctionnalités avancées dans Voix sur IP, interaction de fonctionnalités

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

Quelques articles récents sont ici.

Quelques présentations récentes sont ici.

Quelques mémoires ou thèses récentes sont ici.

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: Sujets spéciaux: Systèmes de télécommunications: services, architecture, protocoles.

Projets Synthèse proposés

Privé