La matemática y especialista en ciencias de la computación Radhia Cousot (1947-2014) nació un 6 de agosto.
Doctorada en matemáticas, inventó –junto a Patrick Cousot– la teoría de la interpretación abstracta, teoría que permite dar un marco unificado y formal al conjunto de métodos ligados a la verificación de sistemas informáticos y biológicos.
Por esta aportación, ambos investigadores recibieron en 2013 el ACM SIGPLAN Programming Languages Achievement Award y en 2014 el Harlan D. Mills Award de la IEEE Computer Society.
Más información
- Wikipedia
- Radhia Cousot, ENS
- Disparition de Radhia Cousot, CNRS, 2014
Edición realizada por Marta Macho Stadler