Béchir Ktari, professeur titulaire
Champs d'intérêts
- Vérification formelle de programmes
- Algèbre de Kleene
- Sécurité informatique
Enseignement
- IFT-3000 Langages de programmation
- GLO-7003 Certification de logiciels
Affiliations
- Membre du laboratoire LSFM
Formation et expériences professionnelles
- Baccalauréat en informatique (Université de Tunis, Tunisie) (1991)
- Maitrise en informatique (Université Laval, Canada) (1998)
- Doctorat en informatique (Université Laval, Canada) (2003)