Alan Bundy

Alan Bundy

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.

Career

Alan Bundy was educated as a Mathematician, obtaining an honours degree in Mathematics in 1968 from Leicester University and a PhD 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.

Currently (2007) Bundy is the leader of the Mathematical Reasoning Group at Edinburgh, a research group in mathematical, cognitive AI, and a member of the RAE 2008 [http://www.rae.ac.uk/panels/main/f/csi/ Panel for Computer Science and Informatics] .

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 Engineers 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. [http://www.hp.com/hpinfo/newsroom/press/2008/080814xa.html]

References

External links

* [http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website]
* [http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Bundy — The word Bundy may refer to: Contents 1 Cities 2 People 3 Fictional characters 4 Other Cities Bundy, Idaho Bundy, Montana …   Wikipedia

  • Ted Bundy — In custody, Florida, July 27, 1978 (State Archives of Florida) Background information Birth name Theodore Robert Co …   Wikipedia

  • King Kong Bundy — in 1985 Ring name(s) Big Daddy Bundy[1] Boom Boom Bundy[1] …   Wikipedia

  • David Alan Mack — This article is about the Star Trek and Wolverine novelist. For the comic book artist, see David W. Mack. David Alan Mack Mack at Forbidden Planet in Manhattan, April 22, 2010. Occupation Novelist, Screenwriter …   Wikipedia

  • AI@50 — AI@50, which is formally known as the Dartmouth Artificial Intelligence Conference: The Next Fifty Years (July 13 15, 2006), commemorated the 50th anniversary of the Dartmouth Conferences which effectively inaugurated the history of artificial… …   Wikipedia

  • Public library ratings — There are several national systems for rating the quality of public librariesUnited StatesThe basic public library statistics (not rankings) are published by the National Center for Educational Statistics; the most recent version was published in …   Wikipedia

  • Rippling — [Rippling: Meta Level Guidance for Mathematical Reasoning, Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland,Cambridge University Press, 2005. ISBN 052183449X] refers to a group of meta level heuristics, developed primarily in the… …   Wikipedia

  • Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… …   Wikipedia

  • Herbrand Award — The Herbrand Award for Distinguished Contributions to Automated Deduction is an award given by CADE Inc. (although it predates the formal incorporation of CADE) to honour persons or groups for important contributions to the field of automated… …   Wikipedia

  • List of University of Edinburgh people — is a list of notable graduates and former faculty of the University of Edinburgh in Scotland. The University is associated with nine Nobel Prize winners (Source: http://www.ed.ac.uk/studying/postgraduate/edinburgh/alumni.html)Politics and… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”