John Mullins, Polytechnique Montréal

Research

Algorithmes d'apprentissage profond Flux d'information quantitatif Méthodes formelles Réseaux de neurones Sécurité de l'information Systèmes distribués Systèmes probabilistes Théorie de l'information

Latest funding

Analyse formelle du flux d'information quantitative dans les systèmes d'intelligences artificielles
NSERC · 2020 · Principal investigator
$174,000
Méthodes formelles d'analyse quantitative de la sécurité de l'information partiellement observable dans les systèmes ouverts
NSERC · 2013 · Principal investigator
$75,000
Model-based integration and verificafion for mixed-criticality avionics systems embedded in a time-triggered architecture
NSERC · 2012 · Principal investigator
$269,500

All 7 grants and awards

Analyse formelle du flux d'information quantitative dans les systèmes d'intelligences artificielles

Principal investigatorNSERC2020Discovery Grants Program - Individual

Principal investigators: Mullins, John

Keywords: méthodes formelles; systèmes distribués; systèmes probabilistes; sécurité de l'information; flux d'information quantitatif; théorie de l'information; réseaux de neurones; algorithmes d'apprentissage profond

$174,000

Méthodes formelles d'analyse quantitative de la sécurité de l'information partiellement observable dans les systèmes ouverts

Principal investigatorNSERC2013Discovery Grants Program - Individual

Principal investigators: Mullins, John

$75,000

Model-based integration and verificafion for mixed-criticality avionics systems embedded in a time-triggered architecture

Principal investigatorNSERC2012Collaborative Research and Development Grants

Principal investigators: Mullins, John

$269,500

Analyse probabiliste des protocoles de sécurité à flux d'information admissible

Principal investigatorNSERC2007Discovery Grants Program - Individual

Principal investigators: Mullins, John

$100,000

Spécification et vérification de la sécurité du code mobile

Principal investigatorNSERC2003Discovery Grants Program - Individual

Principal investigators: Mullins, John

$68,000

Etablissement d`un laboratoire de conception et de realisation des applications critiques (CRAC)

Principal investigatorNSERC2000Research Tools and Instruments - Category 1 (<$150,000)

Principal investigators: Mullins, John

$22,700

Spécification et validation de l'authentification et de la sécurité des applets Java

Principal investigatorNSERC1999Discovery Grants Program - Individual

Principal investigators: Mullins, John

$63,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

Mention their NSERC grant from 2020

Subject: Prospective PhD student: Algorithmes d'apprentissage profond Dear Professor Mullins, 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 algorithmes d'apprentissage profond connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] I also saw your NSERC-funded project "Analyse formelle du flux d'information quantitative dans les systèmes d'intelligences artificielles" (2020), and I would be glad to contribute to work in that direction. 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]