Patrick Cousot

Patrick Cousot is a from France. He was born on December 03, 1948 (72 years old) .

About

Patrick Cousot is a French computer scientist. Together with his wife Radhia Cousot is the originator of abstract interpretation an influential technique in formal methods. In the 2000s he has worked on practical methods of static analysis for critical embedded software such as found in avionics. He has been Professor of Computer Science at the École Normale Supérieure in Paris since 1991. read more

He is living in New York City.

Is Patrick Cousot still alive?

Yes, Patrick Cousot is still alive Last check: 3 months ago

What is Patrick's zodiac sign?

Patrick Cousot zodiac sign is sagittarius.

Awards (3)

Awarded Harlan D. Mills award in 2013 , awarded doctor honoris causa , awarded Programming Languages Achievement Award in 2012 ,

Education

He graduated from École Nationale Supérieure Des Mines De Nancy

Patrick Cousot Is A Member Of

When is Cousot's next birthday?

Patrick Cousot was born on the , which was a Friday. He will be turning 73 in only 320 days from today (17 January, 2021).