Diferencia entre revisiones de «Usuario discusión:AdminConcurso»

Revisión del 13:58 8 abr 2016

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.

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.