โจนาธาน พี. โบเวน เอฟบีซีเอส เอฟอาร์เอสเอ
เกิด	( 14 มีนาคม 1956 )14 มีนาคม พ.ศ. 2499 อ็อกซ์ฟอร์ดประเทศอังกฤษ
อัลมา มัธยฐาน	วิทยาลัยมหาวิทยาลัยออกซ์ฟอร์ด
เป็นที่รู้จักในด้าน	วิธีการที่เป็นทางการ , สัญกรณ์ Z , หน้าเว็บพิพิธภัณฑ์ห้องสมุดเสมือนจริง , พิพิธภัณฑ์คอมพิวเตอร์เสมือนจริง
รางวัล	รางวัล IEE Charles Babbage Premium (1994) [ 1 ]
เส้นทางอาชีพด้านวิทยาศาสตร์
ฟิลด์	วิทยาการคอมพิวเตอร์ , เทคโนโลยีสารสนเทศ, สารสนเทศพิพิธภัณฑ์
สถาบันต่างๆ	บริษัทมิวส์โอฟิล จำกัด , มหาวิทยาลัยเซาท์เวสต์ , มหาวิทยาลัยเบอร์มิงแฮมซิตี้ , มหาวิทยาลัยลอนดอนเซาท์แบงก์ , มหาวิทยาลัยเรดดิง , มหาวิทยาลัยออกซ์ฟอร์ด , อิมพีเรียลคอลเลจ ลอนดอน
เว็บไซต์	www.jpbowen.com

Jonathan P. Bowen (เกิด 14 มีนาคม พ.ศ. 2499) เป็นนักวิทยาศาสตร์คอมพิวเตอร์ ชาวอังกฤษ และศาสตราจารย์กิตติคุณประจำมหาวิทยาลัยลอนดอนเซาท์แบงก์ผลงานหลักของเขาคือวิธีการเชิงรูปธรรมโดยเฉพาะ สัญกร ณ์Z ^{[ 2 ]}นอกจากนี้ เขายังทำงานในด้านสารสนเทศพิพิธภัณฑ์ [ ^{3 ]}รวมถึงการสร้างหน้าเว็บพิพิธภัณฑ์ห้องสมุดเสมือนจริง ซึ่ง ^เป็นไดเร็กทอรีเว็บยุคแรก ผลงานของเขายังรวมถึงงานเกี่ยวกับประวัติศาสตร์การคำนวณโดยเฉพาะAlan Turing ^{[ 4 ]}

โบเวนเกิดที่ออกซ์ฟอร์ดเป็นบุตรชายของฮัมฟรีย์ โบเวน [ ^{5 ] และ}ได้รับการศึกษาที่โรงเรียนดรากอนโรงเรียนไบรอันสตันก่อนที่จะเข้าศึกษาต่อที่มหาวิทยาลัยคอลเลจ ออกซ์ฟอร์ด ( มหาวิทยาลัยออกซ์ฟอร์ด ) ซึ่งเขาได้รับปริญญาโทสาขาวิทยาศาสตร์วิศวกรรม^{[ 5 ]}

หลังจากทำงานในอุตสาหกรรมซอฟต์แวร์ในช่วงแรก ต่อมาเขาได้เข้าร่วมงานกับImperial College, London , Oxford University Computing Laboratory (ปัจจุบันคือOxford University Department of Computer Science ), University of ReadingและLondon South Bank University [ ^{6 ] งาน}วิจัยหลักของเขาเน้นไปที่วิธีการเชิงรูปธรรมโดยทั่วไปและสัญกรณ์ Zโดยเฉพาะ^{[ 7 ]}เขาดำรงตำแหน่งประธานกลุ่มผู้ใช้ Zตั้งแต่ต้นทศวรรษ 2000 จนถึงปี 2011 ในปี 2002 Bowen ได้รับเลือกเป็นประธานกลุ่มผู้เชี่ยวชาญ FACS ของ British Computer Society ในด้าน แง่มุมเชิงรูปธรรมของวิทยาศาสตร์การคำนวณ [ ^{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 ]}

