ciencias de la computación

Archivo de etiqueta 54 artículos

Monika Henzinger, informática

La informática Monika Henzinger (1966) cumple hoy años. Actualmente es profesora en la Universidad de Viena y directora de investigación en Google. Es especialista en algoritmos, fundamentalmente en estructura de datos, teoría algorítmica de juegos, recuperación de información, algoritmos de […]

Danese Cooper, informática

La programadora informática Danese Cooper (1959) cumple hoy años. Gran defensora de los programas en código abierto, su trabajo en este ámbito le ha valido el apodo de ‘Diva del código abierto’. Es miembro, entre otros, del consejo de la […]

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