マズ・トフティ

Mads Tofte (1959 年 4 月 20 日生まれ) は、関数型プログラミングと標準 MLプログラミング言語に特に貢献したデンマークの コンピューター科学者です。

トフテはデンマークのリンビーで生まれ、デンマークのホルベックで育ちました。コペンハーゲン大学でコンピュータサイエンスと数学を学び、 1984年にニール・D・ジョーンズ指導のもと修士号を取得しました。その後、エディンバラ大学でロビン・ミルナー指導のもと、1988年に博士号を取得しました。2007年にキングストン大学より名誉博士号を授与されました。

1984年の修士論文^[1]とそれ以前の研究で、彼はCERESコンパイラジェネレーターを調査および形式化し（Neil D. Jonesと共著）、（1）コンパイラジェネレーターは、言語定義からコンパイラーへのコンパイラーである、（2）適切な仮定の下では、自分自身に適用するとコンパイラージェネレーターを生成する言語定義が存在することを示しました。これは、部分評価における自己適用と密接な関係があります。

彼は博士論文で、当時重要な未解決問題であったMLスタイルの多態的参照のための最初の健全な型システムを開発し、その正しさを証明しました。さらに、彼は標準 MLプログラミング言語のモジュール システムの変種を形式化しました。

Mads Tofteは、 Standard MLの定義^[2]と関連する解説の共著者であり、これはおそらく、あらゆる現実的なプログラミング言語に対して開発された最も正確な説明です。彼は、その定義に厳密に従った構造を持つ Standard MLの実装であるML Kitを共同開発しました。

その後、彼は（ジャン＝ピエール・タルピンと共同で）領域推論の概念を開発した。これは、ガベージコレクションの使用を回避または最小限に抑えるプログラム分析およびメモリ管理技術である。この研究は、 POPL 1994で初めて発表され^[3]、2005年にACM（米国計算機学会） POPL 1994最優秀論文賞を受賞した。

90年代後半、彼は（フリッツ・ヘングレイインらと）COBOLソフトウェアの2000年問題を軽減するための型システムと高度なツール「AnnoDomini」を共同開発しました。このツールはレガシープログラムを解析し、日付として使用されているすべてのデータフィールドを検出します。この研究はPOPL 1999の招待基調講演で発表されました。^[4]

1999年4月、彼はコペンハーゲンIT大学の初代理事に任命されました。彼は大学の創設、教職員の雇用、学生の募集、学習プログラムの設計をゼロから監督しました。最初の学生は5か月後の1999年9月に入学しました。彼は2003年からコペンハーゲンIT大学の副学長を務めています。

2018年4月、彼は年末にコペンハーゲンIT大学を退学すると発表された。2019年1月、デンマークの移民法により娘の入国が禁止されたため、彼は娘と一緒にいるためにデンマークから出国すると発表した。^[5]

• 2002 IDG IT賞（IT賞）コペンハーゲンIT大学のリーダーシップに対して
• 2005 ACM POPL '94 最も影響力のある論文賞 (Jean-Pierre Talpin と共著)。

• 履歴書
• リージョン付き ML キット