Джонатан Боуэн

Джонатан П. Боуэн. FBCS FRSA
Родился	1956 (возраст 63–64). Оксфорд, Англия
Гражданство	Британское
Гражданство	Соединенное Королевство
Alma mater	Университетский колледж, Оксфорд
Известен	формальными методами, Z-нотацией, страницей музеев виртуальной библиотеки, виртуальным музеем вычислительной техники
Награды	IEE Премия Чарльза Бэббиджа (1994)
Научная карьера
Филдс	Компьютерные науки, Информационные технологии, Музей информатика
Учреждения	Museophile Limited, Бирмингемский городской университет, Лондонский университет Саут-Бэнк, Университет Рединга, Университет Оксфорд, Имперский колледж, Лондон
Влияния	Дэвид Бирман, Дайнс Бьёрнер, Джек Коупленд, Майк Гордон, Цзифэн Хэ, Джеймс Хемсли, Тони Хоар, Клифф Джонс, Алан Тьюринг
Под влиянием	Майк Хинчи, Кевин Лано, Сергей Вилкомир
Веб-сайт	www.jpbowen.com

Джонатан П. Боуэн FBCS FRSA (родился в 1956 г.) - британский ученый-компьютерщик.

• 1 Обзор
• 2 Образование
• 3 Карьера
• 4 Избранные книги
• 5 Примечания
• 6 Ссылки
• 7 Внешние ссылки

Джонатан Боуэн - председатель Museophile Limited и почетный профессор Лондонского университета Саут-Бэнк, где он возглавлял Центр прикладных формальных методов. Он был профессором компьютерных наук в Бирмингемском городском университете, приглашенным профессором Института Пратта (Нью-Йорк), Вестминстерского университета и Королевский колледж Лондона и приглашенный преподаватель в Университетском колледже Лондона.

Боуэн родился в Оксфорде, в семье Хамфри Боуэна и получил образование в школе дракона, школе Брайанстона до поступления в университетский колледж Оксфорда (Оксфордский университет ), где он получил степень магистра в инженерных науках.

Позже Боуэн работал в Имперском колледже в Лондоне, вычислительной лаборатории Оксфордского университета (ныне Оксфордский университет, факультет компьютерных наук ), Редингский университет и Лондонский университет Саут-Бэнк. Его ранние работы были посвящены формальным методам в целом, а позже Z-нотации в частности. Он был председателем группы пользователей Z с начала 1990-х до 2011 года. В 2002 году Боуэн был избран председателем Британского компьютерного общества Специализированная группа FACS по формальным аспектам вычислений. Наука. С 2005 года Боуэн был заместителем главного редактора журнала Innovations in Systems and Software Engineering. Он также входит в редакционную коллегию журнала ACM Computing Surveys, охватывающего программную инженерию и формальные методы. В 2008–2009 годах он был сотрудником Praxis High Integrity Systems, работая над крупным промышленным проектом с использованием Z-нотации.

Другой основной интерес Боуэна - область онлайн-музеев.. В 1994 году он основал Виртуальные страницы музеев (VLmp), онлайн-каталог музеев, который вскоре был принят Международным советом музеев (ICOM). В том же году он также основал Виртуальный музей вычислительной техники. В 2002 году он основал Museophile Limited, чтобы помогать музеям, особенно онлайн, например, с помощью дискуссионных форумов. Он также работал в промышленности в Oxford Instruments, Marconi Instruments, Logica, Silicon Graphics и Altran Praxis <237.>Боуэн был избран членом Королевского общества поощрения искусства, производства и торговли (RSA) в 2002 году и Британского компьютерного общества (BCS) в 2004 году. Он ливеримен из Благочестивой компании информационных технологов в лондонском Сити.

Джонатан Боуэн написал и отредактировал ряд книг, в том числе:

• Боуэн, JP, редактор, Towards Verified Systems. Elsevier Наука, серия «Критические системы безопасности в реальном времени», том 2, 1994. ISBN 0-444-89901-4.
• Хинчи, MG и Боуэн, JP, редакторы, Применение формальных методов. Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1.
• Боуэн, JP, Формальные спецификации и документация с использованием Z: Подход тематического исследования. International Thomson Computer Press, International Thomson Publishing, 1996. ISBN 1-85032-230-9.
• Боуэн, JP и Хинчи, MG, редакторы, Спецификация и дизайн системы высокой степени интеграции. Springer-Verlag, Лондон, серия FACIT, 1999. ISBN 3-540-76226-4.
• Hinchey, M.G. и Боуэн, Дж. П., редакторы, Формальные методы промышленной прочности на практике. Springer-Verlag, Лондон, серия FACIT, 1999. ISBN 1-85233-640-4.
• Hierons, R., Bowen, JP, и Harman, M., редакторы, Формальные методы и тестирование. Springer-Verlag, LNCS, Volume 4949, 2008. ISBN 978-3-540-78916-1.
• Börger, E., Батлер, М., Боуэн, JP, и Бока, П., редакторы, Abstract State Machines, B и Z. Springer-Verlag, LNCS, Volume 5238, 2008. ISBN 978-3-540-87602-1.
• Бока, П.П., Боуэн, JP, и Сиддики, Д.И., редакторы, Формальные методы: современное состояние и новые направления. Springer, 2010. ISBN 978-1-84882-735-6, e- ISBN 978-1-84882 -736-3, doi : 10.1007 / 978-1-84882-736-3.
• Боуэн, Дж. П., Кин, С., и Нг, К., редакторы, Электронная визуализация в искусстве и культуре. Springer Series on Cultural Computing, Springer, 2013. ISBN 978-1-4471-5406-8.
• Copeland, J., Bowen, JP, Sprevak, M., Уилсон, Р., и др., Руководство Тьюринга. Oxford University Press, 2017. ISBN 978-0198747826 (твердый переплет), ISBN 978- 0198747833 (мягкая обложка).
• Hinchey, MG, Bowen, JP, Olderog, E.-R., редакторы, Provably Correct Systems. Springer International Publishing, Серия монографий НАСА по системной и программной инженерии, 2017. ISBN 978-3-319-48627-7, doi : 10.1007 / 978-3-319-48628-4.
• Джаннини, Т. и Боуэн, JP, редакторы, Музеи и цифровая культура: новые перспективы и исследования. Springer Series on Cultural Computing, Springer, 2019. ISBN 978-3-319-97456-9, e- ISBN 978-3-319-97457-6, doi : 10.1007 / 978-3-319-97457-6.

• Боуэн, Джонатан Питер. Who's Who in the World, Marquis Who's Who, 18-е издание, 2001.
• Информация о H-музее
• Информация о музеях и веб-конференции
• «Информация о веб-конференции о фильмах». Архивировано 26 сентября 2006 г. Получено 5 июня 2006 г. CS1 maint: BOT: статус исходного URL-адреса неизвестен (ссылка )
• Информация Международного центра научных исследований

Wikimedia У Commons есть СМИ, связанные с Джонатаном Боуэном.

• Личным веб-сайтом
• Домашняя страница LSBU
• Джонатаном П. Боуэном в DBLP Сервер библиографии
• Джонатан Боуэн публикаций, проиндексированных Google Scholar
• Джонатаном П. Боуэном на Microsoft Academic
• Джонатан Боуэн в Проекте математической генеалогии