Tereza De Paiva

Tereza De Paiva fue una matemática y científica de la computación brasileña, nacida en Sao Paulo en 1954. Realizó estudios en matemáticas en la Universidad de Sao Paulo y doctorados en matemáticas y ciencias de la computación en la Universidad de Cornell en Nueva York. Paiva se distinguió en varias áreas de la informática, incluyendo la teoría de modelos, la lógica computacional y la inteligencia artificial. También trabajó en la creación del lenguaje de programación Equational Logic Language y en la creación de algoritmos más eficientes y precisos para la resolución de problemas computacionales complejos. Además de su contribución en el ámbito académico y profesional, Paiva también fue una defensora activa de la participación de las mujeres en las ciencias y la tecnología. Fue miembro fundador del programa Women in Science and Engineering (WISE) en la Universidad de Cornell y también participó en la creación del Women in Computing (MULHERES) en Brasil. Tereza De Paiva falleció en 2021 en Londres, a la edad de 66 años. Su legado continúa siendo muy valorado en el campo de la informática y su trabajo sigue inspirando a muchas mujeres en todo el mundo a perseguir carreras en ciencia, tecnología, ingeniería y matemáticas.