ジョナサン・ボーエン

ジョナサン・P・ボーエン FBCS FRSA
生まれる	1956年（69～70歳） オックスフォード、イギリス
母校	オックスフォード大学ユニバーシティ・カレッジ
知られている	形式手法、Z記法、仮想図書館博物館ページ、仮想コンピューティング博物館
受賞歴	IEEチャールズ・バベッジ・プレミアム（1994）[ 1 ]
科学者としてのキャリア
フィールド	コンピュータサイエンス、情報技術、博物館情報学
機関	Museophile Limited、サウスウェスト大学、バーミンガム・シティ大学、ロンドン・サウスバンク大学、レディング大学、オックスフォード大学、インペリアル・カレッジ・ロンドン
Webサイト	www.jpbowen.com

ジョナサン・P・ボーエン（1956年生まれ）は、イギリスのコンピュータ科学者であり、ロンドン・サウスバンク大学の名誉教授です。彼の主な貢献は形式手法、特にZ記法です。^{[ 2 ]}また、博物館情報学の分野でも研究を行っており、^{[ 3 ]}初期のウェブディレクトリであるVirtual Library museums pagesの作成にも携わっています。また、計算機科学の歴史、特にアラン・チューリングに関する研究も行っています。^{[ 4 ]}

幼少期と教育

ボーエンはオックスフォードでハンフリー・ボーエンの息子として生まれ、^{[ 5 ]}ドラゴンスクール、ブライアンストンスクールで教育を受けた後、オックスフォード大学ユニバーシティ・カレッジに入学し、工学科学の修士号を取得した。^{[ 5 ]}

キャリア

ソフトウェア業界で働いた後、インペリアル・カレッジ・ロンドン、オックスフォード大学コンピューティング研究所（現在のオックスフォード大学コンピュータサイエンス学部）、レディング大学、ロンドン・サウスバンク大学に加わった。^{[ 6 ]}主な研究は、形式手法全般と特にZ表記法であった。 ^{[ 7 ]} 2000年代初めから2011年までZユーザーグループの議長を務めた。2002年、Bowen氏は英国コンピュータ協会FACSコンピューティングサイエンスの形式的側面に関する専門家グループの議長に選出された。^{[ 8 ]} 2005年から、Bowen氏はジャーナル「Innovations in Systems and Software Engineering」の副編集長を務めた。^{[ 9 ]}また、ソフトウェアエンジニアリングと形式手法を扱うジャーナル「ACM Computing Surveys」の編集委員会の副編集者でもあった。^{[ 10 ]} 2008年から2009年にかけて、彼はPraxis High Integrity Systemsのアソシエイトとして、 Z表記法を使用した大規模な産業プロジェクトに携わっていました。^{[ 11 ]}

ボーエン氏のもう一つの主要な関心は、オンライン博物館の分野である。^{[ 12 ] [ 13 ]} 1994年、彼はオンライン博物館ディレクトリであるVirtual Library museums pages (VLmp)を設立し、これはすぐに国際博物館会議(ICOM)に採用された。^{[ 14 ] [ 15 ]}その後まもなく、彼はVirtual Museum of Computingも立ち上げた。2002年には、博物館、特にオンライン博物館の支援、例えばディスカッションフォーラムの運営を目的としたMuseophile Limited ^{[ 16 ]}を設立した。 ^{[ 17 ]}

2000年から2006年まで、ボーエン氏はロンドン・サウスバンク大学のコンピューター科学教授として応用形式手法センターを率いた。^{[ 18 ]} 2002年からはMuseophile Limitedの会長も務め、2017年からは中国重慶市の西南大学の非常勤教授を務めている。^{[ 19 ]}バーミンガム・シティ大学のコンピューターサイエンス教授、^{[ 20 ]}プラット・インスティテュート（ニューヨーク市）、ウェストミンスター大学、キングス・カレッジ・ロンドンの客員教授、^{[ 21 ]}ユニバーシティ・カレッジ・ロンドンの客員研究員も務めている。^{[ 22 ]}

ボーエン氏はまた、オックスフォード・インストゥルメンツ、マルコーニ・インストゥルメンツ、ロジカ、シリコングラフィックス、アルトランプラクシスといった産業界でも働いていた。^{[ 6 ]}

認識

