有名人ナビ トップページ
人物データベース×観光資源
河

河野真治

こうの しんじ
Wiki ↗

河野 真治(こうの しんじ、1959年 - )は、日本の情報工学者。琉球大学工学部工学科知能情報コース准教授。工学博士(東京大学) 東京工業大学理学部化学科を卒業後、1989年に東京大学大学院工学系研究科情報工学専攻にて博士課程を修了し、工学博士の学位を取得した。博士論文の題目は「ファイングレイン並列計算機のためのプログラミング言語」である。 ソニーコンピュータサイエンス研究所(Sony CSL)での勤務を経て、1996年4月より琉球大学工学部情報工学科の准教授に着任し、現在に至る。また、1999年から2002年には科学技術振興事業団さきがけ21「機能と構成」の研究員を兼任した。 専門はプログラミング言語の設計と実装、プログラム検証(Agda、時相論理)、オペレーティングシステム、並列処理、オブジェクト指向プログラミング、ネットワーク(リアルタイム・ゲーム)、ハードウェア・ソフトウェア協調設計、システムLSIなど多岐にわたる。

出典:ウィキペディア「河野真治」(CC BY-SA 4.0)を一部抜粋