Archivo de Etiqueta: ciencias de la computación

La informática Orna Grumberg (1952) cumple hoy años.
Es conocida por el desarrollo del model checking –verificación de modelos– un método automático de verificación de un sistema formal.
Junto a Edmund M. Clarke y Doron A. Peled, es la autora […]

La informática Beatrice “Trixie” Worsley (1921-1972) nació un 18 de octubre.
Fue la primera mujer informática de Canadá: obtuvo su grado de matemáticas y física en el Trinity College (University of Toronto, Canadá) en 1944 y el máster en matemáticas en el Massachusetts Institute […]

La informática Sheila Greibach (1939-) cumple hoy años.
Es especialista en lenguajes formales en programación y ciencias de la computación.
Es conocida por la forma normal de Greibach en teoría formal del lenguaje y el teorema de Greibach en informática […]

La informática Daphne Koller (1968-) cumple hoy años.
Catedrática de Ciencias de la computación en la Stanford University, es una de las fundadoras de Coursera, una plataforma de educación online.
Su área de investigación se centra en la inteligencia artificial y […]

La informática Karen Spärck Jones (1935-2007) nació un 26 de agosto.
Ha sido una de las pioneras en la recuperación de la información –junto a Stephen E. Robertson desarrolló el Binary Independent Retrieval– y procesamiento del lenguaje natural.
Una de […]

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 […]

La matemática Mary Lee Wheat Gray (1939) cumple hoy años.
Es autora de artículos y libros sobre matemáticas, educación matemática, ciencias de la computación, estadística aplicada, leyes de discriminación y libertad académica.
Fue una de las fundadoras de la Association for Women in […]

La especialista en ciencias de la computación Mary Shaw (1943-) cumple hoy años.
Sus intereses en investigación se encuentran principalmente en las áreas de programación de sistemas e ingeniería de software.
Es autora de siete libros y más de 200 […]