乔纳森·鲍文

乔纳森·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

外部連結

 個人網站
 大學主頁
 
 
 

牛津人
龙校校友
牛津大学大学学院校友
英格蘭計算機科學家
硅谷图形公司人物
英格兰纪实文学男作家
伯明翰城市大學教師
雷丁大学教师