グレッグ・モリセット学部長が CIS における課題と機会について語る

グレッグ・モリセット氏は7月1日、コンピューティング・情報科学（CIS）学部長としてコーネル大学に戻った。 彼は、1996 年から 2004 年までコーネル大学のコンピューター サイエンス学部に勤務し、ハーバード大学のコンピューター サイエンスのアレン B. カッティング教授に就任し、計算と社会研究センターの所長およびコンピューター サイエンスおよびエンジニアリングの副学部長を務めました。 彼はハーバード大学の新しい工学応用科学部の設立に貢献しました。 クロニクル紙の記者ビル・スティールはゲイツ・ホールのオフィスでモリセットと座り、CISの将来について話し合った。

コーネル大学に戻りますが、何が変わったことに気づきましたか?

イサカはそれほど変わっていませんが、コーネル大学と CIS は大きく変わりました。 CIS には現在、20 年前には存在しなかった統計科学部が含まれており、コーネル工科大学のキャンパスは誰にとっても、特に CIS にとっては刺激的な機会となっています。 もう 1 つの大きな変化は、CIS が物理科学や工学を超えて他の多くの分野との関わりを広げたことです。 私たちは今、ジョンソン、生物学、社会科学、さらには人文科学とつながっています。

私たちは、21 世紀のコンピューティングと情報科学が何であるかを構築し、定義することに貢献していると言えます。 コンピューターのプログラミングは、小規模ですが重要な部分です。 同様に重要なのは、私たちが関わるあらゆる分野にもたらす、ネットワーク科学などの数学的および計算モデルの範囲です。 そしてテクノロジーと社会の相互作用は CIS にとって重要な焦点です。 現代の「コンピューティング」には、コンピューターやネットワークと同様に人々の調整も含まれます。 たとえば、私たちは現在、鳥類学研究所の eBird などのオンライン プラットフォームを通じて人間を募集しており、鳥の画像や音を分類するコンピューターの訓練を支援しています。

ゲイツホールについての印象は何ですか？

ゲイツ ホールは、コンピューター サイエンスと情報科学の教員と学生が集まる素晴らしい新しいスペースです。 私たちが地理的にも学問的にもキャンパスの中心にあることは象徴的です。

この建物の中で私のお気に入りの機能の 1 つは、Gimme! です。 多くの部外者が建物に集まり、学生や教職員が即興で会話をする機会を提供するコーヒーショップ。 こうした会話は、新しいアイデアを生み出し、強いコミュニティ意識を生み出すために非常に重要です。

変更したい点はありますか?

統計学、コンピューター サイエンス、情報科学はあらゆる分野と連携しているため、キャンパス中の学生が私たちのコースを受講しています。 その結果、私たちのクラスは巨大なものになりました。 学生たち、特に上級レベルの学生たちに、より小さなクラスをいくつか設けてほしいと思っています。 しかし、当然のことながら、これは教員の追加を意味します。

私が聞きたい質問の 1 つは、「プログラミング入門などの特定のコースを住宅キャンパス環境で教えるための最良の方法は何ですか?」です。 現代の教室に座っていると、生徒たちがラップトップや携帯電話を持ち出しており、私たちが手にしているテクノロジーそのものに常に気を取られていることに気づくでしょう。 さらに、ほぼすべての宿題やプロジェクトの解決策をオンラインで簡単に見つけることができます。

私たちは古い教育モデルを再考し、情報がすぐに手に入る新しい世界に適応する必要があります。 一部のコースでは、教室を「反転」して、学生が寮でビデオで講義を視聴し、一緒に実践的な開発作業を行う準備をして授業に臨むことを意味する場合があります。 しかし、学生が 300 人いる場合、プログラミング入門などのプロジェクト指向の授業、ましてやオペレーティング システムなどの上位レベルの授業を反転する方法はまだ見つかりません。 良い仕事をするには、適切な指導スペースと、学生にデザインやコードについて即座にフィードバックを提供できる十分な指導アシスタントが必要です。 いずれにせよ、私たちはこれを教育と研究を組み合わせて、生徒たちに可能な限り最高の教育を提供できる機会と見なすべきです。

ご自身の研究について教えてください。

私は主にソフトウェア セキュリティに興味があります。簡単にハッキングされないソフトウェアを構築するにはどうすればよいでしょうか? より優れたプログラミング言語からより優れた暗号化まで、役立つ要素は数多くあります。 理想的には、プログラマが心配することなく、セキュリティのほとんどが自動的に行われる必要があります。 しかし、今日ではまったく逆です。プログラム内の 1 つの小さなコーディングミスが致命的な障害につながる可能性があります。

私が特に注力しているアプローチの 1 つは、安全性およびセキュリティ クリティカルなソフトウェアに対する正式な機械チェックによる正当性証明の適用です。 その考えは、私があなたにソフトウェアを与えて、それが「悪いこと」を何もしないと主張した場合、あなたは私の主張を検証する簡単な方法を持っているはずだということです。 これを達成する 1 つの方法は、ソフトウェアが実行時に何も「悪いこと」をしないという数学的に厳密な証明を構築し、その証明が有効であることを確認するだけです。 理想的には、プルーフ チェッカーは非常に小さくてシンプルである必要があり、このプルーフ チェッカーが正しいという証明も構築する必要があります。

正式な機械チェックされた証明のアイデアは、初代 CIS 学部長であったボブ・コンスタブルの初期の研究に遡ります。 したがって、私は複数の方法で彼の足跡をたどっています。

仕事以外で興味のあることは何ですか?

私はハイキングが好きなので、イサカに戻ってきてうれしいもう 1 つの理由です。 私は古い映画が大好きです。 そして、私はこれらの牛を集めるのが楽しいです。 [彼のオフィスの棚には、牛の絵が描かれたいくつかの置物とマグカップがあります。 部屋の片隅に巨大なふにゃふにゃの牛のぬいぐるみがある。]

買わないよ。 人々は私にそれらを与えます。

あなたはここで下級教員としてスタートし、今では学部長になりました。 その変化についてどう思いますか？

コーネル大学で気に入ったことの 1 つは、上級教員から多くのサポートを得られたことです。 私の今の仕事は、学生や教職員の多くのフラストレーションを取り除く総合的なトラブルシューティング担当として行動することであり、全員が成功する機会を確実に得られるようにしたいと考えています。

コーネル大学のニュースをあなたの受信箱に直接届けましょう。