Patrick Cousot is the recipient of the EATCS Award 2022 from the European Association for Theoretical Computer Science. Congratulations!