Curtis Bright, University of Windsor

Research

computer algebra conjecture verification counterexample generation discrete mathematics satisfiability checking search algorithms symbolic computation

Latest funding

Satisfiability Checking and Computer Algebra: A Powerful New Search Method
NSERC · 2021 · Principal investigator
$12,500
Satisfiability Checking and Computer Algebra: A Powerful New Search Method
NSERC · 2021 · Principal investigator
$116,000

All 2 grants and awards

Satisfiability Checking and Computer Algebra: A Powerful New Search Method

Principal investigatorNSERC2021Discovery Launch Supplement

Principal investigators: Bright, Curtis

$12,500

Satisfiability Checking and Computer Algebra: A Powerful New Search Method

Principal investigatorNSERC2021Discovery Grants Program - Individual

Principal investigators: Bright, Curtis

Keywords: satisfiability checking; computer algebra; search algorithms; discrete mathematics; conjecture verification; counterexample generation; symbolic computation

$116,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 2021

Subject: Prospective PhD student: computer algebra Dear Professor Bright, 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 computer algebra 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 "Satisfiability Checking and Computer Algebra: A Powerful New Search Method" (2021), 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]