Hanifa Boucheneb, Polytechnique Montréal

Latest funding

Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
NSERC · 2016 · Principal investigator
$228,000
Protection des réseaux d'entreprise dans les centres de données
NSERC · 2015 · Principal investigator
$24,500
Vers l'intégration de méthodes formelles dans le processus de développement de systèmes temps réel complexes
NSERC · 2011 · Principal investigator
$120,000

All 7 grants and awards

Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes

Principal investigatorNSERC2016Discovery Grants Program - Individual

Principal investigators: Boucheneb, Hanifa

$228,000

Protection des réseaux d'entreprise dans les centres de données

Principal investigatorNSERC2015Engage Grants Program

Principal investigators: Boucheneb, Hanifa

$24,500

Vers l'intégration de méthodes formelles dans le processus de développement de systèmes temps réel complexes

Principal investigatorNSERC2011Discovery Grants Program - Individual

Principal investigators: Boucheneb, Hanifa

$120,000

Model-driven engineering support for certified avionics software development

Co-investigatorNSERC2009Collaborative Research and Development Grants

Principal investigators: Merlo, Ettore

$67,000

Vérification formelle de systèmes de sécurité au moyen de réseaux de Petri temporisés de haut niveau

Principal investigatorNSERC2006Discovery Grants Program - Individual

Principal investigators: Boucheneb, Hanifa

$95,500

Processeur réseau programmable parallèle pour la gestion dans les réseaux de prochaines générations

Co-investigatorNSERC2005Research Tools and Instruments - Category 1 (<$150,000)

Principal investigators: Quintero, JoseAlejandro

$92,680

Vers une approche formelle et standard de vérification de systèmes temporisés

Principal investigatorNSERC2001Discovery Grants Program - Individual

Principal investigators: Boucheneb, Hanifa

$100,000

From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.

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 Dear Professor Boucheneb, 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 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]