Faculté des sciences et de génie
Département d'informatique et de génie logiciel
Accueil
À propos
Nous joindre
Plan du site
Chercher
Programmes et cours
Premier cycle
-
Deuxième et troisième cycles
-
Programmes d'études à distance
-
Sites et liste de cours offerts
-
Offre de cours à venir
-
Formation continue
Département et professeurs
Présentation du département
-
Comités de programmes
-
Actualités
-
Calendrier
-
Professeurs et personnel
-
Règlements et documents officiels
Services
Gestion des études
-
Bourses et coûts liés aux études
-
CARÉ : Centre d'appui à la réussite étudiante
-
Services techniques
-
Services d'apprentissage
-
Étudiants étrangers
-
Section jeunesse
-
Services sur le campus
-
Situation d'urgence
Recherche et innovation
Séminaires
-
Groupes de recherche
-
Publications
-
Bourses de recherche
Vie étudiante
Associations étudiantes
-
Prix Pierre Ardouin
-
Projets étudiants
-
Chronique d'Élisabeth
-
Liens utiles
Carrière
Stages
-
Offre de stages et d'emplois
-
Employeurs
-
Prix carrière
-
Comité consultatif
-
Centre de relève en technologies de l'information
Département et professeurs
Professeurs et personnel
Professeurs réguliers
Fiche
Béchir Ktari, Professeur titulaire
Pavillon Adrien-Pouliot, local 3907-A
T. 418-656-5189
F. 418-656-2324
bechir.ktari@ift.ulaval.ca
Champs d'intérêts
Vérification formelle de programmes
Algèbre de Kleene
Sécurité informatique
Site Internet
Directeur de département
Formation
Publications
Cours
Affiliations
Baccalauréat en informatique (Université de Tunis, Tunisie) (1991)
Maitrise en informatique (Université Laval, Canada) (1998)
Doctorat en informatique (Université Laval, Canada) (2003)
fsg-ftp.fsg.ulaval.ca/~ktari/index.htm
IFT-3000 Langages de programmation
GLO-7003 Certification de logiciels
Membre du laboratoire LSFM
Retour à la liste
