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