1994年、ボーエンはソフトウェア工学ジャーナル誌の最優秀論文に対してIEEチャールズ・バベッジ賞を受賞した。^{[ 1 ]} ボーエンは2002年に王立芸術・製造・商業奨励協会（RSA）のフェローに、2004年には英国コンピュータ協会（BCS）のフェローに選出された。 ^{[ 6 ]}彼は情報技術者の崇敬会の会員であり、ロンドン市の自由市民である。^{[ 23 ]}

選書

ジョナサン・ボーエンは数多くの本を執筆・編集しており、その中には次のような本がある。^{[ 24 ]}

• Bowen, JP編『Towards Verified Systems』、Elsevier Science、Real-Time Safety Critical Systemsシリーズ、第2巻、1994年。ISBN 0-444-89901-4。
• Hinchey, MGおよびBowen, JP編『Applications of Formal Methods』、Prentice Hall International Series in Computer Science、1995年。ISBN 0-13-366949-1. ^{[ 25 ]}
• Bowen, JP, 『Zを用いた形式仕様とドキュメント化：ケーススタディアプローチ』International Thomson Computer Press, International Thomson Publishing , 1996. ISBN 1-85032-230-9. ^{[ 2 ]}
• Bowen, JPおよびHinchey, MG編『高信頼性システムの仕様と設計』Springer-Verlag、ロンドン、FACITシリーズ、1999年。ISBN 3-540-76226-4。
• Hinchey, MGおよびBowen, JP編『Industrial-Strength Formal Methods in Practice』Springer-Verlag, London, FACITシリーズ, 1999年. ISBN 1-85233-640-4。
• Hierons, R., Bowen, JP, Harman, M.編著『Formal Methods and Testing』Springer-Verlag, LNCS , 第4949巻, 2008年. ISBN 978-3-540-78916-1。
• Börger, E.、Butler, M.、Bowen, JP、および Boca, P. 編集者、『抽象状態マシン』B およびZ。 Springer-Verlag、LNCS、第 5238 巻、2008 年。ISBN 978-3-540-87602-1。
• Boca, PP, Bowen, JP, Siddiqi, JI編著『Formal Methods: State of the Art and New Directions』Springer、2010年。ISBN 978-1-84882-735-6、電子ISBN 978-1-84882-736-3, doi : 10.1007/978-1-84882-736-3 .
• Bowen, JP, Keene, S., Ng, K.編著『芸術と文化における電子視覚化』Springer, 2013年, ISBN 978-1-4471-5406-8。
• Copeland, J. , Bowen, JP, Sprevak, M., Wilson, R. , 他著『チューリングガイド』オックスフォード大学出版局、2017年。ISBN 978-0198747826（ハードカバー）、ISBN 978-0198747833（ペーパーバック）。^{[ 4 ]}
• Hinchey, MG, Bowen, JP, Olderog, E.-R.編著『Provably Correct Systems』、Springer International Publishing, NASA Monographs in Systems and Software Engineering series、2017年。ISBN 978-3-319-48627-7, doi : 10.1007/978-3-319-48628-4 .
• ジャンニーニ、T.、ボーエン、JP編『博物館とデジタル文化：新たな視点と研究』、シュプリンガー・シリーズ・オン・カルチュラル・コンピューティング、シュプリンガー、2019年。ISBN 978-3-319-97456-9、電子ISBN 978-3-319-97457-6, doi : 10.1007/978-3-319-97457-6 . ^{[ 3 ]}
• ジャンニーニ、T.、ボーエン、JP編『芸術と計算文化：現実世界と仮想世界』、シュプリンガー・シリーズ・オン・カルチュラル・コンピューティング、シュプリンガー、2024年。ISBN 978-3-031-53864-3、電子ISBN 978-3-031-53865-0, doi : 10.1007/978-3-031-53865-0 ^{[ 26 ]}

参考文献

