informática

Archivo de etiqueta 122 artículos

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

Las emocionantes aventuras de Lovelace y Babbage

Título: Las emocionantes aventuras de Lovelace y Babbage Autora: Sydney Padua Editorial: UOC Páginas: 322 Fecha de publicación: 2016 ISBN: 978-84-91163-37-4 Información editorial Las emocionantes aventuras de Lovelace y Babbage… donde Sydney Padua transforma una de las más interesantes colaboraciones […]

Annie J. Easley, informática

Efemérides

La informática Annie J. Easley (1933-2011) nació un 23 de abril. Trabajó en el Lewis Research Center de la NASA, siendo una de las personas del equipo que desarrolló el software del cohete Centauro. Más información Rocío Pérez Benavente, Annie […]

Jean E. Sammet, informática

Efemérides

La informática Jean E. Sammet (1928-2017) nació un 23 de marzo. Desarrolló el lenguaje de programación FORMAC en 1962, considerado el primer lenguaje de programación para la manipulación simbólica. Trabajó para las empresas Sperry Gyroscope (1955-1958) –donde supervisó el primer […]

Frances Bilas Spence, programadora

La programadora Frances Bilas Spence (1922-2012) nació un 2 de marzo. Fue una de las seis programadoras originales de la primera computadora digital de propósito general ENIAC –junto a Betty Jean Jennings Bartik, Marlyn Wescoff Meltzer, Ruth Lichterman Teitelbaum, Kathleen […]

Irma M. Wyman, ingeniera informática

La ingeniera informática Irma M. Wyman (1928-2015) nació un 31 de enero. Especialista en pensamiento sistémico, fue una de las primeras ingenieras informáticas y la primera mujer vicepresidente de Honeywell, Inc. Defendió además la importancia de la presencia de mujeres […]

Anita Borg, informática

La informática Anita Borg (1949-2003) nació un 17 de enero. Doctora en Ciencias de la Computación (1981), trabajó para impulsar la mayor representación de mujeres en este campo: su objetivo era lograr el 50 % de presencia de mujeres en […]

Susan Beth Horwitz, informática

La informática Susan Beth Horwitz (1955-2014) nació un 6 de enero. Son especialmente conocidas sus aportaciones en lenguajes de programación e ingeniería de software; muchos de sus trabajos han alcanzado un gran nivel de impacto en los sistemas de clasificación […]