Dekan Greg Morrisett über Herausforderungen und Chancen in der GUS

Greg Morrisett kehrte am 1. Juli als Dekan für Informatik und Informationswissenschaft (CIS) nach Cornell zurück. Er war von 1996 bis 2004 an der Informatikfakultät von Cornell tätig, bevor er Allen B. Cutting Professor für Informatik an der Harvard University wurde, wo er Direktor des Center for Research on Computation and Society und stellvertretender Dekan für Informatik und Ingenieurwesen war. Er half beim Aufbau der neuen School of Engineering and Applied Sciences in Harvard. Chronicle-Reporter Bill Steele setzte sich mit Morrisett in seinem Büro in Gates Hall zusammen, um über die Zukunft der GUS zu sprechen.

Zurück zu Cornell: Was hat sich Ihrer Meinung nach geändert?

Ithaca hat sich nicht so sehr verändert, aber Cornell und CIS haben sich enorm verändert. CIS umfasst jetzt das Department of Statistical Science, das es vor 20 Jahren noch nicht gab, und der Cornell Tech Campus ist eine spannende Gelegenheit für alle, insbesondere aber für CIS. Eine weitere große Veränderung besteht darin, dass CIS sein Engagement auf so viele andere Disziplinen über die Naturwissenschaften und Ingenieurwissenschaften hinaus ausgeweitet hat. Wir verbinden uns jetzt mit Johnson, den Biowissenschaften, den Sozialwissenschaften und sogar den Geisteswissenschaften.

Ich würde sagen, dass wir dazu beitragen, die Computer- und Informationswissenschaft des 21. Jahrhunderts mitzugestalten und zu definieren. Das Programmieren von Computern ist ein kleiner, aber wichtiger Teil davon. Ebenso wichtig ist die Bandbreite an mathematischen und rechnerischen Modellen, wie etwa der Netzwerkwissenschaft, die wir in alle von uns berührten Bereiche einbringen. Und die Interaktion von Technologie mit der Gesellschaft ist ein zentraler Schwerpunkt für CIS. Bei der modernen „Berechnung“ geht es ebenso um die Koordination von Menschen wie um Computer oder Netzwerke. Beispielsweise rekrutieren wir jetzt Menschen über Online-Plattformen wie eBird des Lab of Ornithology, wo sie Computern beibringen, Bilder oder Geräusche von Vögeln zu klassifizieren.

Welche Eindrücke haben Sie von Gates Hall?

Gates Hall ist ein großartiger neuer Raum, der unsere Fakultäten und Studenten für Informatik und Informationswissenschaft zusammenbringt. Es ist symbolisch, dass wir uns sowohl geografisch als auch akademisch im Zentrum des Campus befinden.

Eines meiner Lieblingsfeatures im Gebäude ist das Gimme! Ein Café, das viele Außenstehende in das Gebäude lockt und Studierenden, Lehrkräften und Mitarbeitern die Möglichkeit bietet, spontane Gespräche zu führen. Diese Gespräche sind entscheidend, um neue Ideen anzuregen und ein starkes Gemeinschaftsgefühl zu schaffen.

Gibt es Dinge, die Sie vielleicht ändern möchten?

Da Statistik, Informatik und Informationswissenschaft mit allen Bereichen interagieren, nehmen Studierende aus dem gesamten Campus an unseren Kursen teil. Daher sind unsere Kurse riesig. Ich würde es begrüßen, wenn die Schüler einige kleinere Klassen hätten, insbesondere für die oberen Klassen. Aber das bedeutet natürlich, dass wir mehr Lehrkräfte hinzufügen müssen.

Eine der Fragen, die ich stellen möchte, lautet: „Wie kann man einen bestimmten Kurs, beispielsweise Einführung in die Programmierung, am besten in einem Wohncampus unterrichten?“ Wenn Sie in einem modernen Klassenzimmer sitzen, werden Sie feststellen, dass die Schüler ihre Laptops oder Telefone heraushalten und ständig von der Technologie abgelenkt werden, die wir ihnen in die Hände geben. Darüber hinaus können Lösungen für nahezu jede Hausaufgabe oder jedes Projekt problemlos online gefunden werden.

