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. Los campos obligatorios están marcados con *.

Este sitio está protegido por reCaptcha y se aplican la Política de privacidad y los Términos de servicio de Google