Alan Bundy
Encyclopedia
Alan Bundy, FRSE, FBCS, FAAAI, FECCAI, FAISB, is a professor at the School of Informatics
at the University of Edinburgh
, known for his contributions to automated reasoning
, especially to proof-planning, the use of meta-level reasoning to guide proof search
.
in Mathematical Logic in 1971, also from Leicester. Since 1971 he has been at the University of Edinburgh
: initially in the `Metamathematics' Unit, which in 1972 became the Department of Computational Logic, in 1974 was absorbed into the new Department of Artificial Intelligence and in 1998 was absorbed into the new School of Informatics
. From 1971-73, he was a research fellow on Prof. B. Meltzer's SERC grant Theorem Proving by Computer; in 1973 he became a university lecturer; in 1984 he was promoted to reader; in 1987 he was promoted to professorial fellow; and in 1990 he was promoted to professor. From 1987-92 he held an SERC
Senior Fellowship. From 1998-2001 he was Head of the newly formed of Division (subsequently School) of Informatics
at Edinburgh.
From 2000-2005 he was a founder and convener of the UK Computing Research Committee, which plays an advocacy role for computing research in the UK. From 2010 he is a Vice President and Trustee of the British Computer Society
with special responsibility for the Academy of Computing.
Bundy is the leader of the Mathematical Reasoning Group at Edinburgh.
in 2005.
He is the winner of the 2007 IJCAI Award for Research Excellence
and Herbrand Award for Distinguished Contributions to Automated Deduction
.
He was one of the 41 professors selected worldwide to receive one of the HP Labs Innovation Research Awards 2008.
University of Edinburgh School of Informatics
The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in Informatics....
at the University of Edinburgh
University of Edinburgh
The University of Edinburgh, founded in 1583, is a public research university located in Edinburgh, the capital of Scotland, and a UNESCO World Heritage Site. The university is deeply embedded in the fabric of the city, with many of the buildings in the historic Old Town belonging to the university...
, known for his contributions to automated reasoning
Automated reasoning
Automated reasoning is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically...
, especially to proof-planning, the use of meta-level reasoning to guide proof search
Automated theorem proving
Automated theorem proving or automated deduction, currently the most well-developed subfield of automated reasoning , is the proving of mathematical theorems by a computer program.- Decidability of the problem :...
.
Career
Alan Bundy was educated as a Mathematician, obtaining an honours degree in Mathematics in 1968 from Leicester University and a PhDPHD
PHD may refer to:*Ph.D., a doctorate of philosophy*Ph.D. , a 1980s British group*PHD finger, a protein sequence*PHD Mountain Software, an outdoor clothing and equipment company*PhD Docbook renderer, an XML renderer...
in Mathematical Logic in 1971, also from Leicester. Since 1971 he has been at the University of Edinburgh
University of Edinburgh
The University of Edinburgh, founded in 1583, is a public research university located in Edinburgh, the capital of Scotland, and a UNESCO World Heritage Site. The university is deeply embedded in the fabric of the city, with many of the buildings in the historic Old Town belonging to the university...
: initially in the `Metamathematics' Unit, which in 1972 became the Department of Computational Logic, in 1974 was absorbed into the new Department of Artificial Intelligence and in 1998 was absorbed into the new School of Informatics
University of Edinburgh School of Informatics
The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in Informatics....
. From 1971-73, he was a research fellow on Prof. B. Meltzer's SERC grant Theorem Proving by Computer; in 1973 he became a university lecturer; in 1984 he was promoted to reader; in 1987 he was promoted to professorial fellow; and in 1990 he was promoted to professor. From 1987-92 he held an SERC
SERC
-Organisations:*State Electricity Regulatory Commissions in India*South Eastern Regional College in Northern Ireland-Science:* Science and Engineering Research Council, a UK agency that oversaw publicly funded scientific research until 1994....
Senior Fellowship. From 1998-2001 he was Head of the newly formed of Division (subsequently School) of Informatics
Informatics (academic field)
Informatics is the science of information, the practice of information processing, and the engineering of information systems. Informatics studies the structure, algorithms, behavior, and interactions of natural and artificial systems that store, process, access and communicate information...
at Edinburgh.
From 2000-2005 he was a founder and convener of the UK Computing Research Committee, which plays an advocacy role for computing research in the UK. From 2010 he is a Vice President and Trustee of the British Computer Society
British Computer Society
The British Computer Society, is a professional body and a learned society that represents those working in Information Technology in the United Kingdom and internationally...
with special responsibility for the Academy of Computing.
Bundy is the leader of the Mathematical Reasoning Group at Edinburgh.
Honours and awards
Bundy was elected a founding Fellow of AAAI in 1990, a fellow of the Royal Society of Edinburgh in 1996, a founding fellow of AISB in 1997, a founding fellow of ECCAI in 1999, a fellow of the British Computer Society in 2004, and a Fellow of the Institution of Electrical EngineersInstitution of Electrical Engineers
The Institution of Electrical Engineers was a British professional organisation of electronics, electrical, manufacturing, and Information Technology professionals, especially electrical engineers. The I.E.E...
in 2005.
He is the winner of the 2007 IJCAI Award for Research Excellence
IJCAI Award for Research Excellence
The IJCAI Award for Research Excellence is a biannual award given at the IJCAI conference to researcher in artificial intelligence as a recognition of excellence of their career...
and Herbrand Award for Distinguished Contributions to Automated Deduction
Herbrand Award
The Herbrand Award for Distinguished Contributions to Automated Deduction is an award given by CADE Inc. to honour persons or groups for important contributions to the field of automated deduction. The award is named after the French scientist Jacques Herbrand and given at most once per CADE or...
.
He was one of the 41 professors selected worldwide to receive one of the HP Labs Innovation Research Awards 2008.