1994年に授与されたチャールズ・バベッジ・プレミアムは、ソフトウェア工学に対するジョナサン・ボーウェン（Jonathan Bowen）の影響力が早期に認められたことを示すものでした。1956年に英国オックスフォードで生まれた彼は、アカデミアと産業界にわたるキャリアを築き、形式手法とコンピューティングおよび文化遺産の交差点に焦点を当て、最終的にシステム検証やデジタル博物館情報学の基礎的理解に貢献しました。
形式手法とソフトウェア検証
ボーウェンの学術的および専門的活動の中心は形式手法であり、特にZ表記法に重点を置いています。彼の研究は、ソフトウェア工学における証明可能に正しいシステムの必要性に対処するものであり、『Towards Verified Systems』や『Applications of Formal Methods』をはじめとする多数の出版物を通じてこの分野を発展させました。2000年から2006年にかけて、彼はロンドン・サウス・バンク大学の応用形式手法センターを率いまし。この領域における彼の活動は、「Innovations in Systems and Software Engineering」や「ACM Computing Surveys」などの学術誌の編集委員会にも及び、厳密な数学的手法をソフトウェア設計に実用的に応用することに注力しました。
デジタル文化と博物館学
エンジニアリングにとどまらず、ボーウェンは博物館への情報技術の応用にも大きな関心を持っています。1994年、彼はバーチャル・ライブラリの博物館ページを作成し、これは国際博物館会議に採用された初期のインターネットディレクトリとなりました。この軌跡は、仮想計算機博物館（Virtual Museum of Computing）の開発へと続きました。2002年には、文化機関内のデジタルイニシアチブを支援するため、ミュージオファイル・リミテッド（Museophile Limited）を設立しました。『Museums and Digital Culture』や『The Arts and Computational Culture』を含む彼の最近の学術的著作は、伝統的なコレクションからデジタル環境への移行を検証しています。
産業界での役割と専門職の所属
ボーウェンのキャリアは、大学での研究と商業的実装の間の溝を埋めるものです。産業界での経験には、マルコーニ・インスツルメンツ、オックスフォード・インスツルメンツ、シリコン・グラフィックス、アルトラン・プラキスでの役職が含まれ、そこでZ表記法の産業応用に関与しました。学術的な経歴としては、ロンドン・サウス・バンク大学、キングス・カレッジ・ロンドン、レディング大学での教育・研究職のほか、ユニバーシティ・カレッジ・ロンドンやプラット・インスティテュートでの客員としての地位を歴任しています。英国コンピュータ協会（BCS）および王立芸術協会（RSA）のフェローであり、リバリーマン（ロンドンのギルド組合員）のステータスを保持しています。
クイックファクト
- 出生: 1956年、オックスフォード - 国籍: イギリス - 分野: 計算機科学 - 主な関心: Z表記法 - 受賞: チャールズ・バベッジ・プレミアム（1994年） - 著名な著作: The Turing Guide - 学歴: ユニバーシティ・カレッジ（オックスフォード大学）
よくある質問
### ジョナサン・ボーウェンの博物館研究への貢献は何ですか？
彼はバーチャル・ライブラリの博物館ページを開発し、ミュージオファイル・リミテッドを設立して、博物館環境への情報技術の統合を促進しました。
### 彼はどのような専門的称賛を受けていますか？
1994年にチャールズ・バベッジ・プレミアムを受賞し、英国コンピュータ協会および王立芸術協会のフェローです。
