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

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

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

Молодость

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

Карьера

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

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

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

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

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

• Боуэн, JP, редактор журнала Towards Verified Systems . Elsevier Science, серия «Критические системы безопасности в реальном времени», том 2, 1994 г. ISBN   0-444-89901-4 .
• Хинчи, М.Г. и Боуэн, Дж.П., редакторы, «Применение формальных методов» . Международная серия Прентис Холл по информатике, 1995. ISBN   0-13-366949-1 .
• Боуэн, Дж. П., Формальная спецификация и документация с использованием Z: подход к тематическому исследованию . International Thomson Computer Press, International Thomson Publishing , 1996. ISBN   1-85032-230-9 .
• Боуэн, Дж.П. и Хинчи, М.Г., редакторы журнала « Спецификация и проектирование систем высокой степени интеграции» . 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 (мягкая обложка).
• Хинчи, М.Г., Боуэн, Дж.П., Ольдерог, Э.-Р. , редакторы журнала «Доказуемо правильные системы» . 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 .

Внешние ссылки

• Персональный сайт
• Джонатан П. Боуэн на DBLP библиографическом сервере
• Публикации Джонатана Боуэна , проиндексированные Google Scholar
• Джонатан П. Боуэн о Microsoft Academic
• Джонатан Боуэн в проекте «Математическая генеалогия»