✖


Jump to content

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

(Перенаправлено с Museophile Limited )

Джонатан П. Боуэн
ФБКС ФРСА
Рожденный 1956 (67–68 лет)
Оксфорд , Англия
Альма-матер Университетский колледж , Оксфорд
Известный Формальные методы , Z-нотация , Страницы музеев Виртуальной библиотеки , Виртуальный музей вычислительной техники
Награды Премия IEE Чарльза Бэббиджа (1994) [1]
Научная карьера
Поля Информатика , Информационные технологии, Музейная информатика
Учреждения Museophile Limited , Юго-Западный университет , Городской университет Бирмингема , Лондонский университет Саут-Бэнк , Университет Рединга , Оксфордский университет , Имперский колледж, Лондон
Веб-сайт www.jpbowen.com

Джонатан П. Боуэн FBCS FRSA (род. 1956) — британский ученый-компьютерщик и почетный профессор лондонского университета Саут-Бэнк , где он возглавлял Центр прикладных формальных методов. [2] Профессор Боуэн также является председателем правления Museophile Limited и адъюнкт-профессором Юго-Западного университета в Чунцине , Китай. [3] Он был профессором компьютерных наук в Бирмингемском городском университете . [4] Приглашенный профессор Института Пратта (Нью-Йорк), Вестминстерского университета и Королевского колледжа Лондона , [5] и приглашенный академик в Университетском колледже Лондона . [6]

Ранняя жизнь и образование

[ редактировать ]

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

Карьера

[ редактировать ]

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

Другим важным интересом Боуэна является сфера онлайн-музеев . [13] [14] В 1994 году он основал страницы музеев виртуальной библиотеки (VLmp), онлайн-каталог музеев, который вскоре был принят Международным советом музеев (ИКОМ). [15] [16] Вскоре после этого он также основал Виртуальный музей вычислительной техники . В 2002 году он основал Museophile Limited. [17] помогать музеям, особенно онлайн, например, с помощью дискуссионных форумов. [18] Он также работал в промышленности в компаниях Oxford Instruments , Marconi Instruments , Logica , Silicon Graphics и Altran Praxis . [19]

Боуэн был избран членом Королевского общества поощрения искусств, производства и торговли (RSA) в 2002 году и Британского компьютерного общества (BCS) в 2004 году. [19] Он был ливреем Благочестивой компании информационных технологов и почетным гражданином Сити лондонского . [20]

Избранные книги

[ редактировать ]

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

  • Боуэн, JP, редактор журнала Towards Verified Systems . Elsevier Science, серия «Критические системы безопасности в реальном времени», том 2, 1994 г. ISBN   0-444-89901-4 .
  • Хинчи, М.Г. и Боуэн, Дж.П., редакторы, «Применение формальных методов» . Международная серия Прентис Холл по информатике, 1995. ISBN   0-13-366949-1 . [22]
  • Боуэн, Дж. П., Формальная спецификация и документация с использованием Z: подход к тематическому исследованию . International Thomson Computer Press, International Thomson Publishing , 1996. ISBN   1-85032-230-9 . [23]
  • Боуэн, Дж.П. и Хинчи, М.Г., редакторы журнала « Спецификация и проектирование систем высокой степени интеграции» . Springer-Verlag , Лондон, серия FACIT, 1999. ISBN   3-540-76226-4 .
  • Хинчи, М.Г. и Боуэн, Дж.П., редакторы, «Формальные методы промышленного применения на практике» . Springer-Verlag, Лондон, серия FACIT, 1999 г. ISBN   1-85233-640-4 .
  • Хиеронс Р., Боуэн Дж. П. и Харман М. , редакторы журнала «Формальные методы и тестирование» . Springer-Verlag, LNCS , том 4949, 2008 г. ISBN   978-3-540-78916-1 .
  • Бёргер Э. , Батлер М. , Боуэн Дж. П. и Бока П., редакторы журнала «Абстрактные государственные машины», B и Z. Springer-Verlag, LNCS, том 5238, 2008 г. ISBN   978-3-540-87602-1 .
  • Бока П.П., Боуэн Дж.П. и Сиддики Дж.И. , редакторы журнала «Формальные методы: современное состояние и новые направления» . Спрингер, 2010. ISBN   978-1-84882-735-6 , эл. ISBN   978-1-84882-736-3 , дои : 10.1007/978-1-84882-736-3 .
  • Боуэн Дж. П., Кин С. и Нг К., редакторы журнала «Электронная визуализация в искусстве и культуре» . Серия Springer о культурных вычислениях, Springer, 2013. ISBN   978-1-4471-5406-8 .
  • Коупленд Дж. , Боуэн Дж. П., Спревак М., Уилсон Р. и др., Руководство Тьюринга . Издательство Оксфордского университета , 2017. ISBN   978-0198747826 (твердый переплет), ISBN   978-0198747833 (мягкая обложка). [24]
  • Хинчи, М.Г., Боуэн, Дж.П., Ольдерог, Э.-Р. , редакторы журнала «Доказуемо правильные системы» . Springer International Publishing, серия монографий НАСА по системной и программной инженерии, 2017 г. ISBN   978-3-319-48627-7 , дои : 10.1007/978-3-319-48628-4 .
  • Джаннини Т. и Боуэн Дж. П., редакторы, «Музеи и цифровая культура: новые перспективы и исследования» . Серия Springer о культурных вычислениях, Springer, 2019. ISBN   978-3-319-97456-9 , эл. ISBN   978-3-319-97457-6 , дои : 10.1007/978-3-319-97457-6 . [25]
  • Джаннини Т. и Боуэн Дж. П., редакторы книги « Искусство и вычислительная культура: реальные и виртуальные миры» . Серия Springer о культурных вычислениях, Springer, 2024. ISBN   978-3-031-53864-3 , эл. ISBN   978-3-031-53865-0 , дои : 10.1007/978-3-031-53865-0 [26]

