河野真治

東京工業大学理学部化学科を卒業後、1989年に東京大学大学院工学系研究科情報工学専攻にて博士課程を修了し、工学博士の学位を取得した。博士論文の題目は「ファイングレイン並列計算機のためのプログラミング言語」である^[1]。

ソニーコンピュータサイエンス研究所（Sony CSL）での勤務を経て、1996年4月より琉球大学工学部情報工学科の准教授に着任し、現在に至る^[2] 。また、1999年から2002年には科学技術振興事業団さきがけ21「機能と構成」の研究員を兼任した^[3]。

専門はプログラミング言語の設計と実装、プログラム検証（Agda、時相論理）、オペレーティングシステム、並列処理、オブジェクト指向プログラミング、ネットワーク（リアルタイム・ゲーム）、ハードウェア・ソフトウェア協調設計、システムLSIなど多岐にわたる^[2]。

主要な業績としては、nkfの主要開発者・メンテナンス担当者としての貢献が挙げられる^[4]。また、ゲームフレームワーク「Cerium TaskManager」の開発にも携わっている^[4]。近年はAgdaを用いた形式検証やツォルンの補題の証明など、理論的な研究にも注力している^[2]。

2002年にはICFP Programming Contestで優勝^[3]、2024年度には情報処理学会システムソフトウェアとオペレーティング・システム研究会功績賞を受賞するなど、その功績は高く評価されている。日本のOS研究および関連コミュニティの活性化にも大きく貢献している^[5]。

著書に『入門Perl』（アスキー、1994年）がある^[6]。