1. 「チャールズ・バベッジ・プレミアム賞受賞者」.ソフトウェア工学ジャーナル. 10 (1): 2. 1995. doi : 10.1049/sej.1995.0001 .
2. ジョンソン、クリス(1996). 「書評 – Z言語を用いた形式仕様とドキュメント作成：ケーススタディアプローチ」.コンピュータジャーナル. 39 (7): 643. doi : 10.1093/comjnl/39.7.643-a .
3. Koslow, Jennifer (2019年9月4日). 「書評 – 博物館とデジタル文化：新たな視点と研究」. Museum Management and Curatorship . 34 (5): 537– 539. doi : 10.1080/09647775.2019.1661098 . S2CID 203059899 . 
4. ロビンソン、アンドリュー（2017年1月4日）「チューリングガイド：謎めいた暗号解読者への最後の言葉？」ニューサイエンティスト。
5. スポークス・シモンズ、アン（1997年）「家族：ボウエン家」『ノース・オックスフォードの変貌：第一巻』ロバート・ボイド出版、  81～ 83頁。ISBN 978-1-899536-25-2。
6. 「講演者略歴：ジョナサン・ボーエン」 www.bcs.org英国コンピュータ協会、バークシャー。2019年。 2023年2月19日閲覧。
7. "Jonathan Bowen" . cirs-tm.org . 国際科学研究センター. 2004年8月3日. オリジナルより2004年8月3日時点のアーカイブ。
8. 「委員会と連絡先」 BCS -FACS . 英国: BCS . 2012年12月1日閲覧。
9. 「Editorial Board」 . Innovations in Systems and Software Engineering . Springer . 2013年8月6日時点のオリジナルよりアーカイブ。 2012年12月1日閲覧。
10. 「Editorial board」 . ACM Computing Surveys . Association for Computing Machinery . 2019年10月19日時点のオリジナルよりアーカイブ。 2016年12月19日閲覧。
11. 高信頼性システムの仕様と設計JP Bowen、Michael G. Hinchey. ロンドン: Springer. 1999. ISBN 3-540-76226-4. OCLC  40267699 .{{cite book}}: CS1 メンテナンス: その他 (リンク)
12. 「H-MUSEUM諮問委員会メンバー：ジョナサン・ボーエン教授」 h-museum.net 2003年10月23日。2003年10月23日時点のオリジナルよりアーカイブ。
13. 「講演者略歴：ジョナサン・ボーエン」 www.archimuse.com .アーカイブズ＆ミュージアムインフォマティクス：ミュージアムとウェブ 2010 (MW2010). 2010年. 2023年2月19日閲覧。
14. 「バーチャルライブラリ 美術館ページ」国際博物館会議. 2012年12月12日時点のオリジナルよりアーカイブ。 2012年12月1日閲覧。
15. "Film on the Web Conference 2005" . nmpft.org.uk . 国立写真・映画・テレビ博物館. 2005年. 2006年9月26日時点のオリジナルよりアーカイブ。
16. 「Museophile Limited」 . イギリス. 2014年5月17日時点のオリジナルよりアーカイブ。2012年12月1日閲覧。
17. Pratty, Jon (2003年9月26日). 「ニュースフィードに関する情報」 . 2004年4月4日時点のオリジナルよりアーカイブ。2012年12月1日閲覧。
18. 「応用形式手法センター」 。 2008年1月12日時点のオリジナルよりアーカイブ。2012年12月1日閲覧。
19. 「ジョナサン・ボーエン」中国：RISE、西南大学。2024年3月6日。 2024年6月4日閲覧。
20. 「Jonathan Bowen」バーミンガム・シティ大学、2015年。2015年11月6日時点のオリジナルよりアーカイブ。 2016年9月2日閲覧。{{cite web}}: CS1 maint: bot: 元のURLステータス不明（リンク）
21. 「CRESTメンバー」 。 2007年10月22日時点のオリジナルよりアーカイブ。2012年12月1日閲覧。
22. 「Jonathan Bowenホームページ」 。 2007年8月21日時点のオリジナルよりアーカイブ。2012年12月1日閲覧。
23. "Jonathan Bowen" . istcolloq.gsfc.nasa.gov . 情報科学技術コロキウムシリーズ. 2004年. 2023年2月19日閲覧。
24. 「Jonathan Bowen著作」 Amazon.com 2020年2月20日閲覧。
25. フェントン、ノーマン（1996年9月13日）「正しいことの重大な重荷」タイムズ・ハイアー・エデュケーション・サプリメント。
26. Yavuz, Ozan (2025). 「書評 – Tula Giannini、Jonathan P. Bowen編『芸術と計算文化：現実世界と仮想世界』」International Journal of Humanities and Arts Computing . 19 (1).エディンバラ大学出版局: 85–89 . doi : 10.3366/ijhac.2025.0346 .

外部リンク

• 個人ウェブサイト
• DBLP書誌サーバーのJonathan P. Bowen
• Google Scholarに索引付けされたJonathan Bowenの出版物
• ジョナサン・P・ボーエン氏によるMicrosoft Academic
• 数学系譜プロジェクトのジョナサン・ボーエン

「 https://en.wikipedia.org/w/index.php?title=Jonathan_Bowen&oldid=1335570053#Career」より取得