Michael McRobbie Profile Picture

Michael McRobbie

  • mcrobbie@indiana.edu
  • (812) 855-4613
  • 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

Field of study

  • Artificial Intelligence

Education

  • 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.

Edit your profile