1993 yılında Barbara Liskov ile birlikte geliştirilen Liskov yerine geçme prensibi, yazılım mühendisliği metodolojisine temel bir katkı olmaya devam etmektedir. 1956 yılında Newark'ta doğan Jeannette Wing, teorik bilgisayar bilimi ile endüstriyel uygulama arasındaki boşluğu kapatmak için onlarca yıl harcamıştır. Profesyonel kariyeri akademi, devlet politikası ve kurumsal araştırma laboratuvarlarını kapsamakta olup öncelikle programlama dilleri ve biçimsel yöntemlere odaklanmaktadır.
Akademik Temeller ve Araştırma
Wing, Elektrik Mühendisliği ve Bilgisayar Bilimleri alanındaki lisans ve yüksek lisans eğitimini Haziran 1979'da Ronald Rivest ve John Reiser gözetiminde Massachusetts Teknoloji Enstitüsü'nde tamamladı. Bilgisayar Bilimleri doktora derecesini 1983 yılında aynı kurumdan John Guttag danışmanlığında aldı. Erken dönem akademik görevleri arasında 1982'den 1985'e kadar Güney Kaliforniya Üniversitesi yer aldı, ardından 1985'ten 2012'ye kadar Carnegie Mellon Üniversitesi'nde görev yaptı. Carnegie Mellon'daki süresi boyunca 2004–2007 ve 2010–2012 olmak üzere iki dönem Bilgisayar Bilimleri Bölümü başkanlığı yaptı.
Kamu Politikası ve Kurumsal Liderlik
Üniversite araştırmalarının ötesinde Wing, etkili idari roller üstlendi. 2007 ile 2010 yılları arasında Ulusal Bilim Vakfı'nda Bilgisayar, Enformasyon Bilimi ve Mühendisliği alanında müdür yardımcılığı yaptı. Ocak 2013'te, küresel laboratuvarları ve araştırma bağlantılarını 30 Haziran 2017'ye kadar yönettiği Microsoft Research'ün Kurumsal Başkan Yardımcısı olarak özel sektöre geçiş yaptı. Bunun ardından Columbia Üniversitesi Veri Bilimi Enstitüsü'nün Avanessians Direktörü oldu ve 1 Eylül 2021'de üniversitenin Araştırmadan Sorumlu Kıdemli Başkan Yardımcılığına atandı.
Hesaplamalı Düşünceye Katkılar
Wing, bilgisayar bilimlerinde yaygın olan algoritmik soyutlama tekniklerinin çeşitli disiplinlere uygulanmasını içeren hesaplamalı düşüncenin savunuculuğuyla tanınmaktadır. Biçimsel yöntemlerdeki, özellikle Larch ile ilgili çalışmaları programlama metodolojisini önemli ölçüde etkilemiştir. Journal of the ACM ve Formal Methods in System Design dahil olmak üzere çok sayıda yayın kurulu üyesidir. Profesyonel onurları arasında 1998'de ACM Üyesi (Fellow) olması, 2003'te IEEE Üyesi olması ve güvenilir bilişim ile biçimsel yöntemler üzerine yaptığı çalışmalar nedeniyle 2024 yılında Ulusal Mühendislik Akademisi'ne seçilmesi yer almaktadır.
Hızlı Bilgiler
- Doğum: 1956, Newark - Eğitim: Massachusetts Teknoloji Enstitüsü - Ana Alanlar: Bilgisayar bilimi, yapay zeka, programlama dili - Başlıca Rol: Araştırmadan Sorumlu Kıdemli Başkan Yardımcısı, Columbia Üniversitesi - Önemli Geliştirme: Liskov yerine geçme prensibi (1993) - ACM Üyesi: 1998 - IEEE Üyesi: 2003 - Kişisel İlgi Alanı: Tang Soo Do dalında dördüncü derece siyah kuşak
Okuyucuların sorduğu sorular
### Liskov yerine geçme prensibi nedir?
1993 yılında Barbara Liskov ile birlikte geliştirilen bu prensip, bir üst sınıfın nesnelerinin, programın doğruluğunu bozmadan alt sınıflarının nesneleriyle nasıl değiştirilebileceği konusunda programlama metodolojisinde yer alan bir kavramdır.
### Jeannette Wing hesaplamalı düşünme ile neyi kastetmektedir?
Bilgisayar bilimcileri tarafından kullanılan problem çözme tekniklerinin ve algoritmik soyutlamaların, diğer akademik ve pratik disiplinlerdeki araştırma ve görevlere uygulanabilmesi için ifade edilmesi sürecini ifade eder.
