Coordonnées
Bureau : B-2041, Pavillon Lucien-Brault
|
Courriel : kamel.adi@uqo.ca
|
Téléphone : (819) 595-3900 poste 1600
|
Télécopieur : (819) 773-1875
|
Formation
| 2002 : | Doctorat en informatique (Université Laval) |
| 1993 : | Diplôme d'études approfondies en informatique théorique, calcul et programmation (Université Pierre et Marie Curie) |
| 1992 : | Diplôme d'ingénieur d'état en informatique (Université des sciences et de la technologie d'Alger) |
Domaines de spécialisation
- Langages et sémantiques formelles
- Sécurité informatique
- Commerce électronique
- Génie logiciel
- Spécifications algébriques
- Réécriture et surréduction
- Théorie des catégories
|
Recherche
|
