Британский ученый-компьютерщик
Джонатан П. Боуэн FBCS FRSA (род. 1956) — британский ученый-компьютерщик и почетный профессор лондонского университета Саут-Бэнк , где он возглавлял Центр прикладных формальных методов. [2] Профессор Боуэн также является председателем Museophile Limited и профессором компьютерных наук в Бирмингемском городском университете , [3] Приглашенный профессор в Институте Пратта (Нью-Йорк), Вестминстерском университете и Королевском колледже Лондона , [ 4] и приглашенный академик в Университетском колледже Лондона . [5]
ранняя жизнь и образование
Боуэн родился в Оксфорде , в семье Хамфри Боуэна , [6] и получил образование в Школе Дракона , Брайанстонской школе , до поступления в Университетский колледж Оксфорда ( Оксфордский университет ), где он получил степень магистра инженерных наук . [6]
Карьера
Позже Боуэн работал в Имперском колледже Лондона , Вычислительной лаборатории Оксфордского университета (ныне факультет компьютерных наук Оксфордского университета ), Университете Рединга и Лондонском университете Саут-Бэнк . Его ранние работы были посвящены формальным методам в целом, а позже и нотации Z в частности. [7] Он был председателем группы пользователей Z с начала 1990-х годов до 2011 года. В 2002 году Боуэн был избран председателем группы специалистов FACS Британского компьютерного общества по формальным аспектам вычислительной науки . [8] С 2005 года Боуэн является заместителем главного редактора журнала « Инновации в системах и программной инженерии» . [9] Он также является заместителем редактора редакционной коллегии журнала ACM Computing Surveys , освещающего разработку программного обеспечения и формальные методы . [ 10] В 2008–2009 годах он был сотрудником компании Praxis High Integrity Systems , работая над крупным промышленным проектом с использованием нотации Z. [11]
Другим важным интересом Боуэна является сфера онлайн-музеев . [12] [13] В 1994 году он основал страницы музеев виртуальной библиотеки (VLmp), онлайн-каталог музеев, который вскоре был принят Международным советом музеев (ICOM). [14] [15] В том же году он также открыл Виртуальный музей вычислительной техники. В 2002 году он основал Museophile Limited [16] для помощи музеям, особенно в Интернете, например, с помощью дискуссионных форумов. [17] Он также работал в промышленности в компаниях Oxford Instruments , Marconi Instruments , Logica , Silicon Graphics и Altran Praxis . [18]
Боуэн был избран членом Королевского общества поощрения искусств, производства и торговли (RSA) в 2002 году и Британского компьютерного общества (BCS) в 2004 году . [18] Он является ливерименом Благочестивой компании информационных технологов и Фримен лондонского Сити . _ [19]
Избранные книги
Джонатан Боуэн написал и отредактировал ряд книг, в том числе: [20]
- Боуэн, JP, редактор журнала Towards Verified Systems . Elsevier Science, серия «Критические системы безопасности в реальном времени», том 2, 1994. ISBN 0-444-89901-4 .
- Хинчи, М.Г. и Боуэн, Дж.П., редакторы, «Применение формальных методов» . Международная серия Прентис Холл по информатике, 1995. ISBN 0-13-366949-1 . [21]
- Боуэн, Дж. П., Формальная спецификация и документация с использованием Z: подход к тематическому исследованию . International Thomson Computer Press, International Thomson Publishing , 1996. ISBN 1-85032-230-9 . [22]
- Боуэн, Дж.П. и Хинчи, М.Г., редакторы журнала « Спецификация и проектирование систем высокой целостности» . 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 .
- Бока П.П., Боуэн Дж.П. и Сиддики Дж.И. , редакторы журнала «Формальные методы: современное состояние и новые направления» . Springer, 2010. ISBN 978-1-84882-735-6 , электронный ISBN 978-1-84882-736-3 , номер doi : 10.1007/978-1-84882-736-3.
- Боуэн Дж. П., Кин С. и Нг К., редакторы журнала « Электронная визуализация в искусстве и культуре» . Серия Springer о культурных вычислениях, Springer, 2013. ISBN 978-1-4471-5406-8 .
- Коупленд Дж. , Боуэн Дж. П., Спревак М., Уилсон Р. и др., Руководство Тьюринга . Oxford University Press , 2017. ISBN 978-0198747826 (твердый переплет), ISBN 978-0198747833 (мягкая обложка). [23]
- Хинчи, М.Г., Боуэн, Дж.П., Ольдерог, Э.-Р. , редакторы журнала «Доказуемо правильные системы ». Springer International Publishing, серия «Монографии НАСА по системной и программной инженерии», 2017. ISBN 978-3-319-48627-7 , doi : 10.1007/978-3-319-48628-4.
- Джаннини Т. и Боуэн Дж. П., редакторы, « Музеи и цифровая культура: новые перспективы и исследования» . Серия Springer по культурным вычислениям, Springer, 2019. ISBN 978-3-319-97456-9 , электронный ISBN 978-3-319-97457-6 , doi : 10.1007/978-3-319-97457-6. [24]
Рекомендации
- ^ "Обладатели премии Чарльза Бэббиджа" . Журнал программной инженерии . 10 (1): 2. 1995. doi :10.1049/sej.1995.0001.
- ^ «Центр прикладных формальных методов». Архивировано из оригинала 12 января 2008 года . Проверено 1 декабря 2012 г.
- ^ «Джонатан Боуэн». Бирмингемский городской университет . 2015. Архивировано из оригинала 6 ноября 2015 года . Проверено 2 сентября 2016 г.
{{cite web}}
: CS1 maint: bot: исходный статус URL неизвестен ( ссылка ) - ^ «Члены CREST». Архивировано из оригинала 22 октября 2007 года . Проверено 1 декабря 2012 г.
- ^ "Домашняя страница Джонатана Боуэна" . Архивировано из оригинала 21 августа 2007 года . Проверено 1 декабря 2012 г.
- ^ ab Спокс Саймондс, Энн (1997). «Семьи: Боуэны». Меняющиеся лица Северного Оксфорда: Книга первая . Публикации Роберта Бойда. стр. 81–83. ISBN 978-1-899536-25-2.
- ^ «Джонатан Боуэн». cirs-tm.org . Международный центр научных исследований. 3 августа 2004 г. Архивировано из оригинала 3 августа 2004 г.
- ^ «Комитет и контактная информация». БКС-ФАКС . Великобритания: БКС . Проверено 1 декабря 2012 г.
- ^ "Редакция". Инновации в системной и программной инженерии . Спрингер . Архивировано из оригинала 6 августа 2013 года . Проверено 1 декабря 2012 г.
- ^ "Редакция". Обзоры вычислительной техники ACM . Ассоциация вычислительной техники . Архивировано из оригинала 19 октября 2019 года . Проверено 19 декабря 2016 г.
- ^ Спецификация и конструкция системы высокой целостности. Дж. П. Боуэн, Майкл Г. Хинчи. Лондон: Спрингер. 1999. ISBN 3-540-76226-4. ОСЛК 40267699.
{{cite book}}
: CS1 maint: другие ( ссылка ) - ^ «Член Консультативного совета H-MUSEUM: профессор Джонатан Боуэн» . h-museum.net . 23 октября 2003 г. Архивировано из оригинала 23 октября 2003 г.
- ^ "Биография спикера: Джонатан Боуэн". www.archimuse.com . Архивы и музейная информатика: Музеи и Интернет 2010 (MW2010). 2010 . Проверено 19 февраля 2023 г.
- ^ "Страницы музеев виртуальной библиотеки" . Международный совет музеев . Архивировано из оригинала 12 декабря 2012 года . Проверено 1 декабря 2012 г.
- ^ "Кино на веб-конференции 2005" . nmpft.org.uk . Национальный музей фотографии, кино и телевидения. 2005. Архивировано из оригинала 26 сентября 2006 года.
- ^ "Музеофил Лимитед". ВЕЛИКОБРИТАНИЯ. Архивировано из оригинала 17 мая 2014 года . Проверено 1 декабря 2012 г.
- ↑ Пратти, Джон (26 сентября 2003 г.). «Информация о нашей ленте новостей». Архивировано из оригинала 4 апреля 2004 года . Проверено 1 декабря 2012 г.
- ^ ab «Биография спикера: Джонатан Боуэн». www.bcs.org . Британское компьютерное общество, Беркшир. 2019 . Проверено 19 февраля 2023 г.
- ^ «Джонатан Боуэн». istcolloq.gsfc.nasa.gov . Серия коллоквиумов по информационным наукам и технологиям. 2004 . Проверено 19 февраля 2023 г.
- ^ «Книги Джонатана Боуэна». Amazon.com . Проверено 20 февраля 2020 г.
- ↑ Фентон, Норман (13 сентября 1996 г.). «Критическое бремя быть правильным». Приложение Times о высшем образовании .
- ^ Джонсон, Крис (1996). «Рецензия на книгу - формальная спецификация и документация с использованием Z: подход к тематическому исследованию». Компьютерный журнал . 39 (7): 643. doi : 10.1093/comjnl/39.7.643-a.
- ↑ Робинсон, Эндрю (4 января 2017 г.). «Путеводитель Тьюринга: Последние слова о загадочном взломщике кодов?». Новый учёный .
- ↑ Кослоу, Дженнифер (4 сентября 2019 г.). «Рецензия на книгу – Музеи и цифровая культура: новые перспективы и исследования». Музейное управление и кураторство . 34 (5): 537–539. дои : 10.1080/09647775.2019.1661098. S2CID 203059899.
Внешние ссылки
Викискладе есть медиафайлы, связанные с Джонатаном Боуэном .