CSAd

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 membership organization for professionals in all aspects of modern computing – from cloud to big data, security to mobile, robotics to software defined systems, wearables to IoT. A true community for technology leaders, Computer Society provides resources to keep its members current in technology and moving forward in their professions – publications, a renowned digital library, a vast program of conferences, technical committees, and much more. The Computer Society also serves the profession at large through establishment of standards, professional qualifications and certifications, training and education programs, events on leading-edge technologies, conference publishing, and a wealth of other services and programs focused on advancing the science and art of computing. More information on IEEE Computer Society can be found at www.computer.org.

CSAd