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

Британский учёный-компьютерщик

Джонатан П. Боуэн, FBCS FRSA (родился в 1956 году) — британский учёный-компьютерщик и почётный профессор Лондонского университета South Bank , где он возглавлял Центр прикладных формальных методов. ^[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 году он основал Virtual Library museums pages (VLmp), онлайн-каталог музеев, который вскоре был принят Международным советом музеев (ICOM). ^{[15] [16]} Вскоре после этого он также основал Virtual Museum of Computing . В 2002 году он основал Museophile Limited ^[17] для помощи музеям, особенно онлайн, например, с форумами для обсуждений. ^[18] Он также работал в промышленности в Oxford Instruments , Marconi Instruments , Logica , Silicon Graphics и Altran Praxis . ^[19]

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

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

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

• Боуэн, Дж. П., редактор, На пути к проверенным системам . Elsevier Science, Серия Real-Time Safety Critical Systems, том 2, 1994. ISBN  0-444-89901-4 .
• Хинчи, МГ и Боуэн, ДжП, редакторы, Applications of Formal Methods . Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1 . ^[22] 
• Боуэн, Дж. П., Формальная спецификация и документация с использованием Z: подход к изучению случая . International Thomson Computer Press, International Thomson Publishing , 1996. ISBN 1-85032-230-9 . ^[23] 
• Боуэн, Дж. П. и Хинчи, М. Г., редакторы, High-Integrity System Specification and Design . Springer-Verlag , Лондон, серия FACIT, 1999. ISBN 3-540-76226-4 . 
• Хинчи, М. Г. и Боуэн, Дж. П., редакторы, Industrial-Strength Formal Methods in Practice . 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 . 
• Boca, PP, Bowen, JP, и Siddiqi, JI , редакторы, Formal Methods: State of the Art and New Directions . Springer, 2010. ISBN 978-1-84882-735-6 , e- ISBN 978-1-84882-736-3 , doi :10.1007/978-1-84882-736-3.  
• Боуэн, Дж. П., Кин, С. и Нг, К., редакторы, Электронная визуализация в искусстве и культуре . Серия Springer по культурным вычислениям, Springer, 2013. ISBN 978-1-4471-5406-8 . 
• Copeland, J. , Bowen, JP, Sprevak, M., Wilson, R. и др., The Turing Guide . Oxford University Press , 2017. ISBN 978-0198747826 (твердый переплет), ISBN 978-0198747833 (мягкая обложка). ^[24]  
• Хинчи, МГ, Боуэн, Дж. П., Олдерог, Э.-Р. , редакторы, Provably Correct Systems . Springer International Publishing, серия монографий NASA по системной и программной инженерии, 2017. ISBN 978-3-319-48627-7 , doi :10.1007/978-3-319-48628-4. 
• Джаннини, Т. и Боуэн, Дж. П., редакторы, Музеи и цифровая культура: новые перспективы и исследования . Серия Springer по культурным вычислениям, Springer, 2019. ISBN 978-3-319-97456-9 , e- ISBN 978-3-319-97457-6 , doi :10.1007/978-3-319-97457-6. ^[25]  
• Джаннини, Т. и Боуэн, Дж. П., редакторы, Искусство и вычислительная культура: реальные и виртуальные миры . Серия Springer по культурным вычислениям, Springer, 2024. ISBN 978-3-031-53864-3 , e- ISBN 978-3-031-53865-0 , doi :10.1007/978-3-031-53865-0 ^[26]  

Ссылки

1. "Лауреаты премии имени Чарльза Бэббиджа". Журнал Software Engineering Journal . 10 (1): 2. 1995. doi :10.1049/sej.1995.0001.
2. "Центр прикладных формальных методов". Архивировано из оригинала 12 января 2008 года . Получено 1 декабря 2012 года .
3. "Jonathan Bowen". Китай: RISE, Southwest University . 6 марта 2024 г. Получено 4 июня 2024 г.
4. "Jonathan Bowen". Birmingham City University . 2015. Архивировано из оригинала 6 ноября 2015 года . Получено 2 сентября 2016 года .{{cite web}}: CS1 maint: бот: исходный статус URL неизвестен ( ссылка )
5. "CREST members". Архивировано из оригинала 22 октября 2007 года . Получено 1 декабря 2012 года .
6. "Домашняя страница Джонатана Боуэна". Архивировано из оригинала 21 августа 2007 года . Получено 1 декабря 2012 года .
7. Spokes Symonds, Ann (1997). "Семьи: Боуэны". Меняющиеся лица Северного Оксфорда: Книга первая . Robert Boyd Publications. стр. 81–83. ISBN 978-1-899536-25-2.
8. "Jonathan Bowen". cirs-tm.org . Международный центр научных исследований. 3 августа 2004 г. Архивировано из оригинала 3 августа 2004 г.
9. "Комитет и контактные данные". BCS-FACS . Великобритания: BCS . Получено 1 декабря 2012 г. .
10. "Editorial Board". Innovations in Systems and Software Engineering . Springer . Архивировано из оригинала 6 августа 2013 года . Получено 1 декабря 2012 года .
11. "Редакционная коллегия". ACM Computing Surveys . Association for Computing Machinery . Архивировано из оригинала 19 октября 2019 года . Получено 19 декабря 2016 года .
12. Спецификация и проектирование высокоинтегрированной системы. JP Bowen, Michael G. Hinchey. Лондон: Springer. 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. "Film on the Web Conference 2005". nmpft.org.uk . Национальный музей фотографии, кино и телевидения. 2005. Архивировано из оригинала 26 сентября 2006 года.
17. "Museophile Limited". Великобритания. Архивировано из оригинала 17 мая 2014 года . Получено 1 декабря 2012 года .
18. Pratty, Jon (26 сентября 2003 г.). «Информация о нашей новостной ленте». Архивировано из оригинала 4 апреля 2004 г. Получено 1 декабря 2012 г.
19. "Биография докладчика: Джонатан Боуэн". www.bcs.org . Британское компьютерное общество, Беркшир. 2019 . Получено 19 февраля 2023 .
20. "Jonathan Bowen". istcolloq.gsfc.nasa.gov . Серия коллоквиумов по информационной науке и технологиям. 2004 . Получено 19 февраля 2023 .
21. "Книги Джонатана Боуэна". Amazon.com . Получено 20 февраля 2020 г. .
22. Фентон, Норман (13 сентября 1996 г.). «Критическое бремя быть правильным». Times Higher Education Supplement .
23. Джонсон, Крис (1996). «Обзор книги – Формальная спецификация и документация с использованием Z: подход к изучению случая». The Computer Journal . 39 (7): 643. doi :10.1093/comjnl/39.7.643-a.
24. Робинсон, Эндрю (4 января 2017 г.). «Путеводитель Тьюринга: последние слова о загадочном дешифровальщике?». New Scientist .
25. Koslow, Jennifer (4 сентября 2019 г.). «Обзор книги – Музеи и цифровая культура: новые перспективы и исследования». Museum Management and Curatorship . 34 (5): 537–539. doi :10.1080/09647775.2019.1661098. S2CID  203059899.
26. "Искусство и вычислительная культура, 2024". DBLP . Получено 20 июля 2024 г.

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

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