French computer scientist who, together with her husband Patrick Cousot, invented Abstract interpretation, an influential technique in formal methods.
The first program to incorporate WYSIWYG technology was Bravo. This document preparation program was developed for the Alto computer designed at the Palo Alto Research Center of Xerox. Though Bravo was never released commercially, its direct descendant was included in the Xerox Star. WYSIWYG, Ethernet, GUI, bitmap graphics and several computer technologies that we used today have been developed at the Xerox's Palo Alto Research Center (PARC). [more...]