โบเวนยังเคยทำงานในภาคอุตสาหกรรมที่Oxford Instruments , Marconi Instruments , Logica , Silicon GraphicsและAltran Praxisอีก ด้วย ^{[ 6 ]}

ในปี พ.ศ. 2537 โบเวนได้รับรางวัล IEE Charles Babbage Premiumสำหรับบทความที่ดีที่สุดในวารสารSoftware Engineering Journal ^{[ 1 ]} โบเวนได้รับเลือกเป็นสมาชิกของRoyal Society for the encouragement of Arts, Manufactures and Commerce (RSA) ในปี พ.ศ. 2545 และของBritish Computer Society (BCS) ในปี พ.ศ. 2547 ^{[ 6 ] เขา}เป็นLiverymanของWorshipful Company of Information Technologistsและเป็นFreemanของเมืองลอนดอน^{[ 23} ]

Jonathan Bowen ได้เขียนและเรียบเรียงหนังสือหลายเล่ม รวมถึง: ^{[ 24 ]}

• โบเวน, เจพี, บรรณาธิการ, สู่ระบบที่ได้รับการตรวจสอบแล้ว . เอลเซเวียร์ ไซแอนซ์, ชุดระบบสำคัญด้านความปลอดภัยแบบเรียลไทม์, เล่มที่ 2, 1994. ISBN 0-444-89901-4.
• Hinchey, MGและ Bowen, JP, บรรณาธิการ, การประยุกต์ใช้วิธีการเชิงรูปธรรม (Applications of Formal Methods ) ชุดหนังสือวิทยาศาสตร์คอมพิวเตอร์นานาชาติของPrentice Hall , 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, บรรณาธิการ, วิธีการเชิงทางการที่ทรงประสิทธิภาพในทางปฏิบัติ 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. บรรณาธิการ, Abstract State Machines, 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-3doi : 10.1007 / 978-1-84882-736-3 .
• Bowen, JP, Keene, S. และ Ng, K., บรรณาธิการ, การแสดงภาพอิเล็กทรอนิกส์ในศิลปะและวัฒนธรรมชุดหนังสือ Springer Series on Cultural Computing, Springer, 2013. ISBN 978-1-4471-5406-8.
• Copeland, J. , Bowen, JP, Sprevak, M., Wilson, R. , และคณะ, คู่มือทัวริง (The Turing Guide ). สำนักพิมพ์มหาวิทยาลัยออกซ์ฟ อร์ด , 2017. ISBN 978-0198747826(ปกแข็ง) ISBN 978-0198747833(ปกอ่อน) ^{[ 4 ]}
• Hinchey, MG, Bowen, JP, Olderog, E.-R. , บรรณาธิการ, ระบบที่พิสูจน์ได้ว่าถูกต้อง . สำนักพิมพ์ Springer International Publishing, ชุดหนังสือ NASA Monographs in Systems and Software Engineering, 2017. ISBN 978-3-319-48627-7doi : 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 . ^{[ 3 ]}
• Giannini, T. และ Bowen, JP, บรรณาธิการ, ศิลปะและวัฒนธรรมเชิงคำนวณ: โลกแห่งความเป็นจริงและโลกเสมือนจริงชุดหนังสือ Springer Series on Cultural Computing, Springer, 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อยู่

• เว็บไซต์ส่วนตัว
• Jonathan P. Bowenที่DBLP Bibliography Server
• ผลงานตีพิมพ์ของ Jonathan Bowenที่ได้รับการจัดทำดัชนีโดยGoogle Scholar
• Jonathan P. BowenจากMicrosoft Academic
• โจนาธาน โบเวนจากโครงการลำดับวงศ์ตระกูลทางคณิตศาสตร์