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