O prêmio Charles Babbage, concedido em 1994, marcou um reconhecimento precoce da influência de Jonathan Bowen na engenharia de software. Nascido em 1956 em Oxford, no Reino Unido, ele construiu uma carreira que abrange a academia e a indústria, concentrando-se em métodos formais e na interseção da computação com o patrimônio cultural, contribuindo no final das contas para a compreensão fundamental da verificação de sistemas e da informática de museus digitais.
Métodos formais e verificação de software
A vida acadêmica e profissional de Bowen gira em torno de métodos formais, com ênfase especial na notação Z. Sua pesquisa aborda a necessidade de sistemas comprovadamente corretos na engenharia de software, um campo que ele avançou por meio de inúmeras publicações, incluindo Towards Verified Systems e Applications of Formal Methods. Entre 2000 e 2006, ele liderou o Centre for Applied Formal Methods na London South Bank University. Seu trabalho neste domínio estende-se aos conselhos editoriais de periódicos acadêmicos como Innovations in Systems and Software Engineering e ACM Computing Surveys, onde focou na aplicação prática de técnicas matemáticas rigorsas ao design de software.
Cultura digital e museologia
Além da engenharia, Bowen tem um interesse significativo na aplicação da tecnologia da informação aos museus. Em 1994, ele criou as páginas de museus da Biblioteca Virtual, que se tornaram um diretório inicial da internet adotado pelo Conselho Internacional de Museus. Essa trajetória continuou com o desenvolvimento do Museu Virtual de Computação. Em 2002, fundou a Museophile Limited para apoiar iniciativas digitais em instituições culturais. Sua produção acadêmica recente, incluindo Museums and Digital Culture e The Arts and Computational Culture, examina a transição de coleções tradicionais para ambientes digitais.
Cargos na indústria e afiliações profissionais
A carreira de Bowen faz a ponte entre a pesquisa universitária e a implementação comercial. Sua experiência na indústria inclui cargos na Marconi Instruments Limited, Oxford Instruments, Silicon Graphics e Altran Praxis, onde lidou com aplicações industriais da notação Z. Seu portfólio acadêmico inclui funções de ensino e pesquisa na London South Bank University, King's College London, Universidade de Reading e vários cargos de visitante no University College London e no Pratt Institute. Ele é membro (fellow) da British Computer Society e da Royal Society of Arts, e mantém o status de membro de guilda (liveryman).
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Resumo rápido
- Nascimento: 1956, Oxford - Cidadania: Reino Unido - Campo: Ciência da computação - Principal interesse: Notação Z - Prêmio: Prêmio Charles Babbage (1994) - Obra notável: The Turing Guide - Formação acadêmica: University College, Oxford
Perguntas frequentes
### Qual é a contribuição de Jonathan Bowen para os estudos de museus?
Ele desenvolveu as páginas de museus da Biblioteca Virtual e fundou a Museophile Limited para facilitar a integração da tecnologia da informação em ambientes de museus.
### Que reconhecimento profissional ele recebeu?
Ele recebeu o Prêmio Charles Babbage em 1994 e é membro (Fellow) da British Computer Society e da Royal Society of Arts.
