Patrick Cousot Antoine Miné Ji Wang