喬納森·鮑文

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