(INRIA)パリ・ロッカンクール研究センターのガリウム・プロジェクトリーダーのグザヴィエ・ルロワ氏は関数型プログラミングであるOCAM1とコンパイラの形式的検証に関する研究に対して王立協会ミルナー賞を受賞した。この賞はロビン・ミルナー教授に敬意を表して設けられたもので、情報科学分野での傑出した業績をあげた研究者に贈られる。reserved.本ウェブサイトは、アクセス件数を始めとする本サイトの利用状況を把握するため、クッキー(cookie)を使用しています。このバナーを閉じる、または本ウェブサイトの閲覧を継続することで、クッキーの使用に同意いただいたものとさせていただきます。