Gilles Audemard received with 20 other researchers on July 23, 2021 the 2021 award from the international conference on Computer-Aided Verification for pioneering contributions to the foundation of the theory and practice of Satisfiability Modulo Theory (SMT).

![]({{site.baseurl| append: “/documents/cavaward.jpg”}})

See the full announcement.