Radhia Cousot

Inventor of abstract interpretation