Every year the International Conference on Computer-Aided Verification (CAV) gives the CAV Award (except in 2020 due to the pandemic) for fundamental contributions to the field of Computer-Aided Verification. Specifics vary for each year.
In 2021, the CAV Award recognizes the pioneering contributions to the foundations of the theory and practice of satisfiability modulo theories (SMT) and has been awarded to 21 great researchers.
The whole list of awardees of 2021 can be found in:
Our warm congratulations to all the recipients.