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.
It is our pleasure and pride that two researchers of the CS department of UPC are among them: professors Robert Nieuwenhuis and Albert Oliveras.
The whole list of awardees of 2021 can be found in:
http://i-cav.org/2021/cav-award/
Our warm congratulations to all the recipients.