フランス国立情報学自動制御研究所(INRIA)パリ・ロッカンクール研究センターのガリウム・プロジェクトリーダーのグザヴィエ・ルロワ氏は関数型プログラミングであるOCAM1とコンパイラの形式的検証に関する研究に対して王立協会ミルナー賞を受賞した。この賞はロビン・ミルナー教授に敬意を表して設けられたもので、情報科学分野での傑出した業績をあげた研究者に贈られる。
【ニュース・フランス】グザヴィエ・ルロワ氏、2016年王立協会ミルナー賞を受賞
地域 | 西欧 |
国 | イギリス、フランス |
取組レベル | 大学等研究機関レベルでの取組 |
顕彰 | 顕彰 |