World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
55
Citations
20056
World Ranking
4194
National Ranking
257

Research.com Recognitions

  • 2014 - ACM Fellow For contributions to artificial intelligence, automated reasoning, and the formation and evolution of representations.
  • 2012 - Fellow of the Royal Society, United Kingdom

Overview

Alan Bundy is affiliated with the University of Edinburgh in the United Kingdom, where the focus of their research lies predominantly in computer science. Their work spans multiple subfields including artificial intelligence, computational theory and mathematics, materials chemistry, computer networks and communications, and software development.

The scientist's research covers several main topics, with a notable emphasis on semantic web and ontologies, logic, reasoning, and knowledge, as well as topic modeling. Additional areas include Bayesian modeling and causal inference, AI-based problem solving and planning, machine learning in materials science, and explainable artificial intelligence (XAI).

Alan Bundy has collaborated frequently with several coauthors, including Kwabena Nuamah, Xue Li, Alexander Lavin, Sašo Džeroski, and Yanbo Zhang.

Their recent publications include:

  • The Future of Fundamental Science Led by Generative Closed-Loop Artificial Intelligence, 2023, arXiv (Cornell University)
  • Introduction to 'Cognitive artificial intelligence', 2023, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences
  • Exploring the role of large language models in the scientific method: from hypothesis to discovery, 2025, npj Artificial Intelligence
  • Representational change is integral to reasoning, 2023, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences
  • Signature Entrenchment and Conceptual Changes in Automated Theory Repair, 2022, arXiv (Cornell University)

Alan Bundy has published frequently in venues such as:

  • arXiv (Cornell University)
  • Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences
  • npj Artificial Intelligence
  • Current Developments in Nutrition

They are recognized for contributions to artificial intelligence, automated reasoning, and the formation and evolution of representations. This recognition includes being awarded the ACM Fellow in 2014 and being named a Fellow of the Royal Society in the United Kingdom in 2012.

Best Publications

  • Constructing Induction Rules for Deductive Synthesis Proofs

    Alan Bundy;Lucas Dixon;Jeremy Gow;Jacques Fleuriot

  • Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99

    Simon Colton;Alan Bundy;Toby Walsh

  • The Use of Explicit Plans to Guide Inductive Proofs

    Alan Bundy

  • Proceedings of the International Joint Conference on Artificial Intelligence 2007

    Alan Bundy

  • The Computer Modelling of Mathematical Reasoning

    Alan Bundy

  • Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence - IJCAI-95

    Alan Bundy;V. Lombart

  • Rippling: a heuristic for guiding inductive proofs

    Alan Bundy;Andrew Stevens;Frank van Harmelen;Andrew Ireland

  • Computational Thinking is Pervasive

    Alan Bundy

  • The Oyster-Clam system

    Alan Bundy;Frank van Harmelen;Christian Horn;Christian Horn;Alan Smaill

  • Preparing for the future of Artificial Intelligence

    Alan Bundy

  • Productive Use of Failure in Inductive Proof

    Andrew Ireland;Alan Bundy

  • Automated Deduction - CADE-11

    T. Walsh;A. Nunes;Alan Bundy

  • Extensions to the rippling-out tactic for guiding inductive proofs

    Alan Bundy;Frank van Harmelen;Alan Smaill;Andrew Ireland

  • Experiments with proof plans for induction

    Alan Bundy;Frank Van Harmelen;Jane Hesketh;Alan Smaill

  • Rippling: Meta-Level Guidance for Mathematical Reasoning

    Alan Bundy;David Basin;Dieter Hutter;Andrew Ireland

  • The Automation of Proof by Mathematical Induction

    Alan Bundy

  • A science of reasoning

    Alan Bundy

  • Proceedings of AAAI-96

    Alan Bundy;F. Giunchiglia;R. Sebastiani;T. Walsh

  • Incidence calculus: a mechanism for probabilistic reasoning

    Alan Bundy

  • Proceedings of the Eighth International Joint Conference on Artificial Intelligence

    Alan Bundy

  • Proceedings of the Ninth International Joint Conference on Artificial Intelligence - 1985

    Alan Bundy;R. Clutterbuck

  • Dynamic Time Warping

    Alan Bundy;Lincoln Wallen

Frequent Co-Authors

David Basin
David Basin ETH Zurich
Toby Walsh
Toby Walsh University of New South Wales
Cliff B. Jones
Cliff B. Jones Newcastle University
Frank van Harmelen
Frank van Harmelen Vrije Universiteit Amsterdam
Jon Whittle
Jon Whittle Commonwealth Scientific and Industrial Research Organisation
Fausto Giunchiglia
Fausto Giunchiglia University of Trento
Chris Mellish
Chris Mellish University of Aberdeen
Stephen Muggleton
Stephen Muggleton Imperial College London
Geraint A. Wiggins
Geraint A. Wiggins Vrije Universiteit Brussel
Amos Storkey
Amos Storkey University of Edinburgh

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Considering a future in Computer Science opens up a range of academic and career opportunities. Many students explore alternative or complementary fields of study. If you want to diversify your expertise, take a look at some of the best college majors to pursue. Pairing Computer Science with a relevant major can boost your career prospects.

Online education has also made advanced degrees more accessible. If you are looking for graduate options, some of the easiest masters programs to get into provide flexible learning paths while maintaining value for your career.

For those considering the highest level of academic achievement, affordability is an important factor. You may want to explore the cheapest doctoral programs to find budget-friendly routes to a PhD or EdD.

Seeking a fast track to leadership roles in education? Review some of the easiest edd programs online, which are designed for experienced professionals who want to earn credentials quickly.

Best Scientists Citing Alan Bundy

Trending Scientists

Recently Published Articles