Jonathan Bowen - Jonathan Bowen
Jonathan P. Bowen
| |
---|---|
Urodzić się | 1956 (wiek 64-65)
Oksford , Anglia
|
Narodowość | brytyjski |
Obywatelstwo | Zjednoczone Królestwo |
Alma Mater | University College , Oxford |
Znany z | Metody formalne , notacja Z , strony muzeów Wirtualnej Biblioteki , Wirtualne Muzeum Informatyki |
Nagrody | IEE Charles Babbage premia (1994) |
Kariera naukowa | |
Pola | Informatyka , Informatyka, Informatyka muzealna |
Instytucje | Museophile Limited , Birmingham City University , London South Bank University , University of Reading , University of Oxford , Imperial College, Londyn |
Wpływy | David Bearman , Dines Bjørner , Jack Copeland , Mike Gordon , Jifeng He , James Hemsley , Tony Hoare , Cliff Jones , Alan Turing |
Pod wpływem | Mike Hinchey , Kevin Lano , Sergiy Vilkomir |
Strona internetowa | www.jpbowen.com |
Jonathan P. Bowen FBCS FRSA (ur. 1956) to brytyjski informatyk .
Przegląd
Jonathan Bowen jest prezesem Museophile Limited i emerytowanym profesorem na London South Bank University , gdzie kierował Center for Applied Formal Methods. Był profesorem informatyki na Birmingham City University , Visiting Professor w Pratt Institute (Nowy Jork), University of Westminster i King's College London oraz wizytującym naukowcem w University College London .
Edukacja
Bowen urodził się w Oksfordzie , syna Humphry Bowen i kształcił w Dragon School , Bryanston szkole , przed jego immatrykulacji na University College w Oksfordzie ( Oxford University gdzie otrzymał) tytuł magistra w Inżynierii Nauki .
Kariera zawodowa
Później Bowen pracował w Imperial College w Londynie , Laboratorium Obliczeniowym Uniwersytetu Oksfordzkiego (obecnie Wydział Informatyki Uniwersytetu Oksfordzkiego ), Uniwersytecie w Reading oraz Uniwersytecie South Bank w Londynie . Jego wczesna praca dotyczyła ogólnie metod formalnych , a później w szczególności notacji Z. Był przewodniczącym grupy użytkowników Z od początku lat 90. do 2011. W 2002 r. Bowen został wybrany przewodniczącym Grupy Specjalistów Brytyjskiego Towarzystwa Komputerowego FACS ds. Formalnych Aspektów Informatyki . Od 2005 roku Bowen jest zastępcą redaktora naczelnego czasopisma Innovations in Systems and Software Engineering . Jest także redaktorem w redakcji za ACM Computing Surveys czasopiśmie, obejmujące inżynierię oprogramowania i metod formalnych . Od 2008-9, był Associate w Praxis wysokiej integralności systemów , pracuje nad dużym projektem przemysłowym wykorzystaniem notacji Z .
Innym ważnym zainteresowaniem Bowena jest obszar muzeów internetowych . W 1994 roku założył Wirtualne strony muzeów Biblioteki (VLmp), internetowy katalog muzeów, który został wkrótce przyjęty przez Międzynarodową Radę Muzeów (ICOM). W tym samym roku uruchomił także Wirtualne Muzeum Informatyki . W 2002 roku założył Museophile Limited, aby pomagać muzeom, zwłaszcza internetowym, na przykład za pomocą forów dyskusyjnych. Pracował również w przemyśle w Oxford Instruments , Marconi Instruments , Logica , Silicon Graphics i Altran Praxis .
Bowen został wybrany Fellow z Królewskiego Towarzystwa Zachęty Sztuk Pięknych, Produkcji i Handlu (RSA) w 2002 roku i od tej brytyjskiej Computer Society (BCS) w roku 2004. On jest członek gildii londyńskiej z Miłościwy Towarzystwa Technologów Informacyjnych i Freemana z City of London .
Wybrane książki
Jonathan Bowen napisał i zredagował wiele książek, w tym:
- Bowen, JP, redaktor, W kierunku systemów zweryfikowanych . Elsevier Science, seria Real-Time Safety Critical Systems, tom 2, 1994. ISBN 0-444-89901-4 .
- Hinchey, MG i Bowen, JP, redaktorzy, Zastosowania metod formalnych . Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1 .
- Bowen, JP, Formalna specyfikacja i dokumentacja przy użyciu Z: podejście studium przypadku . International Thomson Computer Press, International Thomson Publishing , 1996. ISBN 1-85032-230-9 .
- Bowen, JP i Hinchey, MG, redaktorzy, Specyfikacja i projekt systemu wysokiej integralności . Springer-Verlag , Londyn, seria FACIT, 1999. ISBN 3-540-76226-4 .
- Hinchey, MG i Bowen, JP, redaktorzy, Przemysłowe metody formalne w praktyce . Springer-Verlag, Londyn, seria FACIT, 1999. ISBN 1-85233-640-4 .
- Hierons, R., Bowen, JP i Harman, M. , redaktorzy, Formal Methods and Testing . Springer-Verlag, LNCS , tom 4949, 2008. ISBN 978-3-540-78916-1 .
- Börger E. , Butler M. Bowen, JP, Boca, P., redaktorzy Streszczenie stanu maszyny, B i Z . Springer-Verlag, LNCS, tom 5238, 2008. ISBN 978-3-540-87602-1 .
- Boca, PP, Bowen, JP i Siddiqi, JI , redaktorzy, Metody formalne: Stan wiedzy i nowe kierunki . 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. i Ng, K., redaktorzy, Wizualizacja elektroniczna w sztuce i kulturze . Seria Springer o informatyce kulturowej , Springer, 2013. ISBN 978-1-4471-5406-8 .
- Copeland J. , Bowen JP, Sprevak M., Wilson R. i in., The Turing Guide . Oxford University Press , 2017. ISBN 978-0198747826 (twarda oprawa), ISBN 978-0198747833 (miękka okładka ).
- Hinchey, MG, Bowen, JP, Olderog, E.-R. , redaktorzy, Provably Correct Systems . 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. i Bowen, JP, redaktorzy, Muzea i kultura cyfrowa: nowe perspektywy i badania . 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 .
Uwagi
Bibliografia
- Bowen, Jonathan Peter. Kto jest kim na świecie , markiz Who's Who , wydanie 18, 2001.
- H-muzeum informacje
- Muzea i informacje o konferencji w Internecie
- „Film w sieci informacje o konferencji” . Zarchiwizowane z oryginału w dniu 26 września 2006 roku . Źródło 5 czerwca 2006 .CS1 maint: bot: nieznany status oryginalnego adresu URL ( link )
- Informacje o Międzynarodowym Centrum Badań Naukowych
Zewnętrzne linki
Scholia ma profil autora Jonathana Bowena . |
- Osobista strona internetowa
- Oficjalna strona główna LSBU
- Osobista strona główna LSBU i publikacje na Archive.org
- Strona główna SWU
- Jonathan P. Bowen na serwerze bibliograficznym DBLP
- Publikacje Jonathana Bowena indeksowane przez Google Scholar
- Jonathan P. Bowen na Microsoft Academic
- Jonathan Bowen w projekcie Genealogia Matematyki