Aller au contenu principal

Béchir Ktari

Professeur titulaire

Champs d'intérêts

  • Vérification formelle de programmes
  • Algèbre de Kleene
  • Sécurité informatique

  • IFT-3000 Langages de programmation
  • GLO-7003 Certification de logiciels

 

 

  • Membre du laboratoire LSFM

 

  • Baccalauréat en informatique (Université de Tunis, Tunisie) (1991)
  • Maitrise en informatique (Université Laval, Canada) (1998)
  • Doctorat en informatique (Université Laval, Canada) (2003)