ciencias de la computación

Archivo de etiqueta 65 artículos

She Does Maths: Amalia Pizarro

Amalia Pizarro es directora del Instituto de Matemáticas de la Universidad de Valparaíso (Chile) y también miembro del Comité Académico del Consorcio PUCV-UTFSM-UV (Pontificia Universidad Católica de Valparaíso, Universidad Técnica Federico Santa María, Universidad de Valparaíso), donde se encarga de […]

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