Béchir Ktari, Université Laval

Research

Read how they describe their research on their Université Laval profile.

Sciences naturelles Informatique et systèmes d'information Langages de programmation et génie logiciel Langages de programmation et génie logiciel, n.c.a.Propriétés des fonctions logicielles Mathématiques et statistique Mathématiques pures Algèbre Fondements, logique et théorie des ensembles en mathématique

Latest funding

Cadre algébrique pour l'analyse de programmes informatiques
NSERC · 2010 · Principal investigator
$75,000
Tracing and Monitoring Tools for Distributed Multi-Core Systems
NSERC · 2008 · Co-investigator
$521,365
Sécurité et fiabilité des logiciels
NSERC · 2007 · Principal investigator
$30,000

All 5 grants and awards

No publications available.

Cadre algébrique pour l'analyse de programmes informatiques

Principal investigatorNSERC2010Discovery Grants Program - Individual

Principal investigators: Ktari, Béchir

$75,000

Tracing and Monitoring Tools for Distributed Multi-Core Systems

Co-investigatorNSERC2008Department of National Defence / NSERC Research Partnership

Principal investigators: Dagenais, Michel

$521,365

Sécurité et fiabilité des logiciels

Principal investigatorNSERC2007Discovery Grants Program - Individual

Principal investigators: Ktari, Béchir

$30,000

Fiabilité et sécurité des systèmes informatiques

Principal investigatorCFI2005John R. Evans Leaders Fund: On-going New Opportunities Fund

Principal investigators: Ktari, Béchir

Keywords: Sécurité informatique, Politiques de sécurité, Génie logiciel, Détection d'intrusions, Méthodes formelles, Analyse statique, Model-checking, Compilation, Certification de code, Décompilation

$22,217

Spécification formelle de politiques de sécurité et génération de code certifié

Principal investigatorNSERC2004Discovery Grants Program - Individual

Principal investigators: Ktari, Béchir

$45,000

From public funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998 with their latest competition results, the Canada Foundation for Innovation, Genome Canada, the Canadian Space Agency, Canada Research Chairs, the Fonds de recherche du Québec, Ontario research funding, Michael Smith Health Research BC, the Canadian Cancer Society, Heart & Stroke and Brain Canada.

Write to this professor

A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.

Applying for

Subject: Prospective PhD student: Sciences naturelles Dear Professor Ktari, My name is [your name], and I am a [your current degree or role] at [your institution]. I am applying for a PhD position starting in [term and year]. Your research on sciences naturelles connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] Are you accepting new PhD students for [term and year]? I have attached my CV and transcripts, and I would be glad to talk at a time that suits you. Thank you for your time. Kind regards, [your name]