Michael McRobbie

Michael McRobbie

Adjunct Professor, Cognitive Science

Professor, Computer Science, Informatics and Philosophy

Professor, Computer Technology, Purdue School of Engineering and Technology

President, Indiana University

Adjunct Professor, Information Science

Vice President, Research


  • Ph.D., ANU, 1979

Research interests

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.

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.

Representative publications