| dbo:abstract
|
- جوناثان بوين (بالإنجليزية: 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 (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. Bowen a fait ses études à la Dragon School d'Oxford, à la Bryanston School et au University College, Oxford University. Il tient un degré de MA en l'ingénierie de l'université d'Oxford. Ses intérêts incluent des méthodes formelles (génie logiciel), des systèmes sûreté-critiques, la notation Z, « provably correct systems », décompilation, compilation de matériel, codesign de hardware/software, histoire du calcul et les musées en ligne. Dans ce dernier domaine il a été responsable, en 1994, Bowen a fondé les Virtual Library museums pages (VLmp), un annuaire en ligne de musées soutenu par le Conseil international des musées (ICOM). Par même année il a également commencé le musée virtuel du calcul, un des musées virtuels les plus tôt. En 2002, il a fondé Museophile Limited pour aider des musées, spécialement en ligne. Depuis les années 1970, Bowen a été impliqué du champ du calcul et de la technologie électronique dans l'industrie (Oxford Instruments, Marconi Instruments, Logica et Silicon Graphics) et le milieu universitaire. Entre 1979 et 1984, il a travaillé à l'Imperial College de Londres comme assistant chercheur, récemment dans le laboratoire interdépartemental de microprocesseur de Wolfson. Il était alors un chercheur aîné au Oxford University Computing Laboratory Programming Research Group où il a travaillé sous les conseils de C.A.R. Hoare, Royal Society. De 1995 à 2000, Bowen étaient un conférencier au département de l'informatique, l'université de Reading, où il a mené les méthodes et le Formal Methods and Software Engineering Group. Bowen a été chairman du Z User Group pendant de nombreuses d'années. En 2001, Bowen a été lauréat des Freedom of the Worshipful Company of Information Technologists, le 100e Livery Company dans la ville de Londres. En 2002, Bowen a été élu président du British Computer Society spécialiste groupe FACS d'ordinateur sur les aspects formels de la Science de calcul et membre de la Royal Society of Arts. En 2004, il est devenu un Fellow de la British Computer Society. (fr)
- 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)
- Джонатан Боуэн (Jonathan Bowen) ранее работал ведущим исследователем в вычислительнойлаборатории Оксфордского университета (Oxford University Computing Laboratory). Начиная с 1977 года, онработал в области компьютинга как в академических учреждениях, так и в промышленности. Область егопрофессиональных интересов включает формальные методы, Z-символику, вероятностно-корректныесистемы, быстрое макетирование с использованием логического программирования, декомпиляцию,аппаратную компиляцию, системы с повышенной безопасностью, совместное проектирование аппаратного ипрограммного обеспечения, интерактивные музеи. Дж. Боуэн закончил Оксфордский университет, где получилстепень магистра в области инженерных наук (Engineering Science). В 1994 году Боуэн получил премиюЧарльза Бэббиджа (IEE Charles Babbage Premium Award), в настоящее время председатель рабочей группыESPRIT ProCoS-WG Working Group, состоящей из 24 европейских партнеров. Он председатель группыпользователей Z-символики (Z User Group), а также член компьютерного сообщества IEEE Computer Society,ACM и EUROMICRO. (ru)
- 乔纳森·P·鲍文 FBCS FRSA（Jonathan P. Bowen 1956年－）是一位英國計算機科學家。他是Museophile有限公司的主席和倫敦南岸大學的榮譽教授，在那裡他領導應用形式方法中心。他是伯明翰城市大學計算機科學教授，威斯敏斯特大學普林特研究所（紐約市）客座教授，倫敦國王學院和倫敦大學學院訪問學者 (zh)
|
| 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)
|
