French computer scientist who, along with his wife, Radhia Cousot, invented abstract interpretation, an influential technique in formal methods.
The Cars.com domain name and the accompanying site were owned by Classified Ventures, LLC, which itself was a joint venture of several companies. In 2014, Gannett Company, Inc., one of the firms from this group, bought the remaining stake for USD 1.8 billion. After the acquisition, the Cars.com domain was valued at $827 million and the entire company at $2.5 billion. [more...]