Jonathan Bowen
From Wikipedia, the free encyclopedia
| Directeur | |
|---|---|
| depuis le |
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités | |
| Père |
Humphry Bowen (en) |
| Parentèle |
E. J. Bowen (grand-père) George Noel Hill (en) (grand-oncle) |
| A travaillé pour |
Université du Sud-Ouest (depuis ) Birmingham City University ( - Museophile Limited (d) (depuis le ) Logica () Altran Praxis (en) Université de Reading Marconi instruments Limited Oxford Instruments Silicon Graphics Université de South Bank de Londres Université d'Oxford Imperial College London King's College de Londres University College de Londres |
|---|---|
| Influencé par |
Archives & Museum Informatics (en) |
| Site web |
(en) www.jpbowen.com |
| Distinctions |
Jonathan P. Bowen (né le ) est un informaticien britannique et est professeur du calcul à London South Bank University[1] où il dirige le Centre for Applied Formal Methods[2] de l’Institute for Computing Research[3].
Bowen fait ses études à la Dragon School d'Oxford, à la Bryanston School et au University College, Oxford University. Il obtient un MA en l'ingénierie de l'université d'Oxford. Il s'intéresse aux méthodes formelles (génie logiciel), aux systèmes sûreté-critiques, à la notation Z, « provably correct systems », décompilation, compilation de matériel, codesign de hardware/software, histoire du calcul et les musées en ligne.
Dans ce dernier domaine, en 1994, Bowen fonde les Virtual Library museums pages[4] (VLmp), un annuaire en ligne de musées soutenu par le Conseil international des musées (ICOM). Par même année il commence également le musée virtuel du calcul, un des musées virtuels les plus tôt. En 2002, il fonde Museophile Limited[5] pour aider des musées, spécialement en ligne.
Depuis les années 1970, Bowen est impliqué du champ du calcul et de la technologie électronique dans l'industrie (Oxford Instruments, Marconi Instruments, Logica et Silicon Graphics) et le milieu universitaire. Entre 1979 et 1984, il travaille à l'Imperial College de Londres comme assistant chercheur, puis dans le laboratoire interdépartemental de microprocesseur de Wolfson. Il est alors un chercheur aîné au Oxford University Computing Laboratory[6] Programming Research Group où il a travaillé sous les conseils de C.A.R. Hoare, Royal Society. De 1995 à 2000, Bowen est maitre de conférences au département de l'informatique, l'université de Reading, où il gère les méthodes et le Formal Methods and Software Engineering Group.
Bowen est chairman du Z User Group[7] pendant de nombreuses d'années. En 2001, Bowen a été lauréat des Freedom of the Worshipful Company of Information Technologists[8], le 100e Livery Company dans la ville de Londres. En 2002, Bowen est élu président du British Computer Society[9] spécialiste groupe FACS[10] sur les aspects formels de la Science de calcul et membre de la Royal Society of Arts[11]. En 2004, il devient Fellow de la British Computer Society[9].