Ссылки

[ редактировать ]
  1. ^ «Лауреаты премии Чарльза Бэббиджа». Журнал программной инженерии . 10 (1): 2. 1995. doi : 10.1049/sej.1995.0001 .
  2. ^ «Центр прикладных формальных методов» . Архивировано из оригинала 12 января 2008 года . Проверено 1 декабря 2012 г.
  3. ^ «Джонатан Боуэн» . Китай: RISE, Юго-Западный университет . 6 марта 2024 г. Проверено 4 июня 2024 г.
  4. ^ «Джонатан Боуэн» . Бирмингемский городской университет . 2015. Архивировано из оригинала 6 ноября 2015 года . Проверено 2 сентября 2016 г. {{cite web}}: CS1 maint: bot: исходный статус URL неизвестен ( ссылка )
  5. ^ «Члены CREST» . Архивировано из оригинала 22 октября 2007 года . Проверено 1 декабря 2012 г.
  6. ^ «Домашняя страница Джонатана Боуэна» . Архивировано из оригинала 21 августа 2007 года . Проверено 1 декабря 2012 г.
  7. ^ Jump up to: а б Спокс Саймондс, Энн (1997). «Семьи: Боуэны». Меняющиеся лица Северного Оксфорда: Книга первая . Публикации Роберта Бойда. стр. 81–83. ISBN  978-1-899536-25-2 .
  8. ^ «Джонатан Боуэн» . cirs-tm.org . Международный центр научных исследований. 3 августа 2004 г. Архивировано из оригинала 3 августа 2004 г.
  9. ^ «Комитет и контактная информация» . БКС-ФАКС . Великобритания: БКС . Проверено 1 декабря 2012 г.
  10. ^ «Редакция» . Инновации в системной и программной инженерии . Спрингер . Архивировано из оригинала 6 августа 2013 года . Проверено 1 декабря 2012 г.
  11. ^ «Редакция» . Обзоры вычислительной техники ACM . Ассоциация вычислительной техники . Архивировано из оригинала 19 октября 2019 года . Проверено 19 декабря 2016 г.
  12. ^ Спецификация и конструкция системы высокой целостности . Дж. П. Боуэн, Майкл Г. Хинчи. Лондон: Спрингер. 1999. ISBN  3-540-76226-4 . OCLC   40267699 . {{cite book}}: CS1 maint: другие ( ссылка )
  13. ^ «Член Консультативного совета H-MUSEUM: профессор Джонатан Боуэн» . h-museum.net . 23 октября 2003 г. Архивировано из оригинала 23 октября 2003 г.
  14. ^ «Биография спикера: Джонатан Боуэн» . www.archimuse.com . Архивы и музейная информатика: Музеи и Интернет 2010 (MW2010). 2010 . Проверено 19 февраля 2023 г.
  15. ^ «Страницы музеев виртуальной библиотеки» . Международный совет музеев . Архивировано из оригинала 12 декабря 2012 года . Проверено 1 декабря 2012 г.
  16. ^ «Кино в сети-конференция 2005» . nmpft.org.uk . Национальный музей фотографии, кино и телевидения. 2005. Архивировано из оригинала 26 сентября 2006 года.
  17. ^ «Музеофил Лимитед» . Великобритания. Архивировано из оригинала 17 мая 2014 года . Проверено 1 декабря 2012 г.
  18. ^ Пратти, Джон (26 сентября 2003 г.). «Информация о нашей ленте новостей» . Архивировано из оригинала 4 апреля 2004 года . Проверено 1 декабря 2012 г.
  19. ^ Jump up to: а б «Биография спикера: Джонатан Боуэн» . www.bcs.org . Британское компьютерное общество, Беркшир. 2019 . Проверено 19 февраля 2023 г.
  20. ^ «Джонатан Боуэн» . istcolloq.gsfc.nasa.gov . Серия коллоквиумов по информатике и технологиям. 2004 . Проверено 19 февраля 2023 г.
  21. ^ «Книги Джонатана Боуэна» . Amazon.com . Проверено 20 февраля 2020 г.
  22. ^ Фентон, Норман (13 сентября 1996 г.). «Критическое бремя быть правильным». Приложение Times о высшем образовании .
  23. ^ Джонсон, Крис (1996). «Рецензия на книгу - формальная спецификация и документация с использованием Z: подход к тематическому исследованию». Компьютерный журнал . 39 (7): 643. doi : 10.1093/comjnl/39.7.643-a .
  24. ^ Робинсон, Эндрю (4 января 2017 г.). «Путеводитель Тьюринга: последние слова о загадочном взломщике кодов?» . Новый учёный .
  25. ^ Кослоу, Дженнифер (4 сентября 2019 г.). «Рецензия на книгу – Музеи и цифровая культура: новые перспективы и исследования». Музейное управление и кураторство . 34 (5): 537–539. дои : 10.1080/09647775.2019.1661098 . S2CID   203059899 .
  26. ^ «Искусство и компьютерная культура, 2024» . ДБЛП . Проверено 20 июля 2024 г.
[ редактировать ]
Викискладе есть медиафайлы, связанные с Джонатаном Боуэном .
У Схолии есть авторский профиль Джонатана Боуэна .
Retrieved from "https://en.wikipedia.org/w/index.php?title=Jonathan_Bowen&oldid=1238051803#Career"
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 6336df437fd90d98ab1c50d66518d9b9__1722536520
URL1:https://arc.ask3.ru/arc/aa/63/b9/6336df437fd90d98ab1c50d66518d9b9.html
Заголовок, (Title) документа по адресу, URL1:
Jonathan Bowen - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)