Vijay Ganesh, University of Waterloo

Research

Adversarial Attacks against Machine Learning Boolean SAT and SMT Solvers Deep Learning and Logic Solvers Deep Reinforcement Learning for Logic Solvers Logic Generative Adversarial Networks (Logic GANs)Logic Guided Machine Learning (LGML)Machine Learning for Solvers Machine Learning for Testing, Analysis, and Verification

Latest funding

Machine Learning and Solvers: The Next Frontier
NSERC · 2020 · Principal investigator
$204,000
Accelerating multi-objective combinatorial optimization via GPUs for cyber-physical systems design
NSERC · 2016 · Co-investigator
$151,650
NSERC CREATE in Product-Line Engineering for Cyber-physical Systems
NSERC · 2015 · Co-investigator
$993,535

All 4 grants and awards

Machine Learning and Solvers: The Next Frontier

Principal investigatorNSERC2020Discovery Grants Program - Individual

Principal investigators: Ganesh, Vijay

Keywords: Adversarial Attacks against Machine Learning; Boolean SAT and SMT Solvers; Deep Learning and Logic Solvers; Deep Reinforcement Learning for Logic Solvers; Logic Generative Adversarial Networks (Logic GANs); Logic Guided Machine Learning (LGML); Machine Learning for Solvers; Machine Learning for Testing, Analysis, and Verification; Security of Machine Learning Models; Verification and Security of Machine Learning

$204,000

Accelerating multi-objective combinatorial optimization via GPUs for cyber-physical systems design

Co-investigatorNSERC2016Collaborative Research and Development Grants

Principal investigators: Czarnecki, Krzysztof

$151,650

NSERC CREATE in Product-Line Engineering for Cyber-physical Systems

Co-investigatorNSERC2015Collaborative Research and Training Experience

Principal investigators: Czarnecki, Krzysztof

$993,535

Next-generation Constraint Solvers for Software Engineering and Security

Principal investigatorNSERC2013Discovery Grants Program - Individual

Principal investigators: Ganesh, Vijay

$175,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: Adversarial Attacks against Machine Learning Dear Professor Ganesh, 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 adversarial attacks against machine learning 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 "Machine Learning and Solvers: The Next Frontier" (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]