Il premio Charles Babbage, assegnato nel 1994, ha segnato un precoce riconoscimento dell'influenza di Jonathan Bowen sull'ingegneria del software. Nato nel 1956 a Oxford, nel Regno Unito, ha intrapreso una carriera che spazia tra il mondo accademico e l'industria, concentrandosi sui metodi formali e sull'intersezione tra informatica e patrimonio culturale, contribuendo infine alla comprensione fondamentale della verifica dei sistemi e dell'informatica museale digitale.
Metodi formali e verifica del software
La vita accademica e professionale di Bowen è incentrata sui metodi formali, con particolare enfasi sulla notazione Z. La sua ricerca affronta la necessità di sistemi dimostrabilmente corretti nell'ingegneria del software, un campo che ha fatto progredire attraverso numerose pubblicazioni tra cui Towards Verified Systems e Applications of Formal Methods. Tra il 2000 e il 2006 ha guidato il Centre for Applied Formal Methods presso la London South Bank University. Il suo lavoro in questo settore si estende ai comitati editoriali di riviste accademiche come Innovations in Systems and Software Engineering e ACM Computing Surveys, dove si è concentrato sull'applicazione pratica di rigorose tecniche matematiche alla progettazione del software.
Cultura digitale e museologia
Oltre all'ingegneria, Bowen nutre un forte interesse per l'applicazione della tecnologia dell'informazione ai musei. Nel 1994 ha creato le pagine dei musei della Biblioteca Virtuale, che sono diventate una precoce directory di internet adottata dal Consiglio Internazionale dei Musei. Questa traiettoria è proseguita con lo sviluppo del Museo Virtuale dell'Informatica. Nel 2002 ha fondato la Museophile Limited per sostenere le iniziative digitali all'interno delle istituzioni culturali. La sua recente produzione accademica, tra cui Museums and Digital Culture e The Arts and Computational Culture, esamina il passaggio delle collezioni tradizionali verso gli ambienti digitali.
Ruoli industriali e affiliazioni professionali
La carriera di Bowen fa da ponte tra la ricerca universitaria e l'implementazione commerciale. La sua esperienza nell'industria include posizioni presso Marconi Instruments Limited, Oxford Instruments, Silicon Graphics e Altran Praxis, dove si è occupato di applicazioni industriali della notazione Z. Il suo portfolio accademico comprende ruoli di insegnamento e ricerca presso la London South Bank University, il King's College di Londra, l'Università di Reading e vari ruoli di visiting presso lo University College di Londra e il Pratt Institute. È membro (fellow) della British Computer Society e della Royal Society of Arts, e detiene lo status di liveryman (membro di corporazione).
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Dati rapidi
- Nato: 1956, Oxford - Cittadinanza: Regno Unito - Campo: Informatica - Interesse principale: Notazione Z - Riconoscimento: Premio Charles Babbage (1994) - Opera notevole: The Turing Guide - Percorso di studi: University College, Oxford
Domande frequenti
### Qual è il contributo di Jonathan Bowen agli studi museali?
Ha sviluppato le pagine dei musei della Biblioteca Virtuale e ha fondato la Museophile Limited per facilitare l'integrazione della tecnologia dell'informazione negli ambienti museali.
### Quali riconoscimenti professionali ha ricevuto?
Ha ricevuto il premio Charles Babbage nel 1994 ed è membro (Fellow) della British Computer Society e della Royal Society of Arts.
