Franck van Breugel, York University

Research

behavioral equivalence behavioral pseudometric labelled Markov chain Markov decision process model checking probabilistic automaton probabilistic models reinforcement learning

Latest funding

Generating and Checking Probabilistic Models
NSERC · 2019 · Principal investigator
$138,000
Hunting for Bugs in Source Code of Video and Computer Games
NSERC · 2014 · Principal investigator
$160,000
Concurrency: semantics and verification
NSERC · 2008 · Principal investigator
$135,000

All 6 grants and awards

Generating and Checking Probabilistic Models

Principal investigatorNSERC2019Discovery Grants Program - Individual

Principal investigators: van Breugel, Franck

Keywords: behavioral equivalence; behavioral pseudometric; labelled Markov chain; Markov decision process; model checking; probabilistic automaton; probabilistic models; reinforcement learning; software with randomness; stochastic game theory

$138,000

Hunting for Bugs in Source Code of Video and Computer Games

Principal investigatorNSERC2014Discovery Grants Program - Individual

Principal investigators: vanBreugel, Franck

$160,000

Concurrency: semantics and verification

Principal investigatorNSERC2008Discovery Grants Program - Individual

Principal investigators: VanBreugel, Franck

$135,000

Problem Determination in Business Process Specifications

Principal investigatorNSERC2003Collaborative Research and Development Grants

Principal investigators: VanBreugel, Franck

$70,500

Quantitative verification of probabilistic transition systems

Principal investigatorNSERC2003Discovery Grants Program - Individual

Principal investigators: VanBreugel, Franck

$105,000

Concurrency

Principal investigatorNSERC1999Discovery Grants Program - Individual

Principal investigators: VanBreugel, Franck

$71,400

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 2019

Subject: Prospective PhD student: behavioral equivalence Dear Professor van Breugel, 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 behavioral equivalence 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 "Generating and Checking Probabilistic Models" (2019), 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]