rdfs:comment
| - جوناثان بوين (بالإنجليزية: Jonathan Bowen) هو عالم حاسوب ومهندس وكاتب بريطاني، ولد في 14 مارس 1956 في أكسفورد في المملكة المتحدة. (ar)
- Jonathan Bowen (* 1956 in Oxford) ist ein britischer Informatiker. Bowen studierte an der Bryanston School und der Oxford University Ingenieurwissenschaften. Er gründete die „Virtual Library Museums Pages“ auf der Website International Council of Museums. (de)
- Jonathan P. Bowen (1956) es un informático británico. (es)
- Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist and an Emeritus Professor at London South Bank University, where he headed the Centre for Applied Formal Methods. Prof. Bowen is also the Chairman of Museophile Limited and has been a Professor of Computer Science at Birmingham City University, Visiting Professor at the Pratt Institute (New York City), University of Westminster and King's College London, and a visiting academic at University College London. (en)
- Jonathan P. Bowen, FBCS FRSA (1956), è un informatico britannico. È presidente di , professore emerito alla London South Bank University, dove ha diretto il Centre for Applied Formal Methods, Visiting Professor presso il King's College London e di un ex in visita accademica presso l'University College London. (it)
- 乔纳森·P·鲍文 FBCS FRSA(Jonathan P. Bowen 1956年-)是一位英國計算機科學家。他是Museophile有限公司的主席和倫敦南岸大學的榮譽教授,在那裡他領導應用形式方法中心。他是伯明翰城市大學計算機科學教授,威斯敏斯特大學普林特研究所(紐約市)客座教授,倫敦國王學院和倫敦大學學院訪問學者 (zh)
- Jonathan P. Bowen FBCS FRSA (né en 1956) est un informaticien britannique et est professeur du calcul à London South Bank University où il dirige le Centre for Applied Formal Methods de l’Institute for Computing Research. (fr)
- Джонатан Боуэн (Jonathan Bowen) ранее работал ведущим исследователем в вычислительнойлаборатории Оксфордского университета (Oxford University Computing Laboratory). Начиная с 1977 года, онработал в области компьютинга как в академических учреждениях, так и в промышленности. Область егопрофессиональных интересов включает формальные методы, Z-символику, вероятностно-корректныесистемы, быстрое макетирование с использованием логического программирования, декомпиляцию,аппаратную компиляцию, системы с повышенной безопасностью, совместное проектирование аппаратного ипрограммного обеспечения, интерактивные музеи. Дж. Боуэн закончил Оксфордский университет, где получилстепень магистра в области инженерных наук (Engineering Science). В 1994 году Боуэн получил премиюЧарльза Бэббиджа (IEE Charles Babb (ru)
|