Alan Bundy - Alan Bundy

Alan Bundy

Alan.Bundy.Image.jpg
Nascer
Alan Richard Bundy

( 18/05/1947 )18 de maio de 1947 (74 anos)
Nacionalidade britânico
Alma mater University of Leicester (BSc, PhD)
Prêmios
Carreira científica
Campos
Instituições Universidade de Edimburgo
Tese A Metateoria do Cálculo de Equações Elementares  (1971)
Orientador de doutorado Reuben Goodstein
Alunos de doutorado
Local na rede Internet homepages .inf .ed .ac .uk / bundy

Alan Richard Bundy CBE FRS FRSE FREng é professor da Escola de Informática da Universidade de Edimburgo , conhecido por suas contribuições para o raciocínio automatizado , especialmente para o planejamento da prova, o uso do raciocínio de meta-nível para orientar a busca da prova .

Educação

Alan Bundy foi educado como matemático, obtendo um diploma com distinção em matemática em 1968 pela Universidade de Leicester e um doutorado em lógica matemática em 1971, também em Leicester.

Carreira e pesquisa

Desde 1971, Bundy tem trabalhado na Universidade de Edimburgo : inicialmente na Unidade 'Metamatemática', que em 1972 se tornou o Departamento de Lógica Computacional, em 1974 foi absorvido pelo novo Departamento de Inteligência Artificial, e em 1998 foi absorvido pelo novo Escola de Informática . De 1971 a 1973, ele foi pesquisador da bolsa do Prof. B. Meltzer Science and Engineering Research Council (SERC), Theorem Proving by Computer ; em 1973 foi nomeado professor universitário ; em 1984 foi promovido a leitor ; em 1987 foi promovido a bolsista; e em 1990 foi promovido a professor. De 1987 a 1992, ele foi bolsista do SERC Senior Fellowship . De 1998 a 2001, ele foi Chefe da Divisão recém-formada (posteriormente Escola) de Informática em Edimburgo.

De 2000 a 2005, ele foi fundador e convocador do Comitê de Pesquisa em Computação do Reino Unido, que desempenha um papel de defesa da pesquisa em computação no Reino Unido. De 2010 a 2012, ele atuou como vice-presidente e curador da British Computer Society, com responsabilidade especial pela Academy of Computing.

honras e prêmios

Bundy foi um membro fundador da AAAI em 1990 e eleito membro da Royal Society of Edinburgh (FRSE) em 1996, um membro fundador do SSAISB em 1997, um membro fundador do Comitê de Coordenação Europeu para Inteligência Artificial (ECCAI) em 1999, a bolseiro da British Computer Society em 2004 e Fellow do Institution of Electrical Engineers em 2005. Foi eleito Fellow da Royal Academy of Engineering (FREng) em 2008. Foi eleito Fellow da ACM em 2014 "Por contribuições para inteligência artificial , raciocínio automatizado e a formação e evolução de representações. " .

Ele é o vencedor do Prêmio IJCAI 2007 de Excelência em Pesquisa e Prêmio Herbrand por Contribuições Distintas para Dedução Automatizada .

Ele foi um dos 41 professores selecionados mundialmente para receber um dos Hewlett Packard Labs Innovation Research Awards 2008.

Bundy foi nomeado CBE nas Honras de Ano Novo de 2012 por serviços à ciência da computação. Ele foi eleito membro da Royal Society (FRS) em 2012 , seu certificado de eleição diz

Alan Bundy fez contribuições líderes mundiais tanto para o raciocínio automatizado quanto para a formação e evolução automatizadas das representações do conhecimento. Ele desenvolveu novas técnicas com eficiência, alcance e comportamento aprimorados. Seu trabalho de raciocínio automatizado encontrou aplicação no desenvolvimento de sistemas de hardware e software, onde aumentou o nível de automação. Ele diminuiu o nível de habilidade e o tempo de desenvolvimento necessários para verificar programas de computador e foi adotado pela indústria. Seu trabalho sobre a evolução da representação facilita a comunicação entre agências com diferentes representações de conhecimento relacionado.

Referências