French computer scientist who, together with her husband Patrick Cousot, invented Abstract interpretation, an influential technique in formal methods.
The first commercial spam was posted on Usenet by Laurence Canter and Martha Siegel. They used a Perl script to post their message, "Green Card Lottery - Final One?", to about 5,500 discussion groups. [more...]