Champs d'intérêts
- Vérification formelle de programmes
- Algèbre de Kleene
- Sécurité informatique
Coordonnées
Pavillon Adrien-Pouliot, local 3768
418 656-2131
poste
405975
bechir.ktari@ift.ulaval.ca