Radhia Cousot, especialista en ciencias de la computación

Categorías

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 un comentario

Obligatorio

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>