Reference numberEC/2012/05
TitleBundy, Alan: certificate of election to the Royal Society
Date23 September 2011
DescriptionCertificate of Election
CitationAlan Bundy has made world-leading contributions to both automated reasoning and the automated formation and evolution of representations of knowledge. He has developed novel techniques with improved efficiency, range and behaviour. His work on automated reasoning has found application in hardware and software systems development, where it has increased the level of automation. It has decreased the skill level and development time required to verify computer programs and has been taken up by industry. His work on representation evolution facilitates communication between agencies with different representations of related knowledge.
Access statusClosed
Add to My Items

    Collection highlights

    Browse the records of some of our collections, which cover all branches of science and date from the 12th century onwards. These include the published works of Fellows of the Royal Society, personal papers of eminent scientists, letters and manuscripts sent to the Society or presented at meetings, and administrative records documenting the Society's activities since our foundation in 1660.

    The Royal Society

    The Royal Society is a Fellowship of many of
    the world's most eminent scientists and is the
    oldest scientific academy in continuous existence.
    Registered charity number 207043

    Website design ©CalmView


    + 44 207 451 2500
    (Lines open Mon-Fri, 9:00-17:00. Excludes bank holidays)

    6-9 Carlton House Terrace, London SW1Y 5AG

    Email Us →


    Subscribe to our newsletters to be updated with the
    latest news on innovation, events, articles and reports.

    Subscribe →

    © CalmView