ゲルハルト・クロウスト

ゲルハルト・クロウスト（1941年4月23日生まれ）はオーストリアの システム科学者であり、オーストリア、リンツのヨハネス・ケプラー大学システム科学研究所のシステム工学および自動化の名誉教授です。クロウストは、形式プログラミング言語と学際的な情報管理の分野の権威です。

ゲルハルト・クロウストは、1941 年にオーストリアのウィーンで生まれました。1959年に通信電子工学の研究を開始し、 1964 年にウィーン工科大学で修士号、1965 年にペンシルバニア大学で修士号、1974 年にウィーン工科大学で博士号を取得しました。

クロウストは1966年から1991年まで、IBMウィーン研究所に勤務した。1975年にヨハネス・ケプラー大学リンツ校とウィーン工科大学でマイクロプログラミングの講師として働き始めた。1980年にコンピュータサイエンスの助教授となり、ヨハネス・ケプラー大学リンツ校、クラーゲンフルト大学、ウィーン工科大学で「データフローメカニズム」、「データフローメカニズム」、後に「ソフトウェア開発プロセス」を講義した。1992年から2007年まで、ヨハネス・ケプラー大学リンツ校で「システムエンジニアリングとオートメーション」の教授を務め、1992年から2007年までシステムエンジニアリングとオートメーションの部門長（2004年に研究所に編入）を務めた。^[1]

Chroust 氏はIFSRニュースレターの編集長です。さらに、オーストリアコンピュータ協会 (OCG) の書籍シリーズの編集委員会の委員長を務めています。また、1976 年から 1985 年まではThe Journal of Microprocessors and Microsystems 、 1978 年から 1990 年まではIBM Programming Series 、 1992 年から 2005 年までは Computer Standards and Interfaces 、1994 年からはSystems Research and Behavioral Scienceなど、いくつかの雑誌の編集委員会メンバーでもあります。1997 年には、 Charles François氏が編集するInternational Encyclopedia of Systems and Cyber​​neticsの学術委員会メンバーでもありました。

さらに、クロウスト氏は、国際システム研究連盟の書記兼会計係、オーストリアサイバネティック研究協会の副会長、オーストリア規格委員会の顧問 として組織的に活動しています。

ゲルハルト・クロウストは、1968 年にジャニー・クロウスト (旧姓ウェップス) と結婚しました。2 人の間には、マーティン (* 1971 年) とステファン (* 1974 年) の 2 人の息子と、エイドリアン (* 2001 年)、ニクラス (* 2004 年)、ヴィクトリア (* 2005 年)、レベッカ (* 2007 年)、エラ (* 2008 年) の 5 人の孫がいます。

ゲルハルト・クロウストの研究分野は、ソフトウェア工学（ソフトウェアプロセスモデルの表現と実践、開発プロセスの品質と改善）、システム科学と工学の体系的側面、創発、コンピュータと情報技術の歴史、ソフトウェア開発の人間的側面である。 ^[2 ]

1964 年に、クロウストはサイバネティクスに関する修士論文「Kybernetisches Modell: Muehlespiel Masters」を書き、その後 4 年間サイバネティック マシンの研究を続けました。

1965年から1966年にかけて定理証明の研究から、クロウストはプログラミング言語の形式定義の研究を続け、「ウィーン定義言語」を開発しました。1967年から1975年にかけて、コンパイラ理論と算術式の評価の研究を始めました。

1970 年代、クロウストは1969 年から 1972 年まで並列処理とシミュレーション、 1975 年から 1990 年までマイクロプログラミング、 1976 年から 1982 年まで コンパイラ構築の研究を続けました。

1980 年代には Chroust の研究範囲はソフトウェア エンジニアリングとその環境に移り、1990 年代には情報技術エンジニアリングに移りました。彼はソフトウェア検査とワークフロー管理に特に興味を持っていました。

クロウストは、12冊以上の本と400以上の記事、論文、その他の出版物を執筆、共著、編集してきました。^[3]抜粋:

• 1980.ファームウェア、マイクロプログラミング、および再構築可能なハードウェア: ファームウェア、マイクロプログラミング、および再構築可能なハードウェアに関する IFIP ワーキング カンファレンスの議事録、オーストリア、リンツ、1980 年 4 月 28 日～5 月 1 日。Jörg R. Mühlbacher と共同編集。
• 1985.プログラミングにおける形式モデル：情報処理における抽象モデルの役割に関するIFIP TC2ワーキング カンファレンスの議事録、オーストリア、ウィーン、1985 年 1 月 30 日 - 2 月 1 日。EJ Neuhold と共著。
• 1989.マイクロプログラムミエルングとレヒネレントヴルフ。オルデンブール・フェルラーク。
• 1992.ソフトウェア - エントウィックルングのモデル - ヴォルゲヘンスモデルの使用と解釈。オルデンブルク・フェルラーク・ウィーン・ミュンヘン。
• 1994.ワークフロー管理: 課題、パラダイム、製品: CON '94。A. Benczúr と共著。
• 1994. Interdisciplinary Information Management Talks 94 . P. Doucek と共著。
• 1995. Umfrage ワークフロー - Eine Momentaufnahme über die Verbreitung、Einsatz und Meinungen über Workflow in den deutschsprachigen Ländern。 J・バーグスマン氏と。オルデンブール・ウィーン～ミュンヘン。
• 1995。Die Geschichte der Datenverarbeitung - Bibliographie zur Geschichtswand。 H・ゼマネク氏と。オルデンブール ウィーン/ミュンヘン
• 1998.アドルフ アダム - 80 Jahre、eine Anekdotensammlung、ÖSGK、オーストリア サイバネティック研究協会の報告書、ウィーン。
• 2005. IFSR 2005 - 知識ベース社会におけるシステム科学の新たな役割、神戸 2005 。 Jifa Guと共著。 Jaist Press、小松、日本。

• Gerhard Chroust のホームページは www.sea.uni-linz.ac.at です。
• ゲルハルト・クロウスト博士。ICSCI、2008年。
• 記事は 2008-08-20 にWayback Machineにアーカイブされました 。 25 Years of the IFSR: A Milestone in the Systems Sciences、Gerhard Chroust 著。
• ヘルムート・マレック著「リンツ JKU システム エンジニアリングおよびオートメーション名誉研究所 – 肖像」。 4～5ページ。 （ドイツ語で）。