ciencias de la computación

Archivo de etiqueta 62 artículos

Frances Elizabeth Allen, informática

La informática Frances Elizabeth Allen (1932-2020) nació un 4 de agosto. Comenzó a trabajar en 1957 en la sección de investigación de IBM, siendo pionera en el campo de automatización de tareas paralelas y optimización de compiladores. La compañía reconoció […]

Orna Grumberg, informática

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

Beatrice «Trixie» Worsley, informática

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

Sheila Greibach, informática

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

Daphne Koller, 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 […]

Karen Spärck Jones, informática

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