Patrick and Radhia Cousot Honored with 2014 Harlan D. Mills Award

LOS ALAMITOS, Calif., 11 April 2014  Patrick and Radhia Cousot have been named  recipients of the 2014 IEEE Computer Society Harlan D. Mills Award for their invention of abstract interpretation and tools to support its implementation.

The Mills Award recognizes researchers and practitioners who have demonstrated longstanding contributions to information science theory and practice, focusing on applying sound theory to software engineering practice.

Abstract interpretation is a fundamental, general, and unifying theory of sound abstraction and approximation of the mathematical structures involved in the formal semantics, formal specification, static analysis, proof, and verification of computer systems and biological networks. Abstract interpretation can scale up and automatically verify very large systems in advanced real-world industrial applications in transportation, communications, and medicine.

Patrick Cousot is a professor of computer science at the Courant Institute of Mathematical Sciences at New York University. Previously he was a professor at the École Normale Supérieure in Paris, the École Polytechnique, the University of Metz, and Research Scientist at the French National Center for Scientific Research (CNRS) at the University Joseph Fourier in Grenoble, France. He holds a doctor ès sciences degree in mathematics from the University Joseph Fourier.

Radhia Cousot is an emeritus CNRS senior research scientist in computer science at the École Normale Supérieure in Paris. She served as a CNRS junior research scientist, research scientist, and senior research scientist at the University Henri Poincaré of Nancy, University Paris-Sud at Orsay, and École Polytechnique, where she headed the Semantics, Proof, and Abstract interpretation research team. She holds a doctor ès sciences in mathematics from the University of Lorraine, Nancy, France.

Patrick Cousot was awarded the Silver Medal of the CNRS, an honorary doctorate from the Fakultät Mathematik und Informatik of the Universität des Saarlandes, the Grand Prix of Computer Science and its Applications of the EADS Corporate Research Foundation attributed by the French Academy of Sciences, a Humboldt Research Award. He is Member of the Academia Europæa.

Patrick Cousot and Radhia Cousot jointly received the ACM SIGPLAN Programming Languages Achievement Award.

The late Harlan D. Mills was widely recognized for his contributions as a mathematician concerned with bringing more rigor into systems and software development. The award, which consists of a $3,000 honorarium, memento, and possible invited talk, is co-sponsored by IEEE Computer Society Technical Council on Software Engineering (TCSE). For more information, visit http://www.computer.org/portal/web/awards/harlan.

About IEEE Computer Society

IEEE Computer Society is the world's leading computing membership organization and the trusted information and career-development source for a global workforce of technology leaders including: professors, researchers, software engineers, IT professionals, employers, and students. The unmatched source for technology information, inspiration, and collaboration, the IEEE Computer Society is the source that computing professionals trust to provide high-quality, state-of-the-art information on an on-demand basis. The Computer Society provides a wide range of forums for top minds to come together, including technical conferences,publications, and a comprehensive digital library, unique training webinarsprofessional training, and the TechLeader Training Partner Program to help organizations increase their staff's technical knowledge and expertise, as well as the personalized information tool myComputer. To find out more about the community for technology leaders, visit http://www.computer.org.

Marketing Automation Platform Marketing Automation Tool