Gilles Audemard a reçu avec 20 autres chercheurs ce vendredi 23 juillet le prix de la conférence internationale Computer-Aided Verification pour ses contributions aux travaux fondateurs théoriques et pratiques sur le problème de la cohérence modulo une théorie (SMT).

Voir l’annonce complète (en anglais).