Jeannette Wing - Jeannette Wing

Jeannette Wing
Jeannette Wing, Davos 2013.jpg
Da gapirish Jahon iqtisodiy forumi
yilda Davos, Shveytsariya, 2013 yil 26 yanvar.
Tug'ilgan
Janet Mari Mari Ving
MillatiAmerika
Olma materMassachusets texnologiya instituti
Ilmiy martaba
MaydonlarKompyuter fanlari
InstitutlarKolumbiya universiteti,
Karnegi Mellon universiteti,
Janubiy Kaliforniya universiteti
TezisDasturlarni ko'rsatishda ikki bosqichli yondashuv  (1983)
Doktor doktoriJon Guttag[1]
DoktorantlarGreg Morrisett[1]
Veb-saytCS.cmu.edu/ ~ qanot/

Janet Mari Mari Ving Ma'lumotlarni o'rganish institutining direktori Avanessians Kolumbiya universiteti, u erda u ham professor Kompyuter fanlari.[2] 2017 yil 30-iyungacha u korporativ vitse-prezident bo'lgan Microsoft tadqiqotlari butun dunyodagi asosiy tadqiqot laboratoriyalari va Microsoft Research Connections nazorati bilan.[3][4] 2013 yilgacha u Prezidentning kompyuter fanlari professori edi Karnegi Mellon universiteti, Pitsburg, Pensilvaniya, Qo'shma Shtatlar. Shuningdek, u Kompyuter va axborot fanlari va muhandislik bo'yicha direktor yordamchisi bo'lib ishlagan NSF 2007 yildan 2010 yilgacha.[5][6][7][8][9][10][11][12][13][14]

Ta'lim

Qanot unga S.B. va S.M. da elektrotexnika va kompyuter fanlari MIT 1979 yil iyun oyida. Uning maslahatchilari Ronald Rivest va Jon Rayser. 1983 yilda u doktorlik dissertatsiyasini himoya qildi. MIT-da kompyuter fanlari bo'yicha Jon Guttag.[1]

Ishga qabul qilish va tadqiqot

Qanot fakultetda edi Janubiy Kaliforniya universiteti 1982 yildan 1985 yilgacha, keyin 1985 yildan 2012 yilgacha Karnegi Mellon fakulteti. 2004 yildan 2007 yilgacha va 2010 yildan 2012 yilgacha kompyuter fanlari kafedrasi mudiri bo'lib ishlagan. 2013 yil yanvar oyida u Karnegi Mellondan ta'tilga chiqqan. Microsoft tadqiqotlari.

Wing-ning etakchi a'zosi bo'lgan rasmiy usullar jamoat, xususan Larch. U ko'plab ilmiy loyihalarga rahbarlik qildi va keng nashr etdi.[15]

Bilan Barbara Liskov, u ishlab chiqardi Liskovni almashtirish printsipi, 1993 yilda nashr etilgan.

U shuningdek kuchli targ'ibotchi bo'lgan hisoblash tafakkuri, kompyuter olimlari tomonidan ishlatiladigan algoritmik muammolarni echish va mavhumlashtirish usullarini va ularning boshqa fanlarda qanday qo'llanilishini ifodalash.[5]

U quyidagi jurnallarning tahrir hay'ati a'zosi:

Adabiyotlar

  1. ^ a b v Jeannette Wing da Matematikaning nasabnomasi loyihasi
  2. ^ "Prezident Bollinjer Microsoft tadqiqotlari rahbari Janet Vingni Kolumbiya Ma'lumotlar Institutiga rahbarlik qiladi". Olingan 1 may, 2017.
  3. ^ "Janet qanoti". Olingan 6 iyul, 2014.
  4. ^ Kleyton, Stiv (2012 yil 20-noyabr). "Doktor Janet Ving: yangi vitse-prezident, Microsoft Research International rahbari". bloglar.microsoft.com.
  5. ^ a b Qanot, Jeanette M. (2006). "Hisoblash tafakkuri" (PDF). ACM aloqalari. 49 (3): 33. doi:10.1145/1118178.1118215.
  6. ^ Qanot, Jeannette M; Vudkok, Jim; Devies, Jim, tahrir. (1999). FM'99 - Rasmiy usullar: Hisoblash tizimlarini rivojlantirishning rasmiy usullari bo'yicha Butunjahon Kongressi Tuluza, Frantsiya, 1999 yil 20-24 sentyabr, Ish yuritish, I jild. LNCS. 1708. Springer-Verlag. doi:10.1007/3-540-48119-2. ISBN  978-3-540-66587-8.
  7. ^ Qanot, Jeannette M; Vudkok, Jim; Devies, Jim, tahrir. (1999). FM'99 - Rasmiy usullar: Hisoblash tizimlarini rivojlantirishning rasmiy usullari bo'yicha Butunjahon Kongressi Tuluza, Frantsiya, 1999 yil 20-24 sentyabr, Ish yuritish, II jild. LNCS. 1709. Springer-Verlag. doi:10.1007/3-540-48118-4. ISBN  978-3-540-66588-5.
  8. ^ Martin, U.; Qanot, J. M., eds. (1993). Larch bo'yicha birinchi xalqaro seminar materiallari. Hisoblash bo'yicha seminarlar. Springer-Verlag. ISBN  978-3-540-19804-8.
  9. ^ Garland, S. J .; Jons, K.D .; Modet, A .; Qanot, J. M. (1993). Guttag, J. V.; Horning, J. J. (tahr.). Larch: Rasmiy spetsifikatsiya uchun tillar va vositalar. Springer-Verlag. CiteSeerX  10.1.1.137.5123. doi:10.1007/978-1-4612-2704-5. ISBN  978-1-4612-7636-4.
  10. ^ Jeannette M. Wing da DBLP Bibliografiya serveri Buni Vikidatada tahrirlash
  11. ^ Jeannette Wing nashrlari tomonidan indekslangan Scopus bibliografik ma'lumotlar bazasi. (obuna kerak)
  12. ^ Jeannette Wing muallif profil sahifasi ACM Raqamli kutubxona
  13. ^ Herlihy, M. P.; Wing, J. M. (1990). "Lineerizable: Bir vaqtning o'zida ob'ektlar uchun to'g'rilik sharti". Dasturlash tillari va tizimlari bo'yicha ACM operatsiyalari. 12 (3): 463. CiteSeerX  10.1.1.142.5315. doi:10.1145/78969.78972.
  14. ^ Klark, E. M .; Wing, J. M. (1996). "Rasmiy usullar: zamonaviylik va kelajak yo'nalishlari". ACM hisoblash tadqiqotlari. 28 (4): 626. CiteSeerX  10.1.1.60.8874. doi:10.1145/242223.242257.
  15. ^ "Jeannette M. Wing". cs.cmu.edu.

Tashqi havolalar