Skip navigation and jump directly to page content
Indiana University Bloomington
Choose site to be searched
Type search terms

Michael A. McRobbie

President Indiana University
Professor Computer Science, Informatics and Philosophy
Professor Computer Technology, Purdue School of Engineering and Technology
Adjunct Professor Cognitive Science
Adjunct Professor Information Science
Vice President Research
Phone: (812) 855-4613


  • Ph.D., ANU, 1979

Professional Experience

  • Fulbright Senior Fellow, Argonne National Laboratory, 1988
  • Honorary Director, Laboratory for Formal Aspects and Complexity in Computer Science, University of Cape Town, South Africa, 1992-present
  • Member, Board of Trustees, International Conference on Automated Deduction, 1994-96
  • Editorial Board member, Journal of Automated Reasoning; Applied Non-Classical Logic; IEEE; ACM.

Research Interests

Artificial Intelligence

My major research interests include artificial intelligence especially automated deduction, proof theory and various high performance computing and communications, especially parallel symbolic computation.

Much of my recent career has been spent in the establishment of advanced computing and communications infrastructure in such areas as parallel computing, virtual reality and high speech network testbeds, both nationally and globally.