Usuario discusión:AdminConcurso

Bárbara Jane Huberman

Mas bien conocida como Bárbara Liskov, nació en California (Estados Unidos) el 7 de noviembre de 1939.

Ella consiguio su licenciatura en matemáticas en la universidad de California, (Berkeley) en 1961. En 1968 se convirtió en una de las primeras mujeres en los Estados Unidos para recibir un doctorado en informática. Después de recibir su doctorado, Bárbara se casó con Nathan Liskov y regresó a la zona de Boston para trabajar en la Corporación Mitre en Bedford, MA en diseño por ordenador y sistemas operativos. El sistema operativo de Venus era un pequeño sistema de tiempo compartido para la máquina Venus utilizado para experimentar con diferentes arquitecturas de cómo ayudaron u obstaculizado este proceso. Archivo:Barbara.jpg

En 1971,dejó Mitre y se unió a la facultad del MIT como profesor en el Laboratorio de Ciencias de la Computación. Sobre la base de su experiencia en la Corporación Mitre, su investigación se ha centrado en la creación de sistemas informáticos más fiables. Su grupo del MIT también creó el Argus lenguaje, que amplió las ideas de CLU para facilitar la ejecución de los programas distribuidos sobre una red, incluyendo soporte para transacciones anidadas. Un ejemplo de tal programa distribuido podría ser un sistema bancario basado red. Argus proporciona abstracciones de objetos llamados "guardianes" que encapsulan los procedimientos relacionados.

El trabajo posterior de Liskov ha sido principalmente en el área de sistemas distribuidos, que utilizan varios ordenadores conectados por una red. Su investigación se ha cubierto muchos aspectos de los sistemas operativos y computación, incluyendo importantes trabajos sobre los sistemas de bases de datos orientadas a objetos, recolección de basura, el almacenamiento en caché, la persistencia, la recuperación, la tolerancia a fallos, la seguridad.Con Jeannette Ala desarrolló un nuevo concepto de subtipos, conocido como el principio de sustitución Liskov. Sus contribuciones han influido en la evolución del sistema de avanzada y establecer un estándar para la claridad y utilidad.

Actualmente está trabajando en el departamento de Ingeniería eléctrica y Ciencias de la computación del MIT (Instituto Tecnológico de Massachusetts)como profesora de ingenieria de ford. Ella ha supervisado los programas de investigación de más de una veintena de estudiantes de doctorado y un gran número de estudiantes de maestría.

Su hijo Moisés Liskov fue galardonado con un doctorado en ciencias de la computación por el MIT en 2004, y ahora es profesor de ciencias informáticas en la Universidad de William y Mary.

Éva Tardos

Éva Tardos nació en Budapest en 1957, es una informática teórica húngara, profesora e investigadora de ciencias de la computación en la Universidad de Cornell. Fue ganadora del Premio Fulkerson en el año 1988. En 1981 se diplomó en matemáticas en la Universidad Eötvös Loránd, que se encuentra en Budapest.En 1984 saco su doctorado en la misma Universidad. Éva fue redactora-editora jefa de SIAM Journal of Computing (2004-2009), y actualmente es editora de varias otras revistas: Journal of the ACM, Teoría de la Computación, y Combinatorica. Es una profesora de Jacob Gould Schurman en Ciencias de la Computación de la Universidad de Cornell, es Decana Asociada Senior de Informática y Ciencias de la Información, y fue jefa de departamento (2006-2010).

Los temas que trata en sus trabajos son los siguientes:

-Diseño y análisis de algoritmos para problemas fundamentales de redes y optimización combinatorial.

-Algoritmos de aproximación.

-Algoritmos on-line.

-Programación lineal y programación entera.

-Algorítmica de la teoría de juegos. Los premios que le han otorgado son:

-Premio Gödel, es un premio a informática y computación teórica, y lo otorga la asociación europea para la informática teórica y ACM, el cual lo otorgo en el año 2012.

-Miembro de la Academia Nacional de Ingeniera, el cual otorgo en el 2007.

-Premio George B.Dantzing, el cual otorgo en el 2006.

-Miembro de la Academia Estado Unidense de las Artes y las Ciencias.

-Miembro de la Association for Computing Machinery, año 1998.

-Miembro de la Beca Guggenheim. -Miembro de Packard.

-Miemro de Sloan.

-NSF Presidential Young Investigator.

-Premio Fulkerson, año 1988. Es un premio a articulo científico destacado en matemática discreta y es otorgado por Mathematical Optimization Society, American Mathematical Society, que se encuentra en Estados Unidos.

Vanessa Valdeiglesias García

Vanessa Valdeiglesias nacio el 14 de abril de 1980 en A Coruña.

Vanessa Valdiglesias es Investigadora Doctora de la Universidad de A Coruña con varios años de experiencia en el campo de la Toxicología Genética.

En 2002 finalizó sus estudios de licenciatura en Biología en la misma Universidad.

Realizó un Máster en Biotecnología de la Fundación Empresa de la Universidad de Granada.

Se incorporó al Departamento de Biología Celular y Molecular de la Universidad de A Coruña en 2005 para comenzar sus estudios de Doctorado. En 2007 terminó su Tesis de Licenciatura, trabajo por el que recibió el Premio de la Real Academia Gallega de Ciencias al Joven Investigador 2008, y en 2010 finalizó su Doctorado en Biología, con Premio Extraordinario.

Estudió en diferentes universidades:

-La Universidad de Bradford (Reino Unido)

-El Instituto Nacional de Salud Dr. Ricardo Jorge (Portugal)

-El Instituto Científico de Hospitalización y Asistencia (Italia)

Es autora de unas veinticinco publicaciones científicas y varios capítulos de un libro, y ha participado en una treintena de congresos y reuniones internacionales. Es invitada a revisar artículos para revistas científicas internacionales y ha sido miembro en varias ocasiones de diversos comités científicos y organizadores de congresos y reuniones científicas, tanto nacionales como internacionales.

Actualmente, desarrolla su actividad investigadora en el laboratorio de Toxicología de la Universidad de A Coruña, donde participa en varios proyectos de investigación y codirige una Tesis Doctoral y dos Trabajos de Fin de Máster.