Wir müssen die alten Lehrmodelle überdenken und uns an die neue Welt anpassen, in der Informationen immer zur Hand sind. Bei einigen Kursen könnte das bedeuten, dass wir den Klassenraum „umdrehen“, sodass die Studenten die Vorlesungen per Video in ihren Wohnheimen ansehen und zum Unterricht kommen, um gemeinsam praktische Entwicklungsarbeit zu leisten. Aber ich habe noch keine Möglichkeit gefunden, einen projektorientierten Kurs, wie zum Beispiel Einführung in die Programmierung, umzudrehen, geschweige denn einen Oberkurs wie zum Beispiel Betriebssysteme, wenn es 300 Studenten gibt. Um gute Arbeit zu leisten, sind der richtige Unterrichtsraum und genügend Lehrassistenten erforderlich, damit wir den Schülern sofortiges Feedback zu ihren Entwürfen und Codes geben können. Unabhängig davon sollten wir dies als Chance begreifen, Lehre und Forschung zu verbinden, um den Studierenden die bestmögliche Ausbildung zu ermöglichen.

Erzählen Sie uns von Ihrer eigenen Forschung.

Ich interessiere mich hauptsächlich für Softwaresicherheit: Wie erstellen wir Software, die nicht leicht gehackt werden kann? Es gibt viele verschiedene Dinge, die helfen können, von besseren Programmiersprachen bis hin zu besserer Kryptographie. Im Idealfall sollte der Großteil der Sicherheit automatisch erfolgen, ohne dass sich Programmierer darum kümmern müssen. Doch heute ist genau das Gegenteil der Fall: Ein kleiner Programmierfehler in einem Programm kann zu einem katastrophalen Ausfall führen.

Ein Ansatz, auf den ich mich besonders konzentriere, ist die Anwendung formaler, maschinell überprüfter Korrektheitsnachweise für sicherheitskritische Software. Die Idee ist: Wenn ich Ihnen eine Software gebe und behaupte, dass sie nichts „Schlechtes“ macht, dann sollten Sie eine einfache Möglichkeit haben, meine Behauptung zu überprüfen. Eine Möglichkeit, dies zu erreichen, besteht darin, einen mathematisch strengen Beweis zu erstellen, dass die Software bei der Ausführung nichts „Schlechtes“ tut, und dann könnten Sie einfach überprüfen, ob der Beweis gültig ist. Im Idealfall sollte der Proof-Checker wirklich klein und einfach sein, und wir sollten sogar einen Beweis dafür erstellen, dass dieser Proof-Checker korrekt ist.

Die Idee formaler, maschinell überprüfter Beweise geht auf die frühen Arbeiten von Bob Constable zurück, dem ersten CIS-Dekan. Ich trete also in mehr als einer Hinsicht in seine Fußstapfen.

Was sind Ihre Interessen außerhalb der Arbeit?

Ich wandere gern und das ist ein weiterer Grund, warum ich froh bin, wieder in Ithaka zu sein. Ich liebe alte Filme. Und es macht mir Spaß, diese Kühe zu sammeln. [Auf den Regalen in seinem Büro stehen mehrere Figuren und Tassen mit Kuhbildern; In einer Ecke des Raumes steht eine riesige, schlaffe Stoffkuh.]

Ich kaufe sie nicht. Die Leute geben sie mir.

Sie haben hier als Junior-Fakultätsmitglied angefangen und sind jetzt Dekan geworden. Wie empfinden Sie diesen Übergang?

Eines der Dinge, die mir an Cornell gefielen, war, dass ich viel Unterstützung von den höheren Lehrkräften bekam. Ich denke, meine Aufgabe besteht jetzt darin, als allgemeiner Problemlöser zu fungieren, um einen Großteil der Frustrationen für Studenten und Lehrkräfte zu beseitigen, und ich möchte sicherstellen, dass jeder die Möglichkeit hat, erfolgreich zu sein.

Erhalten Sie Cornell-Nachrichten direkt in Ihren Posteingang.