President, Indiana University
Professor of Computer Science and Informatics
Professor of Computer Technology, Purdue School of Engineering and Technology
Professor of Philosophy
Adjunct Professor of Information Science
Vice President for Research
Adjunct Professor of Cognitive Science

(812) 855-5752
mcrobbie@indiana.edu

Ph.D., ANU, 1979

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

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.

McRobbie, M.A. & Chon, K. (1996). Asia-Pacific Advanced Network.
APEC APII Forum, Seoul, Korea. (Presentation published in Proceedings).

McRobbie, M.A. & Slaney, J. K. (Eds.) (1996).
Proceedings of the 13^th International Conference on Automated Deduction, Rutgers University, New Jersey, July 30-August 3, 1996.
Lecture Notes in Computer Science, Springer, Berlin.

Meyer, R. K., McRobbie, M.A. & Belanp, N.D. (1995). Linear Analytic Tableaux.
Proceedings of the Fourth Workshop on Theorem Proving with Analytic Tableaux and Related Methods, St. Goar am Rhein, Germany.

McRobbie, M.A. (1994). National R & D Programmes for New Computer-Communication Networks and Applications
Report OCDE/GD(94)105, OECD, Paris, 1994.

McRobbie, M.A. & Meglicki, G. (1993). Supercomputing Consortia-Networking Implications.
Networkshop '93, Melbourne, Australia.