Das Liskovsche Substitutionsprinzip, entwickelt zusammen mit Barbara Liskov im Jahr 1993, bleibt ein grundlegender Beitrag zur Softwaretechnik-Methodik. Jeannette Wing, 1956 in Newark geboren, hat Jahrzehnte damit verbracht, die Kluft zwischen theoretischer Informatik und industrieller Anwendung zu überbrücken. Ihre berufliche Laufbahn erstreckt sich über die Wissenschaft, die Regierungspolitik und unternehmerische Forschungslabore, wobei sie sich hauptsächlich auf Programmiersprachen und formale Methoden konzentriert.
Akademische Grundlagen und Forschung
Wing absolvierte ihr Bachelor- und Masterstudium in Elektrotechnik und Informatik am Massachusetts Institute of Technology im Juni 1979 unter der Betreuung von Ronald Rivest und John Reiser. Sie promovierte 1983 an derselben Einrichtung in Informatik unter der Betreuung von John Guttag. Ihre frühen Lehrstühle umfassten die University of Southern California von 1982 bis 1985, gefolgt von einer Tätigkeit an der Carnegie Mellon University von 1985 bis 2012. Während ihrer Zeit an der Carnegie Mellon leitete sie das Institut für Informatik in zwei Perioden, 2004–2007 und 2010–2012.
Öffentliche Politik und Unternehmensführung
Über die universitäre Forschung hinaus hatte Wing einflussreiche administrative Rollen inne. Sie war zwischen 2007 und 2010 stellvertretende Direktorin für Computer- und Informationswissenschaften und -technik an der National Science Foundation. Im Januar 2013 wechselte sie in den privaten Sektor als Corporate Vice President von Microsoft Research, wo sie globale Labore und Forschungsverbindungen bis zum 30. Juni 2017 leitete. Danach wurde sie zur Avanessians-Direktorin des Data Science Institute an der Columbia University ernannt und am 1. September 2021 zur Executive Vice President für Forschung der Universität berufen.
Beiträge zum computergestützten Denken
Wing ist bekannt für ihr Eintreten für das computergestützte Denken, welches die Anwendung algorithmischer Abstraktionstechniken aus der Informatik auf verschiedene Disziplinen umfasst. Ihre Arbeit an formalen Methoden, insbesondere in Bezug auf Larch, hat die Programmiermethodik maßgeblich beeinflusst. Sie ist in zahlreichen Redaktionsausschüssen tätig, darunter das Journal of the ACM und Formal Methods in System Design. Zu ihren beruflichen Ehrungen gehören die Ernennung zum ACM Fellow im Jahr 1998, zum IEEE Fellow im Jahr 2003 und die Wahl in die National Academy of Engineering im Jahr 2024 für ihre Arbeit zu vertrauenswürdigem Computing und formalen Methoden.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Steckbrief
- Geboren: 1956, Newark - Ausbildung: Massachusetts Institute of Technology - Hauptbereiche: Informatik, Künstliche Intelligenz, Programmiersprachen - Hauptrolle: Executive Vice President für Forschung, Columbia University - Bemerkenswerte Entwicklung: Liskovsches Substitutionsprinzip (1993) - ACM Fellow: 1998 - IEEE Fellow: 2003 - Persönliches Interesse: 4. Dan (schwarzer Gürtel) in Tang Soo Do
Fragen von Lesern
### Was ist das Liskovsche Substitutionsprinzip?
Es wurde 1993 mit Barbara Liskov entwickelt und ist ein Konzept der Programmiermethodik, das besagt, wie Objekte einer Oberklasse durch Objekte ihrer Unterklassen ersetzt werden können sollen, ohne die Korrektheit des Programms zu beeinträchtigen.
### Was meint Jeannette Wing mit computergestütztem Denken?
Es bezieht sich auf den Prozess des Ausdrückens von Problemlösungstechniken und algorithmischen Abstraktionen, die von Informatikern verwendet werden, damit sie auf Forschung und Aufgaben in anderen akademischen und praktischen Disziplinen angewendet werden können.
