Jonathan Bowen - Jonathan Bowen

Jonathan P. Bowen

FBCS FRSA
Jonathan Bowen photograph.jpg
narozený1956 (věk 63–64)
Oxford, Anglie
Národnostbritský
Státní občanstvíSpojené království
Alma materUniversity College, Oxford
Známý jakoFormální metody, Z notace, Stránky muzeí virtuální knihovny, Virtuální muzeum výpočetní techniky
OceněníIEE Charles Babbage Premium (1994)[1]
Vědecká kariéra
PolePočítačová věda, Informační technologie, Muzejní informatika
InstituceMuseophile Limited, Birmingham City University, London South Bank University, University of Reading, University of Oxford, Imperial College, London
VlivyDavid Bearman, Večeře Bjørner, Jack Copeland, Mike Gordon, Jifeng He, James Hemsley, Tony Hoare, Cliff Jones, Alan Turing
OvlivněnoMike Hinchey, Kevin Lano, Sergiy Vilkomir
webová stránkawww.jpbowen.com

Jonathan P. Bowen FBCS FRSA (narozen 1956) je Brit počítačový vědec.

Přehled

Jonathan Bowen je předsedou Museophile Limited a emeritním profesorem v London South Bank University, kde vedl Centrum pro aplikované formální metody.[2] Byl profesorem informatiky na Birmingham City University,[3] Hostující profesor na Pratt Institute (New York City), University of Westminster a King's College London,[4] a hostující akademik na University College v Londýně.[5]

Vzdělávání

Bowen se narodil v roce Oxford, syn Humphry Bowen,[6] a byl vzděláván u Dračí škola, Bryanstonská škola, před jeho imatrikulací v University College v Oxfordu (Oxfordská univerzita ) kde obdržel MA titul v Engineering Science.

Kariéra

Bowen později pracoval v Imperial College, London Oxfordská výpočetní laboratoř (nyní Oxford University Department of Computer Science ), University of Reading, a London South Bank University. Jeho rané dílo pokračovalo formální metody obecně a později Z notace zejména. Byl předsedou Z skupina uživatelů od počátku 90. let do roku 2011. V roce 2002 byl Bowen zvolen předsedou Britská počítačová společnost Specializovaná skupina FACS Formální aspekty počítačové vědy.[7] Od roku 2005 je Bowen asistentem šéfredaktora časopisu Inovace v oblasti systémů a softwarového inženýrství.[8] On je také přidružený editor na redakční rada pro ACM Computing Surveys deník, pokrývající softwarové inženýrství a formální metody.[9] V letech 2008–9 působil jako spolupracovník ve společnosti Systémy Praxis High Integrity, pracující na velkém průmyslovém projektu s využitím Z notace.

Dalším důležitým zájmem společnosti Bowen je oblast online muzea. V roce 1994 založil Stránky muzeí virtuální knihovny (VLmp), adresář online muzeí, který brzy přijala Mezinárodní rada muzeí (ICOM).[10] Ve stejném roce také zahájil Virtuální muzeum výpočetní techniky. V roce 2002 založil Museophile Limited[11] pomáhat muzeím, zejména online, například s diskusními fóry.[12] Pracoval také v průmyslu v Oxford Instruments, Marconi Instruments, Logica, Křemíková grafika, a Altran Praxis.

Bowen byl zvolen Chlapík z Královská společnost pro podporu umění, výroby a obchodu (RSA) v roce 2002 a Britská počítačová společnost (BCS) v roce 2004. Je a Majitel půjčovny koní z Ctihodná společnost informačních technologií a a Freemane z City of London.

Vybrané knihy

