Radhia Cousot, especialista en ciencias de la computación

Efemérides

radhiacousotLa 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

Edición realizada por Marta Macho Stadler

Deja una respuesta

Tu dirección de correo electrónico no será publicada. .