Radhia Cousot Courses

Radhia Cousot is a French computer scientist, known for her pioneering work in abstract interpretation and static analysis. She was born on April 5, 1950, in Tunis, Tunisia. She obtained her B.Sc. degree in Mathematics at Tunis University at the age of 20 and her M.Sc. degree in Computer Science at University of Grenoble at the age of 22. In 1978, she earned her Ph.D. degree from University of Paris at the age of 28. Radhia has worked in the research field of computer science since the late 1970s, mainly in the areas of programming language semantics, static analysis, abstract interpretation, and program verification, among others. She is the co-creator of the abstract interpretation-based static program analyzer Astrée and of the value analysis toolkit EVA. In the course of her work, she developed the theory and algorithms for abstract interpretation, a powerful tool for analyzing the behavior and correctness of computer programs relative to their formal specifications. Radhia has served as professor in the Computer Science departments at the University of Paris, at the University of Metz, and at the Swiss Federal Institute of Technology in Lausanne (EPFL). She was President of the ACM Task Group on Formal Methods, Member of the Executive Committee of the IFIP Working Group 2.2 on Programming Methodology, Professor at the Free University of Berlin, and an Invited Chair in Programming and Verification at the Isaac Newton Institute of Mathematical Sciences. She is a Fellow of the ACM, of the Bourbaki Academy, and of the American Association for the Advancement of Science. She is one of the most influential authors and scholars in the computer science community. She has co-authored numerous books, research and survey articles and edited volumes, among them the important Fundamentals of Algorithmic (Program) Verification (Springer, 2005). Radhia received numerous research awards for her contributions to computer science, including the Association for Computing Machinery - Grace Murray Hopper Award (2003), the GOLD Medal of the International Federation for Information Processing (IFIP, 2007), and the Knuth Prize (2012).