Jeannette Marie Wing es Directora de Avanessians del Data Science Institute de la Universidad de Columbia , donde también es profesora de informática . [2] Hasta el 30 de junio de 2017, fue vicepresidenta corporativa de Microsoft Research y supervisó sus principales laboratorios de investigación en todo el mundo y Microsoft Research Connections. [3] [4] Antes de 2013, fue profesora presidenta de informática en la Universidad Carnegie Mellon , Pittsburgh , Pensilvania , Estados Unidos . También se desempeñó como subdirectora de Informática e Ingeniería e Informática en laNSF de 2007 a 2010. [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
Ala Jeannette | |
---|---|
Nació | Ala Jeannette Marie |
Nacionalidad | americano |
alma mater | Instituto de Tecnología de Massachusetts |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Columbia , Universidad Carnegie Mellon , Universidad del Sur de California |
Tesis | Un enfoque de dos niveles para especificar programas (1983) |
Asesor de doctorado | John Guttag [1] |
Estudiantes de doctorado | Greg Morrisett [1] |
Sitio web | cs |
Fondo
Wing obtuvo su SB y SM en Ingeniería Eléctrica y Ciencias de la Computación en el MIT en junio de 1979. Sus asesores fueron Ronald Rivest y John Reiser. En 1983, obtuvo su Ph.D. en Ciencias de la Computación en el MIT con John Guttag . [1] Ella es un cinturón negro cuarto grado en Tang Soo Do . [15]
Carrera e investigación
Wing estuvo en la facultad de la Universidad del Sur de California de 1982 a 1985 y luego en la facultad de Carnegie Mellon de 1985 a 2012. Se desempeñó como jefa del Departamento de Ciencias de la Computación de 2004 a 2007 y de 2010 a 2012. En enero de 2013 , se despidió de Carnegie Mellon para trabajar en Microsoft Research.
Wing ha sido un miembro destacado de la comunidad de métodos formales , especialmente en el área de Larch . Ha dirigido muchos proyectos de investigación y ha publicado numerosas publicaciones. [dieciséis]
Con Barbara Liskov , desarrolló el principio de sustitución de Liskov , publicado en 1993.
También ha sido una fuerte promotora del pensamiento computacional , expresando las técnicas algorítmicas de resolución de problemas y abstracción utilizadas por los informáticos y cómo podrían aplicarse en otras disciplinas. [5]
Es miembro del consejo editorial de las siguientes revistas:
- Fundamentos y tendencias en privacidad y seguridad (coeditor en jefe)
- Revista de la ACM
- Aspectos formales de la informática (editor norteamericano)
- Métodos formales en el diseño de sistemas
- Revista internacional de software e informática
- Revista de ciencia e ingeniería de la información
- Herramientas de software para la transferencia de tecnología
Referencias
- ^ a b c Jeannette Wing en el Proyecto de genealogía de las matemáticas
- ^ "El presidente Bollinger nombra a la jefa de investigación de Microsoft, Jeannette Wing, para dirigir el Instituto de ciencia de datos de Columbia" . Consultado el 1 de mayo de 2017 .
- ^ "Ala Jeannette" . Consultado el 6 de julio de 2014 .
- ^ Clayton, Steve (20 de noviembre de 2012). "Dr. Jeannette Wing: nueva vicepresidenta, jefa de investigación internacional de Microsoft" . blogs.microsoft.com .
- ^ a b Wing, Jeanette M. (2006). "Pensamiento computacional" (PDF) . Comunicaciones de la ACM . 49 (3): 33–35. doi : 10.1145 / 1118178.1118215 . S2CID 1693513 .
- ^ Wing, Jeannette M ; Woodcock, Jim ; Davies, Jim, eds. (1999). FM'99 - Métodos formales: Congreso Mundial sobre Métodos formales en el desarrollo de sistemas de computación Toulouse, Francia, Septiembre 20-24, 1999 Proceedings, Volumen I . LNCS . 1708 . Springer-Verlag . doi : 10.1007 / 3-540-48119-2 . ISBN 978-3-540-66587-8. S2CID 36821080 .
- ^ Wing, Jeannette M ; Woodcock, Jim ; Davies, Jim, eds. (1999). FM'99 - Métodos formales: Congreso mundial sobre métodos formales en el desarrollo de sistemas informáticos Toulouse, Francia, 20-24 de septiembre de 1999 Actas, Volumen II . LNCS . 1709 . Springer-Verlag . doi : 10.1007 / 3-540-48118-4 . ISBN 978-3-540-66588-5. S2CID 2986421 .
- ^ Martin, U .; Wing, JM , eds. (1993). Actas del Primer Taller Internacional sobre Alerce . Talleres de Informática. Springer-Verlag . ISBN 978-3-540-19804-8.
- ^ Garland, SJ; Jones, KD; Modet, A .; Wing, JM (1993). Guttag, JV ; Horning, JJ (eds.). Alerce: lenguajes y herramientas para la especificación formal . Springer-Verlag . CiteSeerX 10.1.1.137.5123 . doi : 10.1007 / 978-1-4612-2704-5 . ISBN 978-1-4612-7636-4. S2CID 13066418 .
- ^ Jeannette M. Wing en elservidor de bibliografía DBLP
- ^ Publicaciones de Jeannette Wing indexadas por labase de datos bibliográfica Scopus . (requiere suscripción)
- ^ Página de perfil de autor de Jeannette Wing en laBiblioteca digital de ACM
- ^ Herlihy, diputado; Wing, JM (1990). "Linealización: una condición de corrección para objetos concurrentes". Transacciones ACM sobre lenguajes y sistemas de programación . 12 (3): 463. CiteSeerX 10.1.1.142.5315 . doi : 10.1145 / 78969.78972 . S2CID 228785 .
- ^ Clarke, EM; Wing, JM (1996). "Métodos formales: estado del arte y direcciones futuras". Encuestas de computación ACM . 28 (4): 626. CiteSeerX 10.1.1.60.8874 . doi : 10.1145 / 242223.242257 . S2CID 5534240 .
- ^ McLaughlin, Kevin. "14 ejecutivos de tecnología que probablemente podrían patear tu trasero en una pelea" . Business Insider . Consultado el 9 de abril de 2021 .
- ^ "Jeannette M. Wing" . cs.cmu.edu .
enlaces externos
- Aaronson, Lauren, Preguntas y respuestas con: Jeannette Wing
- Entrevistas de Jon Udell con innovadores - Dra. Jeannette Wing