Jonathan Bowen - Jonathan Bowen

Jonathan P. Bowen

FBCS FRSA
Jonathan Bowen fotoğraf.jpg
Doğmak 1956 (64-65 yaş arası)
Oxford , İngiltere
Milliyet ingiliz
Vatandaşlık Birleşik Krallık
gidilen okul Üniversite Koleji , Oxford
Bilinen Biçimsel yöntemler , Z notasyonu , Sanal Kütüphane müze sayfaları , Sanal Bilgisayar Müzesi
Ödüller IEE Charles Babbage Premium (1994)
Bilimsel kariyer
Alanlar Bilgisayar bilimi , Bilgi Teknolojisi, Müze bilişimi
kurumlar Museophile Limited , Birmingham City Üniversitesi , Londra South Bank Üniversitesi , Reading Üniversitesi , Oxford Üniversitesi , Imperial College, Londra
etkiler David Bearman , Dines Bjørner , Jack Copeland , Mike Gordon , Jifeng He , James Hemsley , Tony Hoare , Cliff Jones , Alan Turing
Etkilenen Mike Hinchey , Kevin Lano , Sergiy Vilkomir
İnternet sitesi www.jpbowen.com

Jonathan P. Bowen FBCS FRSA (1956 doğumlu) bir İngiliz bilgisayar bilimcisidir .

genel bakış

Jonathan Bowen, Museophile Limited'in Başkanı ve Londra South Bank Üniversitesi'nde Fahri Profesördür ve burada Uygulamalı Resmi Yöntemler Merkezi'ne başkanlık etmiştir. Birmingham City Üniversitesi'nde Bilgisayar Bilimleri Profesörü, Pratt Enstitüsü'nde (New York City), Westminster Üniversitesi'nde ve King's College London'da Misafir Profesör ve University College London'da misafir akademisyen olarak görev yaptı .

Eğitim

Bowen doğdu Oxford , oğlu Humphry Bowen ve eğitim gördü Ejderha Okulu , Bryanston Okulu , onun olgunluk öncesinde University College, Oxford ( Oxford University Aldığı) MA derecesini de Mühendislik Bilimi .

Kariyer

Bowen daha sonra Londra'daki Imperial College'da, Oxford Üniversitesi Bilgisayar Laboratuvarı'nda (şimdi Oxford Üniversitesi Bilgisayar Bilimleri Bölümü ), Reading Üniversitesi'nde ve Londra South Bank Üniversitesi'nde çalıştı . İlk çalışmaları genel olarak biçimsel yöntemler ve daha sonra özel olarak Z notasyonu üzerineydi . 1990'ların başından 2011'e kadar Z Kullanıcı Grubunun Başkanıydı. 2002'de Bowen, İngiliz Bilgisayar Topluluğu FACS Uzman Grubunun Bilgisayar Biliminin Biçimsel Yönleri Başkanı seçildi . Bowen, 2005 yılından bu yana, Innovations in Systems and Software Engineering dergisinin Yardımcı Genel Yayın Yönetmeni olarak görev yapmaktadır . O da bir olan yardımcı editör üzerinde yayın kurulu için ACM Bilgisayar Araştırmaları kapsayan dergi, yazılım mühendisliği ve biçimsel yöntemler . 2008–9 yılları arasında Praxis High Integrity Systems'de Z notasyonunu kullanan büyük bir endüstriyel proje üzerinde çalışan bir Associate idi .

Bowen'in bir diğer büyük ilgi alanı ise çevrimiçi müzeler alanıdır . 1994 yılında, Uluslararası Müzeler Konseyi (ICOM) tarafından yakında kabul edilen bir çevrimiçi müzeler rehberi olan Sanal Kütüphane müzeleri sayfalarını (VLmp) kurdu . Aynı yıl Sanal Bilgisayar Müzesi'ni de kurdu . 2002'de müzelere, özellikle çevrimiçi olarak, örneğin tartışma forumlarına yardımcı olmak için Museophile Limited'i kurdu . Ayrıca Oxford Instruments , Marconi Instruments , Logica , Silicon Graphics ve Altran Praxis'te endüstride çalıştı .

Bowen bir seçildi Fellow of , Marka ve Ticaret Sanatları teşviki için Royal Society 2002 yılında ve (RSA) British Computer Society 2004 yılında (BCS) O olduğu esnaf cemiyetinin ait bilgiler Teknologları Worshipful Şirketi ve Freeman ait City of London .

Seçilmiş kitaplar

Jonathan Bowen, aşağıdakiler de dahil olmak üzere bir dizi kitap yazmış ve editörlüğünü yapmıştır:

  • Bowen, JP, editör, Doğrulanmış Sistemlere Doğru . Elsevier Science, Real-Time Safety Critical Systems serisi, cilt 2, 1994. ISBN  0-444-89901-4 .
  • Hinchey, MG ve Bowen, JP, editörler, Biçimsel Yöntemlerin Uygulamaları . Bilgisayar Bilimlerinde Prentice Hall Uluslararası Serisi, 1995. ISBN  0-13-366949-1 .
  • Bowen, JP, Z: Bir Vaka Çalışması Yaklaşımı Kullanarak Resmi Belirtim ve Belgeleme . International Thomson Computer Press, International Thomson Publishing , 1996. ISBN  1-85032-230-9 .
  • Bowen, JP ve Hinchey, MG, editörler, Yüksek Bütünlüklü Sistem Spesifikasyonu ve Tasarımı . Springer-Verlag , Londra, FACIT serisi, 1999. ISBN  3-540-76226-4 .
  • Hinchey, MG ve Bowen, JP, editörler, Industrial-Strength Formal Methods in Practice . Springer-Verlag, Londra, FACIT serisi, 1999. ISBN  1-85233-640-4 .
  • Hierons, R., Bowen, JP ve Harman, M. , editörler, Formal Methods and Testing . Springer-Verlag, LNCS , Cilt 4949, 2008. ISBN  978-3-540-78916-1 .
  • Börger, E. , Butler, M. , Bowen, JP ve Boca, P., editörler, Abstract State Machines, B ve Z . Springer-Verlag, LNCS, Cilt 5238, 2008. ISBN  978-3-540-87602-1 .
  • Boca, PP, Bowen, JP ve Siddiqi, JI , editörler, Formal Methods: State of the Art ve 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 .
  • Bowen, JP, Keene, S. ve Ng, K., editörler, Electronic Visualization in Arts and Culture . Kültürel Hesaplama Üzerine Springer Serisi, Springer, 2013. ISBN  978-1-4471-5406-8 .
  • Copeland, J. , Bowen, JP, Sprevak, M., Wilson, R. , ve diğerleri, The Turing Guide . Oxford University Press , 2017. ISBN  978-0198747826 (ciltli), ISBN  978-0198747833 (ciltsiz).
  • Hinchey, MG, Bowen, JP, Olderog, E.-R. , editörler, Kanıtlanabilir Doğru Sistemler . Springer International Publishing, Sistem ve Yazılım Mühendisliği serisinde NASA Monographs, 2017. ISBN  978-3-319-48627-7 , doi : 10.1007/978-3-319-48628-4 .
  • Giannini, T. ve Bowen, JP, editörler, Museums and Digital Culture: New Perspectives and Research . 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 .

Notlar

Referanslar

Dış bağlantılar