Jonathan Bowen
Jonathan P. Bowen FBCS FRSA (1956) informatikari britainiarra da eta Londresko South Bank Unibertsitateko irakasle emeritua da, non Applied Formal Methods zentroa zuzendu zuen. Bowen irakaslea Museophile Limitedeko lehendakaria eta Chongqingeko (Txina) Southwest Unibertsitateko irakasle adjuntua ere bada. Birmingham City Unibertsitateko Informatika irakaslea izan da, irakasle bisitaria Pratt Institute-n (New York City), Westminster-eko Unibertsitatean eta Londresko King's College-n eta akademiko bisitaria Londresko University College-n.
Hasierako bizitza eta hezkuntza
[aldatu | aldatu iturburu kodea]Bowen Oxforden jaio zen, Humphry Bowen semea, eta Dragon School, Bryanston Schoolen hezi zen, Oxfordeko University Collegen (Oxford Unibertsitatea) matrikulatu baino lehen, non Ingeniaritza Zientzietako MA titulua lortu zuen.
Karrera
[aldatu | aldatu iturburu kodea]Bowenek Londresko Imperial Collegen, Oxford University Computing Laboratoryn (gaur egun Oxford Unibertsitateko Informatika Saila), Readingeko Unibertsitatean eta London South Bank Unibertsitatean lan egin zuen. Bere ikerketa nagusia metodo formalei buruzkoa izan zen, oro har, eta bereziki Z idazkera. 2000ko hamarkadaren hasieratik 2011ra arte Z User Group-eko presidentea izan zen. 2002an, Bowen Britainia Handiko Computer Society FACS Specialist Group on Formal Aspects Computing Science-ko presidente aukeratu zuten. 2005etik aurrera, Innovations in Systems and Software Engineering aldizkariko editore-buru elkartua izan zen Bowen. ACM Computing Surveys aldizkariko erredakzio kontseiluko editore elkartua ere izan zen, softwarearen ingeniaritza eta metodo formalak landuz. 2008–9 urte bitartean, Praxis High Integrity Systems elkartua izan zen, Z idazkera erabiliz industria-proiektu handi batean lanean.
Bowenen beste interes nagusia sareko museoen arloa da. 1994an, Virtual Library museums pages (VLmp) sortu zuen, Museoen Nazioarteko Kontseiluak (ICOM) laster onartu zuen lineako museoen direktorioa. Handik gutxira, Informatika Museo Birtuala ere martxan jarri zuen. 2002an, Museophile Limited sortu zuen, museoei laguntzeko, batez ere sarean, eztabaida-foroekin adibidez. Industrian ere lan egin du Oxford Instruments, Marconi Instruments, Logica, Silicon Graphics, eta Altran Praxis.
Bowen 2002an Arts, Manufactures and Commerce (RSA) bultzatzeko Royal Society-ko kide hautatu zuten, eta British Computer Society (BCS) 2004an. Worshipful Company of Information Technologists-eko Liveryman izan zen eta London Cityko Freeman bat da.
Kanpo estekak
[aldatu | aldatu iturburu kodea]Gai honi buruzko informazio gehiago lor dezakezu Scholian |
- Personal website
- Jonathan P. Bowen – Microsoft Academic