Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
Британский ученый-компьютерщик Джонатан П. Боуэн (род. 1956) - британский ученый-компьютерщик и почетный профессор Лондонского университета Саут-Бэнк, где возглавлял Центр прикладных формальных методов. Профессор Боуэн также является председателем Museophile Limited и был профессором компьютерных наук в Бирмингемском городском университете, приглашенным профессором в Институте Пратта (Нью-Йорк), Университете Вестминстера и Королевском колледже Лондона, а также приглашенным ученым в Университетском колледже Лондона.
British computer scientist
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.
Ранние годы и образование
Боуэн родился в Оксфорде, сын Хамфри Боуэна, и получил образование в школе Дракона, школе Брайанстона, до поступления в Университетский колледж, Оксфорд (Оксфордский университет), где он получил степень магистра инженерных наук. Он был председателем Z User Group с начала 1990-х годов до 2011 года. В 2002 году Боуэн был избран председателем Британского компьютерного общества FACS Специалистской группы по формальным аспектам вычислительной науки. С 2005 года Боуэн является главным редактором журнала Innovations in Systems and Software Engineering. Он также является помощником редактора в редакционной коллегии журнала ACM Computing Surveys, охватывающего инженерную программу и формальные методы. С 2008-9 года он был сотрудником в Praxis High Integrity Systems, работая над крупным промышленным проектом с использованием Z-нотации. Другой большой интерес Боуэна - это область онлайн-музеев. В 1994 году он основал страницы музеев Виртуальной библиотеки (VLmp), онлайн-каталог музеев, который вскоре был принят Международным советом музеев (ICOM). В том же году он также основал Виртуальный музей вычислительной техники. В 2002 году он основал Museophile Limited, чтобы помочь музеям, особенно онлайн, например, с форумами для обсуждения. Он также работал в промышленности в Oxford Instruments, Marconi Instruments, Logica, Silicon Graphics и Altran Praxis. Боуэн был избран членом Королевского общества по поощрению искусства, производства и торговли (RSA) в 2002 году и Британского компьютерного общества (BCS) в 2004 году.
Bowen was born in Oxford, the son of Humphry Bowen, and was educated at the Dragon School, Bryanston School, prior to his matriculation at University College, Oxford (Oxford University) where he received the MA degree in Engineering Science. He was Chair of the Z User Group from the early 1990s until 2011. In 2002, Bowen was elected Chair of the British Computer Society FACS Specialist Group on Formal Aspects of Computing Science. Since 2005, Bowen has been an Associate Editor in Chief of the journal Innovations in Systems and Software Engineering. He is also an associate editor on the editorial board for the ACM Computing Surveys journal, covering software engineering and formal methods. From 2008–9, he was an Associate at Praxis High Integrity Systems, working on a large industrial project using the Z notation. Bowen's other major interest is the area of online museums. In 1994, he founded the Virtual Library museums pages (VLmp), an online museums directory that was soon adopted by the International Council of Museums (ICOM). In the same year he also started the Virtual Museum of Computing. In 2002, he founded Museophile Limited to help museums, especially online, for example with discussion forums. He has also worked in industry at Oxford Instruments, Marconi Instruments, Logica, Silicon Graphics, and Altran Praxis. Bowen was elected a Fellow of the Royal Society for the encouragement of Arts, Manufactures and Commerce (RSA) in 2002 and of the British Computer Society (BCS) in 2004.