ジョナサン・ボーエン

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

ジョナサン・P・ボーエン FBCS FRSA（1956年生まれ）は、イギリスのコンピュータ科学者であり、ロンドン・サウスバンク大学の名誉教授で、同大学で応用形式手法センターを率いていました。^[2]ボーエン教授は、Museophile Limitedの会長でもあり、中国重慶の西南大学の非常勤教授でもあります。^[3]バーミンガム・シティ大学のコンピュータサイエンスの教授、^[4]プラット・インスティテュート（ニューヨーク市）、ウェストミンスター大学、キングス・カレッジ・ロンドンの客員教授、^[5]ユニバーシティ・カレッジ・ロンドンの客員研究員を歴任しています。^[6]

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

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

ボーエンのもう一つの大きな関心はオンライン博物館の分野である。^{[13] [14]} 1994年に彼はVirtual Library museums pages (VLmp)を設立した。これはオンライン博物館ディレクトリであり、すぐに国際博物館会議(ICOM)に採用された。^{[15] [16]}その後まもなく、彼はVirtual Museum of Computingも始めた。2002年には、例えばディスカッションフォーラムなどで博物館、特にオンラインの博物館を支援するためにMuseophile Limited ^{[17]を設立した。 [18]彼はまた、} Oxford Instruments、Marconi Instruments、Logica、Silicon Graphics、およびAltran Praxisで産業界で働いた経験もある。^[19]

ボーエンは2002年に王立芸術・製造・商業振興協会（RSA）のフェローに選出され、 2004年には英国コンピュータ協会（BCS）のフェローに選出された。 ^[19]彼は情報技術者の名誉ある会社の会員であり、ロンドン市の自由市民である。^[20]

ジョナサン・ボーエンは、以下の著書を含む多数の書籍を執筆・編集しています。^[21]

• 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 。 [ ^22] 
• Bowen, JP, 「Zを使用した形式仕様とドキュメント作成：ケーススタディアプローチ」International Thomson Computer Press、International Thomson Publishing、1996年。ISBN 1-85032-230-9。^[23] 
• Bowen, JP および Hinchey, MG 編、『High-Integrity System Specific and Design』。Springer - Verlag、ロンドン、FACIT シリーズ、1999 年。ISBN 3-540-76226-4。 
• Hinchey, MG および Bowen, JP 編、『Industrial-Strength Formal Methods in Practice』。Springer-Verlag、ロンドン、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 、 e- ISBN 978-1-84882-736-3、doi :10.1007/978-1-84882-736-3。  
• Bowen, JP、Keene, S.、Ng, K.編著『Electronic Visualisation in Arts and Culture』。Springer Series on Cultural Computing、Springer、2013年。ISBN 978-1-4471-5406-8。 
• Copeland, J. , Bowen, JP, Sprevak, M., Wilson, R. , et al., The Turing Guide . Oxford University Press , 2017. ISBN 978-0198747826 (ハードカバー), ISBN 978-0198747833 (ペーパーバック). ^[24]  
• Hinchey, MG, Bowen, JP, Olderog, E.-R.編著『Provably Correct Systems 』。Springer International Publishing、NASA Monographs in Systems and Software Engineering シリーズ、2017 年。ISBN 978-3-319-48627-7、doi :10.1007/978-3-319-48628-4。 
• Giannini, T.およびBowen, JP編著『博物館とデジタル文化：新たな視点と研究』Springer Series on Cultural Computing、Springer、2019年。ISBN 978-3-319-97456-9 、 e- ISBN 978-3-319-97457-6、doi :10.1007/978-3-319-97457-6。^[25]  
• ジャンニーニ、T.、ボーエン、JP編『芸術と計算文化：現実世界と仮想世界』、シュプリンガー文化コンピューティングシリーズ、シュプリンガー、2024年。ISBN 978-3-031-53864-3、e- ISBN 978-3-031-53865-0、doi：10.1007/978-3-031-53865-0 ^[26 ]  

ウィキメディア・コモンズには、ジョナサン・ボーエンに関連するメディアがあります。

Scholia にはJonathan Bowenの著者プロフィールがあります。

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