Patrick Cousot is awarded an honorary doctorate in Computer Science from Università Ca'Foscari Venezia. Congratulations!