乔纳森·鲍文

乔纳森·P·鲍文 （Jonathan P. Bowen ）是一位英國計算機科學家。他是Museophile有限公司的主席和倫敦南岸大學的榮譽教授，在那裡他領導應用形式方法中心。他是伯明翰城市大學計算機科學教授，威斯敏斯特大學普林特研究所（紐約市）客座教授，倫敦國王學院和倫敦大學學院訪問學者

生平
出生於牛津，是的兒子，在布萊恩斯頓學校、龍學校接受教育，後來進入牛津大學大學學院，在那裡獲得工程科學碩士學位。

著作
 Bowen, J.P., editor, Towards Verified Systems. Elsevier Science, Real-Time Safety Critical Systems series, volume 2, 1994. ISBN 0-444-89901-4.
 Hinchey, M.G. and Bowen, J.P., editors, Applications of Formal Methods. Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1.
 Bowen, J.P., Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, International Thomson Publishing, 1996. ISBN 1-85032-230-9.
 Bowen, J.P. and Hinchey, M.G., editors, High-Integrity System Specification and Design. Springer-Verlag, London, FACIT series, 1999. ISBN 3-540-76226-4.
 Hinchey, M.G. and Bowen, J.P., editors, Industrial-Strength Formal Methods in Practice. Springer-Verlag, London, FACIT series, 1999. ISBN 1-85233-640-4.
 Hierons, R., Bowen, J.P., and Harman, M., editors, Formal Methods and Testing. Springer-Verlag, LNCS, Volume 4949, 2008. ISBN 978-3-540-78916-1.
 Börger, E., Butler, M., Bowen, J.P., and Boca, P., editors, Abstract State Machines, B and Z. Springer-Verlag, LNCS, Volume 5238, 2008. ISBN 978-3-540-87602-1.
 Boca, P.P., Bowen, J.P., and Siddiqi, J.I., editors, Formal Methods: State of the Art and New Directions. Springer, 2010. ISBN 978-1-84882-735-6, e-ISBN 978-1-84882-736-3, .
 Bowen, J.P., Keene, S., and Ng, K., editors, Electronic Visualisation in Arts and Culture. Springer Series on Cultural Computing, Springer, 2013. ISBN 978-1-4471-5406-8.
 Copeland, J., Bowen, J.P., Sprevak, M., Wilson, R., et al., The Turing Guide. Oxford University Press, 2017. , .

註釋

參考文獻
 Bowen, Jonathan Peter. Who's Who in the World, Marquis Who's Who, 18th edition, 2001.
 H-museum information
 Museums and the Web conference information
 Film on the Web conference information
 International Center for Scientific Research information

外部連結

 個人網站
 大學主頁




Category:牛津人
Category:龙校校友
Category:牛津大学大学学院校友
Category:英格蘭計算機科學家
Category:硅谷图形公司人物
Category:英格兰男性非虚构作品作家
Category:伯明翰城市大學教師
Category:雷丁大学教师
Category:威斯敏斯特大学教师
Category:牛津大學計算機系教師
Category:倫敦大學學院教師
Category:倫敦南岸大學教師
Category:倫敦帝國學院教師