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
-
Chaires d'enseignement et 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
-
Candidatures recherchées
-
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 3768
T. 418 656-2131 poste 405975
bechir.ktari@ift.ulaval.ca
Champs d'intérêts
Vérification formelle de programmes
Algèbre de Kleene
Sécurité informatique
Site Internet
Tout ouvrir
Tout fermer
Enseignement
IFT-3000 Langages de programmation
GLO-7003 Certification de logiciels
Publications
Voir la liste des publications
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)
Retour à la liste