El principio de sustitución de Liskov, desarrollado junto con Barbara Liskov en 1993, sigue siendo una contribución fundamental a la metodología de la ingeniería de software. Jeannette Wing, nacida en Newark en 1956, ha pasado décadas acortando la distancia entre la informática teórica y su aplicación industrial. Su trayectoria profesional abarca el ámbito académico, las políticas gubernamentales y los laboratorios de investigación corporativa, centrándose principalmente en los lenguajes de programación y los métodos formales.
Fundamentos académicos e investigación
Wing completó sus estudios de grado y maestría en Ingeniería Eléctrica e Informática en el Instituto Tecnológico de Massachusetts en junio de 1979 bajo la tutoría de Ronald Rivest y John Reiser. Obtuvo su doctorado en Informática en la misma institución en 1983, supervisada por John Guttag. Sus primeros puestos docentes incluyeron la Universidad del Sur de California de 1982 a 1985, seguido de una etapa en la Universidad Carnegie Mellon desde 1985 hasta 2012. Durante su estancia en Carnegie Mellon, ejerció como jefa del Departamento de Informática en dos periodos: 2004–2007 y 2010–2012.
Política pública y liderazgo corporativo
Más allá de la investigación universitaria, Wing ha desempeñado cargos administrativos de influencia. Fue directora adjunta de Computación, Información Científica e Ingeniería en la Fundación Nacional de Ciencias entre 2007 y 2010. En enero de 2013, pasó al sector privado como vicepresidenta corporativa de Microsoft Research, donde gestionó laboratorios globales y conexiones de investigación hasta el 30 de junio de 2017. Tras esto, se convirtió en directora Avanessians del Instituto de Ciencia de Datos de la Universidad de Columbia y fue nombrada vicepresidenta ejecutiva de investigación de dicha universidad el 1 de septiembre de 2021.
Contribuciones al pensamiento computacional
Wing es reconocida por su defensa del pensamiento computacional, el cual implica aplicar técnicas de abstracción algorítmica comunes en la informática a diversas disciplinas. Su labor en métodos formales, especialmente en lo referente a Larch, ha influido notablemente en la metodología de programación. Forma parte de numerosos consejos editoriales, incluidos el Journal of the ACM y Formal Methods in System Design. Sus honores profesionales incluyen ser nombrada Fellow de la ACM en 1998, Fellow del IEEE en 2003 y su elección para la Academia Nacional de Ingeniería en 2024 por su trabajo en computación confiable y métodos formales.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Datos rápidos
- Nacimiento: 1956, Newark - Educación: Instituto Tecnológico de Massachusetts - Campos principales: Informática, inteligencia artificial, lenguajes de programación - Cargo principal: Vicepresidenta ejecutiva de investigación, Universidad de Columbia - Desarrollo notable: Principio de sustitución de Liskov (1993) - Miembro de la ACM: 1998 - Miembro del IEEE: 2003 - Interés personal: Cinturón negro de cuarto grado en Tang Soo Do
Preguntas que hacen los lectores
### ¿Qué es el principio de sustitución de Liskov?
Desarrollado en 1993 junto con Barbara Liskov, es un concepto de la metodología de programación referente a cómo los objetos de una superclase deben poder ser reemplazados por objetos de sus subclases sin alterar la corrección del programa.
### ¿Qué entiende Jeannette Wing por pensamiento computacional?
Se refiere al proceso de expresar técnicas de resolución de problemas y abstracciones algorítmicas empleadas por los informáticos para que puedan aplicarse a la investigación y a tareas de otras disciplinas académicas y prácticas.
