French computer scientist who, along with his wife, Radhia Cousot, invented abstract interpretation, an influential technique in formal methods.
French computer scientist who, along with his wife, Radhia Cousot, invented abstract interpretation, an influential technique in formal methods.