词条 | Jonathan Bowen |
释义 |
| image = Jonathan Bowen photograph.jpg | image_size = 120px | name = Jonathan P. Bowen | honorific suffix = {{postnominals|country=GBR|FBCS|FRSA|size=80%}} | birth_date = {{Birth year and age|1956}} | birth_place = Oxford, England | citizenship = United Kingdom | residence = Oxford, England | nationality = British | field = Computer science, Information Technology, Museum informatics | known_for = Formal methods, Z notation, Virtual Library museums pages, Virtual Museum of Computing | influences = David Bearman, Dines Bjørner, Jack Copeland, Mike Gordon, Jifeng He, James Hemsley, Tony Hoare, Cliff Jones, Alan Turing | influenced = Mike Hinchey, Kevin Lano | work_institution = Museophile Limited, Birmingham City University, London South Bank University, University of Reading, University of Oxford, Imperial College, London | alma_mater = University College, Oxford }} Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist. OverviewJonathan Bowen is Chairman of Museophile Limited and an Emeritus Professor at London South Bank University, where he headed the Centre for Applied Formal Methods.[1] He has been a Professor of Computer Science at Birmingham City University,[2] Visiting Professor at the Pratt Institute (New York City), University of Westminster and King's College London,[3] and a visiting academic at University College London.[4] EducationBowen was born in Oxford, the son of Humphry Bowen,[5] 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. CareerBowen 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 early work was on formal methods in general, and later the Z notation in particular. He was Chair of the Z User Group from the early 1990s until 2011. In 2002, Bowen was elected Chair of the British Computer Society FACS Specialist Group on Formal Aspects of Computing Science.[6] Since 2005, Bowen has been an Associate Editor-in-Chief of the journal Innovations in Systems and Software Engineering.[7] He is also an associate editor on the editorial board for the ACM Computing Surveys journal, covering software engineering and formal methods.[8] From 2008–9, he was an Associate at Praxis High Integrity Systems, working on a large industrial project using the Z notation. Bowen's other major interest is the area of online museums. 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).[9] In the same year he also started the Virtual Museum of Computing. In 2002, he founded Museophile Limited[10] to help museums, especially online, for example with discussion forums.[11] He has also worked in industry at Oxford Instruments, Marconi Instruments, Logica, Silicon Graphics, and Altran Praxis. 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. He is a Liveryman of the Worshipful Company of Information Technologists in the City of London. Selected books
Notes1. ^{{cite web| url=http://www.cafm.lsbu.ac.uk/ |title=Centre for Applied Formal Methods |accessdate=1 December 2012 |deadurl=yes |archiveurl=https://web.archive.org/web/20080112180104/http://www.cafm.lsbu.ac.uk/ |archivedate=12 January 2008 }} 2. ^{{cite web| url=http://www.bcu.ac.uk/computing/about-us/our-staff/jonathan-bowen |title=Jonathan Bowen |work=Birmingham City University |date=2015 |accessdate=2 September 2016 |deadurl=bot: unknown |archiveurl=https://web.archive.org/web/20151106012644/http://www.bcu.ac.uk/computing/about-us/our-staff/jonathan-bowen |archivedate= 6 November 2015 |df= }} 3. ^{{cite web| url=http://crest.dcs.kcl.ac.uk/members.php?itemid=2 |title=CREST members |accessdate=1 December 2012 |deadurl=yes |archiveurl=https://web.archive.org/web/20071022101232/http://crest.dcs.kcl.ac.uk/members.php?itemid=2 |archivedate=22 October 2007 }} 4. ^{{cite web| url=http://www.cs.ucl.ac.uk/staff/J.Bowen/ |title=Jonathan Bowen home page |accessdate=1 December 2012 |deadurl=yes |archiveurl=https://web.archive.org/web/20070821093224/http://www.cs.ucl.ac.uk/staff/J.Bowen/ |archivedate=21 August 2007 }} 5. ^{{cite book| title=The Changing Faces of North Oxford: Book One |publisher=Robert Boyd Publications | last=Spokes Symonds | first=Ann | authorlink=Ann Spokes Symonds | chapter=Families: The Bowens | pages=81–83 | isbn=978-1-899536-25-2 }} 6. ^{{cite web| url=http://www.bcs.org/category/12471 | title=Committee and Contact Details | work=BCS-FACS | publisher=BCS | location=UK | accessdate=1 December 2012 }} 7. ^{{cite web | url=https://www.springer.com/uk/home/computer/programming?SGWID=3-40007-70-36204355-detailsPage=journal%7ceditorialBoard | title=Editorial Board | work=Innovations in Systems and Software Engineering | publisher=Springer | accessdate=1 December 2012 }}{{dead link|date=January 2018 |bot=InternetArchiveBot |fix-attempted=yes }} 8. ^{{cite web| url=http://csur.acm.org/editorial.cfm | title=Editorial board | work=ACM Computing Surveys | publisher=Association for Computing Machinery | accessdate=19 December 2016 }} 9. ^{{cite web | url=http://archives.icom.museum/vlmp/ | title=Virtual Library museums pages | publisher=International Council of Museums | accessdate=1 December 2012 | deadurl=yes | archiveurl=https://web.archive.org/web/20121212063856/http://archives.icom.museum/vlmp/ | archivedate=12 December 2012 | df=dmy-all }} 10. ^{{cite web| url=http://www.museophile.com/ | title=Museophile Limited | location=UK | accessdate=1 December 2012 }} 11. ^{{cite web|first=Jon |last=Pratty | url=//www.24hourmuseum.org.uk/etc/formuseums/TXT18198_gfx_en.html |title=Information about our newsfeed |date=26 September 2003 |accessdate=1 December 2012 |deadurl=yes |archiveurl=https://web.archive.org/web/20040404215235/http://www.24hourmuseum.org.uk/etc/formuseums/TXT18198_gfx_en.html |archivedate= 4 April 2004 |df= }} 12. ^{{cite article| authorlink=Norman Fenton | last=Fenton | first=Norman | title=Critical burden of being correct | newspaper=Times Higher Education Supplement | date=13 September 1996 }} 13. ^{{cite article| first=Chris | last=Johnson | authorlink=Christopher W. Johnson | title=Book Review – Formal Specification and Documentation using Z: A Case Study Approach | journal=The Computer Journal | date=1996 | volume=39 | number=7 | page=643 | doi=10.1093/comjnl/39.7.643-a }} 14. ^{{cite article| authorlink=W. Andrew Robinson | last=Robinson | first=Andrew | url=https://www.newscientist.com/article/mg23331072-700-the-turing-guide-last-words-on-an-enigmatic-codebreaker/ | title=The Turing Guide: Last words on an enigmatic codebreaker? | journal=New Scientist | date=4 January 2017 }} References
External links{{commons category|Jonathan Bowen}}
25 : 1956 births|Living people|People from Oxford|People educated at The Dragon School|People educated at Bryanston School|Alumni of University College, Oxford|Computer science writers|English computer scientists|English non-fiction writers|English book editors|Formal methods people|Members of the Department of Computer Science, University of Oxford|Academics of Imperial College London|Academics of the University of Reading|Academics of London South Bank University|Academics of University College London|Academics of King's College London|Academics of the University of Westminster|Academics of Birmingham City University|SGI people|British software engineers|Software engineering researchers|Academic journal editors|Fellows of the British Computer Society|English male non-fiction writers |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。