In 2019 CADE Inc. established the Bill McCune PhD Award in Automated Reasoning to distinguish each year a PhD thesis defended the previous year, for its substantive contributions to the field of Automated Reasoning, its theory, its implementation, and/or its application on important problems. The award is named after the American computer scientist William Walker McCune.
At most one award is attributed for each year, but honorable mentions may also be announced at the discretion of the Expert Committee.
Eligible for the award are those who successfully defended their PhD
Candidates for the award must be nominated by their supervisor(s) and one additional independent researcher who reviewed/examined the thesis. The nomination must consist of a single PDF file containing
Nominations must be submitted by March 15.
The thesis will be evaluated with respect to its quality, originality and (potential) impact to the field of Automated Reasoning.
The Expert Committee, consisting of leading researchers in Automating Reasoning, is formed by the board of CADE Trustees with the aim to reflect the broad diversity in the area of Automated Reasoning. It is announced with the call for nominations, and thus formed before the call for nominations. The decision on the award is taken by the Expert Committee. The Expert Committee can seek additional expertise, even after the submission deadline for nominations. Expert Committee members cannot have a PhD student applying for the award.
Due to the COVID-19 crisis, the 2019 and 2020 awards are attributed in 2021.
The 2019 and 2020 Bill McCune PhD Award in Automated Reasoning Expert Committee consists of
For 2019 and 2020, nominations are to be submitted via EasyChair, by March 15, 2021.