J u m p t o c o n t e n t
M a i n m e n u
M a i n m e n u
N a v i g a t i o n
● M a i n p a g e
● C o n t e n t s
● C u r r e n t e v e n t s
● R a n d o m a r t i c l e
● A b o u t W i k i p e d i a
● C o n t a c t u s
● D o n a t e
C o n t r i b u t e
● H e l p
● L e a r n t o e d i t
● C o m m u n i t y p o r t a l
● R e c e n t c h a n g e s
● U p l o a d f i l e
S e a r c h
Search
A p p e a r a n c e
● C r e a t e a c c o u n t
● L o g i n
P e r s o n a l t o o l s
● C r e a t e a c c o u n t
● L o g i n
P a g e s f o r l o g g e d o u t e d i t o r s l e a r n m o r e
● C o n t r i b u t i o n s
● T a l k
( T o p )
1
E a r l y l i f e a n d e d u c a t i o n
2
C a r e e r
3
S e l e c t e d b o o k s
4
R e f e r e n c e s
5
E x t e r n a l l i n k s
T o g g l e t h e t a b l e o f c o n t e n t s
J o n a t h a n B o w e n
1 2 l a n g u a g e s
● ا ل ع ر ب ي ة
● D e u t s c h
● E s p a ñ o l
● F r a n ç a i s
● I t a l i a n o
● M a l a g a s y
● م ص ر ى
● P o r t u g u ê s
● Р у с с к и й
● S i m p l e E n g l i s h
● С р п с к и / s r p s k i
● 中 文
E d i t l i n k s
● A r t i c l e
● T a l k
E n g l i s h
● R e a d
● E d i t
● V i e w h i s t o r y
T o o l s
T o o l s
A c t i o n s
● R e a d
● E d i t
● V i e w h i s t o r y
G e n e r a l
● W h a t l i n k s h e r e
● R e l a t e d c h a n g e s
● U p l o a d f i l e
● S p e c i a l p a g e s
● P e r m a n e n t l i n k
● P a g e i n f o r m a t i o n
● C i t e t h i s p a g e
● G e t s h o r t e n e d U R L
● D o w n l o a d Q R c o d e
● W i k i d a t a i t e m
P r i n t / e x p o r t
● D o w n l o a d a s P D F
● P r i n t a b l e v e r s i o n
I n o t h e r p r o j e c t s
● W i k i m e d i a C o m m o n s
A p p e a r a n c e
F r o m W i k i p e d i a , t h e f r e e e n c y c l o p e d i a
( R e d i r e c t e d f r o m M u s e o p h i l e L i m i t e d )
British computer scientist
Jonathan P. Bowen
Born 1956 (age 67–68)
Alma mater University College , Oxford Known for Formal methods , Z notation , Virtual Library museums pages , Virtual Museum of Computing Awards IEE Charles Babbage Premium (1994)[1] Scientific career Fields Computer science , Information Technology, Museum informatics Institutions Museophile Limited , Southwest University , Birmingham City University , London South Bank University , University of Reading , University of Oxford , Imperial College, London
Website www.jpbowen.com
Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist and an Emeritus Professor at London South Bank University , where he headed the Centre for Applied Formal Methods.[2] Prof. Bowen is also the Chairman of Museophile Limited and an Adjunct Professor at Southwest University in Chongqing , China.[3] He has been a Professor of Computer Science at Birmingham City University ,[4] Visiting Professor at the Pratt Institute (New York City), University of Westminster and King's College London ,[5] and a visiting academic at University College London .[6]
Early life and education
[ edit ]
Bowen was born in Oxford , the son of Humphry Bowen ,[7] and was educated at the Dragon School , Bryanston School , prior to his matriculation at University College, Oxford (Oxford University ) where he received the MA degree in Engineering Science .[7]
Career
[ edit ]
Bowen later worked at Imperial College, London , the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science ), the University of Reading , and London South Bank University . His main research was on formal methods in general and the Z notation in particular.[8] He was Chair of the Z User Group from the early 2000s until 2011. In 2002, Bowen was elected Chair of the British Computer Society FACS Specialist Group on Formal Aspects of Computing Science .[9] From 2005, Bowen was an Associate Editor-in-Chief of the journal Innovations in Systems and Software Engineering .[10] He was also an associate editor on the editorial board for the ACM Computing Surveys journal, covering software engineering and formal methods .[11] From 2008–9, he was an Associate at Praxis High Integrity Systems , working on a large industrial project using the Z notation .[12]
Bowen's other major interest is the area of online museums .[13] [14] In 1994, he founded the Virtual Library museums pages (VLmp), an online museums directory that was soon adopted by the International Council of Museums (ICOM).[15] [16] Shortly after, he also started the Virtual Museum of Computing . In 2002, he founded Museophile Limited [17] to help museums, especially online, for example with discussion forums.[18] He has also worked in industry at Oxford Instruments , Marconi Instruments , Logica , Silicon Graphics , and Altran Praxis .[19]
Bowen was elected a Fellow of the Royal Society for the encouragement of Arts, Manufactures and Commerce (RSA) in 2002 and of the British Computer Society (BCS) in 2004.[19] He was a Liveryman of the Worshipful Company of Information Technologists and is a Freeman of the City of London .[20]
Selected books
[ edit ]
Jonathan Bowen has written and edited a number of books, including:[21]
Bowen, J.P., editor, Towards Verified Systems . Elsevier Science, Real-Time Safety Critical Systems series, volume 2, 1994. ISBN 0-444-89901-4 .
Hinchey, M.G. and Bowen, J.P., editors, Applications of Formal Methods . Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1 .[22]
Bowen, J.P., Formal Specification and Documentation using Z: A Case Study Approach . International Thomson Computer Press, International Thomson Publishing , 1996. ISBN 1-85032-230-9 .[23]
Bowen, J.P. and Hinchey, M.G., editors, High-Integrity System Specification and Design . Springer-Verlag , London, FACIT series, 1999. ISBN 3-540-76226-4 .
Hinchey, M.G. and Bowen, J.P., editors, Industrial-Strength Formal Methods in Practice . Springer-Verlag, London, FACIT series, 1999. ISBN 1-85233-640-4 .
Hierons, R., Bowen, J.P., and Harman, M. , editors, Formal Methods and Testing . Springer-Verlag, LNCS , Volume 4949, 2008. ISBN 978-3-540-78916-1 .
Börger, E. , Butler, M. , Bowen, J.P., and Boca, P., editors, Abstract State Machines, B and Z . Springer-Verlag, LNCS, Volume 5238, 2008. ISBN 978-3-540-87602-1 .
Boca, P.P., Bowen, J.P., and Siddiqi, J.I. , editors, 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 .
Bowen, J.P., Keene, S., and Ng, K., editors, Electronic Visualisation in Arts and Culture . Springer Series on Cultural Computing, Springer, 2013. ISBN 978-1-4471-5406-8 .
Copeland, J. , Bowen, J.P., Sprevak, M., Wilson, R. , et al., The Turing Guide . Oxford University Press , 2017. ISBN 978-0198747826 (hardcover), ISBN 978-0198747833 (paperback).[24]
Hinchey, M.G., Bowen, J.P., Olderog, E.-R. , editors, 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. and Bowen, J.P., editors, 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 .[25]
Giannini, T. and Bowen, J.P., editors, The Arts and Computational Culture: Real and Virtual Worlds . Springer Series on Cultural Computing, Springer, 2024. ISBN 978-3-031-53864-3 , e-ISBN 978-3-031-53865-0 , doi :10.1007/978-3-031-53865-0 [26]
References
[ edit ]
^ "Jonathan Bowen" . China: RISE, Southwest University . 6 March 2024. Retrieved 4 June 2024 .
^ "Jonathan Bowen" . Birmingham City University . 2015. Archived from the original on 6 November 2015. Retrieved 2 September 2016 .{{cite web }}
: CS1 maint: bot: original URL status unknown (link )
^ "CREST members" . Archived from the original on 22 October 2007. Retrieved 1 December 2012 .
^ "Jonathan Bowen home page" . Archived from the original on 21 August 2007. Retrieved 1 December 2012 .
^ a b Spokes Symonds, Ann (1997). "Families: The Bowens". The Changing Faces of North Oxford: Book One . Robert Boyd Publications. pp. 81–83. ISBN 978-1-899536-25-2 .
^ "Jonathan Bowen" . cirs-tm.org . International Center for Scientific Research. 3 August 2004. Archived from the original on 3 August 2004.
^ "Committee and Contact Details" . BCS-FACS . UK: BCS . Retrieved 1 December 2012 .
^ "Editorial Board" . Innovations in Systems and Software Engineering . Springer . Archived from the original on 6 August 2013. Retrieved 1 December 2012 .
^ "Editorial board" . ACM Computing Surveys . Association for Computing Machinery . Archived from the original on 19 October 2019. Retrieved 19 December 2016 .
^ High-integrity system specification and design . J. P. Bowen, Michael G. Hinchey. London: Springer. 1999. ISBN 3-540-76226-4 . OCLC 40267699 .{{cite book }}
: CS1 maint: others (link )
^ "Member of H-MUSEUM Advisory Board: Prof. Jonathan Bowen" . h-museum.net . 23 October 2003. Archived from the original on 23 October 2003.
^ "Speaker Biography: Jonathan Bowen" . www.archimuse.com . Archives & Museum Informatics: Museums and the Web 2010 (MW2010). 2010. Retrieved 19 February 2023 .
^ "Virtual Library museums pages" . International Council of Museums . Archived from the original on 12 December 2012. Retrieved 1 December 2012 .
^ "Film on the Web Conference 2005" . nmpft.org.uk . The National Museum of Photography, Film & Television. 2005. Archived from the original on 26 September 2006.
^ "Museophile Limited" . UK. Archived from the original on 17 May 2014. Retrieved 1 December 2012 .
^ Pratty, Jon (26 September 2003). "Information about our newsfeed" . Archived from the original on 4 April 2004. Retrieved 1 December 2012 .
^ a b "Speaker Biography: Jonathan Bowen" . www.bcs.org . British Computer Society, Berkshire. 2019. Retrieved 19 February 2023 .
^ "Jonathan Bowen" . istcolloq.gsfc.nasa.gov . Information Science and Technology Colloquium Series. 2004. Retrieved 19 February 2023 .
^ "Books By Jonathan Bowen" . Amazon.com . Retrieved 20 February 2020 .
^ Fenton, Norman (13 September 1996). "Critical burden of being correct". Times Higher Education Supplement .
^ Johnson, Chris (1996). "Book Review – Formal Specification and Documentation using Z: A Case Study Approach". The Computer Journal . 39 (7 ): 643. doi :10.1093/comjnl/39.7.643-a .
^ Robinson, Andrew (4 January 2017). "The Turing Guide: Last words on an enigmatic codebreaker?" . New Scientist .
^ Koslow, Jennifer (4 September 2019). "Book Review – Museums and digital culture: new perspectives and research". Museum Management and Curatorship . 34 (5 ): 537–539. doi :10.1080/09647775.2019.1661098 . S2CID 203059899 .
^ "The Arts and Computational Culture, 2024" . DBLP . Retrieved 20 July 2024 .
External links
[ edit ]
International
National
Academics
Other
R e t r i e v e d f r o m " https://en.wikipedia.org/w/index.php?title=Jonathan_Bowen&oldid=1235703667#Career "
C a t e g o r i e s :
● 1 9 5 6 b i r t h s
● L i v i n g p e o p l e
● P e o p l e e d u c a t e d a t T h e D r a g o n S c h o o l
● P e o p l e e d u c a t e d a t B r y a n s t o n S c h o o l
● A l u m n i o f U n i v e r s i t y C o l l e g e , O x f o r d
● C o m p u t e r s c i e n c e w r i t e r s
● E n g l i s h c o m p u t e r s c i e n t i s t s
● E n g l i s h n o n - f i c t i o n w r i t e r s
● E n g l i s h b o o k e d i t o r s
● F o r m a l m e t h o d s p e o p l e
● M e m b e r s o f t h e D e p a r t m e n t o f C o m p u t e r S c i e n c e , U n i v e r s i t y o f O x f o r d
● A c a d e m i c s o f I m p e r i a l C o l l e g e L o n d o n
● A c a d e m i c s o f t h e U n i v e r s i t y o f R e a d i n g
● A c a d e m i c s o f L o n d o n S o u t h B a n k U n i v e r s i t y
● A c a d e m i c s o f U n i v e r s i t y C o l l e g e L o n d o n
● A c a d e m i c s o f K i n g ' s C o l l e g e L o n d o n
● A c a d e m i c s o f t h e U n i v e r s i t y o f W e s t m i n s t e r
● A c a d e m i c s o f B i r m i n g h a m C i t y U n i v e r s i t y
● A c a d e m i c s t a f f o f t h e S o u t h w e s t U n i v e r s i t y
● S i l i c o n G r a p h i c s p e o p l e
● B r i t i s h s o f t w a r e e n g i n e e r s
● S o f t w a r e e n g i n e e r i n g r e s e a r c h e r s
● B r i t i s h a c a d e m i c j o u r n a l e d i t o r s
● F e l l o w s o f t h e B r i t i s h C o m p u t e r S o c i e t y
● E n g l i s h m a l e n o n - f i c t i o n w r i t e r s
H i d d e n c a t e g o r i e s :
● C S 1 m a i n t : b o t : o r i g i n a l U R L s t a t u s u n k n o w n
● C S 1 m a i n t : o t h e r s
● A u t o b i o g r a p h i c a l a r t i c l e s f r o m J u n e 2 0 2 4
● A r t i c l e s w i t h s h o r t d e s c r i p t i o n
● S h o r t d e s c r i p t i o n m a t c h e s W i k i d a t a
● E n g v a r B f r o m A u g u s t 2 0 1 4
● U s e d m y d a t e s f r o m A u g u s t 2 0 1 4
● A r t i c l e s w i t h h C a r d s
● C o m m o n s c a t e g o r y l i n k i s o n W i k i d a t a
● A r t i c l e s w i t h I S N I i d e n t i f i e r s
● A r t i c l e s w i t h V I A F i d e n t i f i e r s
● A r t i c l e s w i t h W o r l d C a t E n t i t i e s i d e n t i f i e r s
● A r t i c l e s w i t h B I B S Y S i d e n t i f i e r s
● A r t i c l e s w i t h B N F i d e n t i f i e r s
● A r t i c l e s w i t h B N F d a t a i d e n t i f i e r s
● A r t i c l e s w i t h G N D i d e n t i f i e r s
● A r t i c l e s w i t h J 9 U i d e n t i f i e r s
● A r t i c l e s w i t h K B R i d e n t i f i e r s
● A r t i c l e s w i t h L C C N i d e n t i f i e r s
● A r t i c l e s w i t h N K C i d e n t i f i e r s
● A r t i c l e s w i t h N T A i d e n t i f i e r s
● A r t i c l e s w i t h P L W A B N i d e n t i f i e r s
● A r t i c l e s w i t h A C M - D L i d e n t i f i e r s
● A r t i c l e s w i t h C I N I I i d e n t i f i e r s
● A r t i c l e s w i t h D B L P i d e n t i f i e r s
● A r t i c l e s w i t h G o o g l e S c h o l a r i d e n t i f i e r s
● A r t i c l e s w i t h M G P i d e n t i f i e r s
● A r t i c l e s w i t h O R C I D i d e n t i f i e r s
● A r t i c l e s w i t h P u b l o n s i d e n t i f i e r s
● A r t i c l e s w i t h R I D i d e n t i f i e r s
● A r t i c l e s w i t h S c o p u s i d e n t i f i e r s
● A r t i c l e s w i t h Z B M A T H i d e n t i f i e r s
● A r t i c l e s w i t h S U D O C i d e n t i f i e r s
● T h i s p a g e w a s l a s t e d i t e d o n 2 0 J u l y 2 0 2 4 , a t 1 9 : 1 9 ( U T C ) .
● T e x t i s a v a i l a b l e u n d e r t h e C r e a t i v e C o m m o n s A t t r i b u t i o n - S h a r e A l i k e L i c e n s e 4 . 0 ;
a d d i t i o n a l t e r m s m a y a p p l y . B y u s i n g t h i s s i t e , y o u a g r e e t o t h e T e r m s o f U s e a n d P r i v a c y P o l i c y . W i k i p e d i a ® i s a r e g i s t e r e d t r a d e m a r k o f t h e W i k i m e d i a F o u n d a t i o n , I n c . , a n o n - p r o f i t o r g a n i z a t i o n .
● P r i v a c y p o l i c y
● A b o u t W i k i p e d i a
● D i s c l a i m e r s
● C o n t a c t W i k i p e d i a
● C o d e o f C o n d u c t
● D e v e l o p e r s
● S t a t i s t i c s
● C o o k i e s t a t e m e n t
● M o b i l e v i e w