Jeannette Wing - Jeannette Wing
Jeannette Wing | |
---|---|
![]() | |
narozený | Jeannette Marie Wing |
Národnost | americký |
Alma mater | Massachusetts Institute of Technology |
Vědecká kariéra | |
Pole | Počítačová věda |
Instituce | Columbia University, Univerzita Carnegie Mellon, University of Southern California |
Teze | Dvoustupňový přístup ke specifikaci programů (1983) |
Doktorský poradce | John Guttag[1] |
Doktorandi | Greg Morrisett[1] |
webová stránka | cs |
Jeannette Marie Wing je Avanessians ředitelem Data Science Institute v Columbia University, kde je také profesorkou počítačová věda.[2] Do 30. června 2017 byla korporátní viceprezidentkou Microsoft Research s dohledem nad svými hlavními výzkumnými laboratořemi po celém světě a Microsoft Research Connections.[3][4] Před rokem 2013 působila jako prezidentova profesorka informatiky na Univerzita Carnegie Mellon, Pittsburgh, Pensylvánie, Spojené státy. Působila také jako asistentka ředitele pro počítačovou a informační vědu a inženýrství na NSF od roku 2007 do roku 2010.[5][6][7][8][9][10][11][12][13][14]
Vzdělávání
Wing jí vynesl S.B. a S.M. v oboru elektrotechniky a informatiky na MIT v červnu 1979. Jejími poradci byli Ronald Rivest a John Reiser. V roce 1983 získala titul Ph.D. v informatice na MIT pod John Guttag.[1]
Kariéra a výzkum
Wing byl na fakultě University of Southern California v letech 1982 až 1985 a poté na fakultě Carnegie Mellon v letech 1985 až 2012. V letech 2004 až 2007 a 2010 až 2012 působila jako vedoucí katedry informatiky. V lednu 2013 si vzala dovolenou u Carnegie Mellon, aby pracovala v Microsoft Research.
Wing byl vedoucím členem formální metody komunita, zejména v oblasti Modřín. Vedla mnoho výzkumných projektů a široce publikovala.[15]
S Barbara Liskov vyvinula Princip substituce Liskov, publikovaná v roce 1993.
Byla také silnou propagátorkou výpočetní myšlení, vyjadřující algoritmické techniky řešení problémů a abstrakce používané počítačovými vědci a způsoby jejich použití v jiných oborech.[5]
Je členkou redakční rady následujících časopisů:
- Základy a trendy v oblasti ochrany osobních údajů a zabezpečení (spolueditor)
- Deník ACM
- Formální aspekty práce na počítači (Severoamerický redaktor)
- Formální metody v návrhu systému
- International Journal of Software and Informatics
- Journal of Information Science and Engineering
- Softwarové nástroje pro přenos technologií
Reference
- ^ A b C Jeannette Wing na Matematický genealogický projekt
- ^ „Prezident Bollinger jmenoval vedoucí výzkumu Microsoftu Jeannette Wing do vedení Columbia Data Institute Institute“. Citováno 1.května, 2017.
- ^ „Jeannette Wing“. Citováno 6. července 2014.
- ^ Clayton, Steve (20. listopadu 2012). „Dr. Jeannette Wing: nová viceprezidentka, vedoucí Microsoft Research International“. blogs.microsoft.com.
- ^ A b Wing, Jeanette M. (2006). "Výpočetní myšlení" (PDF). Komunikace ACM. 49 (3): 33. doi:10.1145/1118178.1118215.
- ^ Wing, Jeannette M; Woodcock, Jim; Davies, Jim, eds. (1999). FM'99 - Formální metody: Světový kongres o formálních metodách při vývoji výpočetních systémů Toulouse, Francie, 20. – 24. Září 1999 Sborník, díl I. LNCS. 1708. Springer-Verlag. doi:10.1007/3-540-48119-2. ISBN 978-3-540-66587-8.
- ^ Wing, Jeannette M; Woodcock, Jim; Davies, Jim, eds. (1999). FM'99 - Formální metody: Světový kongres o formálních metodách při vývoji výpočetních systémů Toulouse, Francie, 20. – 24. Září 1999 Sborník, díl II. LNCS. 1709. Springer-Verlag. doi:10.1007/3-540-48118-4. ISBN 978-3-540-66588-5.
- ^ Martin, U.; Wing, J. M., eds. (1993). Sborník z prvního mezinárodního workshopu o modřínu. Workshopy v oboru výpočetní techniky. Springer-Verlag. ISBN 978-3-540-19804-8.
- ^ Garland, S. J .; Jones, K. D .; Modet, A .; Wing, J. M. (1993). Guttag, J. V.; Horning, J. J. (eds.). Larch: Jazyky a nástroje pro formální specifikaci. Springer-Verlag. CiteSeerX 10.1.1.137.5123. doi:10.1007/978-1-4612-2704-5. ISBN 978-1-4612-7636-4.
- ^ Jeannette M. Wing na DBLP Bibliografický server
- ^ Publikace Jeannette Wingové indexováno podle Scopus bibliografická databáze. (vyžadováno předplatné)
- ^ Jeannette Wing stránka s profilem autora na ACM Digitální knihovna
- ^ Herlihy, M. P .; Wing, J. M. (1990). "Linearizovatelnost: Podmínka správnosti pro souběžné objekty". Transakce ACM v programovacích jazycích a systémech. 12 (3): 463. CiteSeerX 10.1.1.142.5315. doi:10.1145/78969.78972.
- ^ Clarke, E. M .; Wing, J. M. (1996). "Formální metody: stav techniky a budoucí směry". ACM Computing Surveys. 28 (4): 626. CiteSeerX 10.1.1.60.8874. doi:10.1145/242223.242257.
- ^ „Jeannette M. Wing“. cs.cmu.edu.
externí odkazy
- Aaronson, Lauren, Otázky a odpovědi: Jeannette Wing
- Rozhovory Jon Udell s inovátory - Dr. Jeannette Wing
![]() ![]() | Tento článek o americkém vědci na akademické půdě je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |