French computer scientist who, together with her husband Patrick Cousot, invented Abstract interpretation, an influential technique in formal methods.
French computer scientist who, together with her husband Patrick Cousot, invented Abstract interpretation, an influential technique in formal methods.
