Béchir Ktari, Ph. D., est professeur au Département d'informatique et de génie logiciel de l’Université Laval, à Québec. À titre de chercheur, il souhaite définir et utiliser des méthodes algébriques afin d’analyser et de certifier des systèmes informatiques relativement à des propriétés données. Il a établi des collaborations avec différents partenaires parmi lesquels Recherche et Développement pour la Défense Canada (RDDC) à Québec, Centre de Recherches sur les Communications (CRC) à Ottawa, et Ericsson Canada à Montréal. À titre d’enseignant, il s’intéresse essentiellement aux langages de programmation et aux méthodes formelles de certification de logiciels, et a obtenu plusieurs distinctions. Depuis 2012, il assume en plus des tâches liées à l’administration, tout d’abord à titre de directeur de département puis de directeur de programme.