Harald Ganzinger
Harald Ganzinger (1950 – 2004) was bestowed with the 2021 CAV Award by the 33th International Conference on Computer Aided Verification.
The 2021 CAV Award recognizes "the pioneering contributions to the foundations of the theory and practice of satisfiability modulo theories (SMT)".
Congratulations!