Jonathan Bowen napsal a upravil řadu knih, včetně:[13]

  • Bowen, J.P., redaktor, Směrem k ověřeným systémům. Elsevier Věda, řada bezpečnostních kritických systémů v reálném čase, svazek 2, 1994. ISBN  0-444-89901-4.
  • Hinchey, M.G. a Bowen, J.P., redaktoři, Aplikace formálních metod. Prentice Hall International Series in Computer Science, 1995. ISBN  0-13-366949-1.[14]
  • Bowen, J.P., Formální specifikace a dokumentace využívající Z: Přístup k případové studii. International Thomson Computer Press, Mezinárodní vydavatelství Thomson, 1996. ISBN  1-85032-230-9.[15]
  • Bowen, J.P. a Hinchey, M.G., redaktoři, Vysoce integrovaný systém Specifikace a design. Springer-Verlag, Londýn, řada FACIT, 1999. ISBN  3-540-76226-4.
  • Hinchey, M.G. a Bowen, J.P., redaktoři, Průmyslové formální metody v praxi. Springer-Verlag, Londýn, řada FACIT, 1999. ISBN  1-85233-640-4.
  • Hierons, R., Bowen, J.P. a Harman, M., redaktoři, Formální metody a testování. Springer-Verlag, LNCS, Svazek 4949, 2008. ISBN  978-3-540-78916-1.
  • Börger, E., Butler, M., Bowen, J.P., a Boca, P., redaktoři, Abstract State Machines, B and Z. Springer-Verlag, LNCS, svazek 5238, 2008. ISBN  978-3-540-87602-1.
  • Boca, P.P., Bowen, J.P. a Siddiqi, J.I., redaktoři, Formální metody: stav techniky a nové směry. Springer, 2010. ISBN  978-1-84882-735-6, e-ISBN  978-1-84882-736-3, doi:10.1007/978-1-84882-736-3.
  • Bowen, J. P., Keene, S. a Ng, K., redaktoři, Elektronická vizualizace v umění a kultuře. Springer Series on Cultural Computing, Springer, 2013. ISBN  978-1-4471-5406-8.
  • Copeland, J., Bowen, J.P., Sprevak, M., Wilson, R., et al., Turingův průvodce. Oxford University Press, 2017. ISBN  978-0198747826 (tvrdý obal), ISBN  978-0198747833 (brožura).[16]
  • Hinchey, M.G., Bowen, J.P., Olderog, E.-R., redaktoři, Prokazatelně správné systémy. Springer International Publishing, NASA Monographs in Systems and Software Engineering series, 2017. ISBN  978-3-319-48627-7, doi:10.1007/978-3-319-48628-4.
  • Giannini, T. a Bowen, J.P., redaktoři, Muzea a digitální kultura: nové perspektivy a výzkum. 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.[17]

Poznámky

  1. ^ „Vítězové ceny Charles Babbage Premium Award“. Software Engineering Journal. 10 (1): 2. 1995. doi:10.1049 / sej.1995.0001.
  2. ^ „Centrum aplikovaných formálních metod“. Archivovány od originál dne 12. ledna 2008. Citováno 1. prosince 2012.
  3. ^ „Jonathan Bowen“. Birmingham City University. 2015. Archivovány od originálu dne 6. listopadu 2015. Citováno 2. září 2016.CS1 maint: BOT: stav původní adresy URL neznámý (odkaz)
  4. ^ „Členové CREST“. Archivovány od originál dne 22. října 2007. Citováno 1. prosince 2012.
  5. ^ „Domovská stránka Jonathana Bowena“. Archivovány od originál dne 21. srpna 2007. Citováno 1. prosince 2012.
  6. ^ Mluví Symonds, Ann. "Rodiny: The Bowens". Měnící se tváře severního Oxfordu: Kniha jedna. Publikace Roberta Boyda. 81–83. ISBN  978-1-899536-25-2.
  7. ^ „Výbor a kontaktní údaje“. BCS-FACS. SPOJENÉ KRÁLOVSTVÍ: BCS. Citováno 1. prosince 2012.
  8. ^ "Redakční rada". Inovace v oblasti systémů a softwarového inženýrství. Springer. Archivovány od originál dne 6. srpna 2013. Citováno 1. prosince 2012.
  9. ^ "Redakční rada". ACM Computing Surveys. Sdružení pro výpočetní techniku. Archivovány od originál dne 19. října 2019. Citováno 19. prosince 2016.
  10. ^ „Stránky muzeí virtuální knihovny“. Mezinárodní rada muzeí. Archivovány od originál dne 12. prosince 2012. Citováno 1. prosince 2012.
  11. ^ „Museophile Limited“. SPOJENÉ KRÁLOVSTVÍ. Archivovány od originál dne 17. května 2014. Citováno 1. prosince 2012.
  12. ^ Pratty, Jon (26. září 2003). „Informace o našem novinkách“. Archivovány od originál dne 4. dubna 2004. Citováno 1. prosince 2012.
  13. ^ „Knihy od Jonathana Bowena“. Amazon.com. Citováno 20. února 2020.
  14. ^ Fenton, Norman (13. září 1996). "Kritická zátěž správnosti". Times Higher Education Supplement.
  15. ^ Johnson, Chris (1996). „Recenze knihy - formální specifikace a dokumentace pomocí Z: přístup k případové studii“. Počítačový deník. 39 (7): 643. doi:10.1093 / comjnl / 39.7.643-a.
  16. ^ Robinson, Andrew (4. ledna 2017). „Turingův průvodce: Poslední slova o záhadném tvůrci kódů?“. Nový vědec.
  17. ^ Koslow, Jennifer (4. září 2019). „Recenze knihy - Muzea a digitální kultura: nové perspektivy a výzkum“. Správa a kurátorství muzea. 34 (5): 537–539. doi:10.1080/09647775.2019.1661098. S2CID  203059899.

Reference

externí odkazy