Michael A. McRobbie
President, Indiana UniversityProfessor, Computer Science, Informatics and PhilosophyProfessor, Computer Technology, Purdue School of Engineering and TechnologyAdjunct Professor, Cognitive ScienceAdjunct Professor, Information ScienceVice President, Research
Phone: (812) 855-5752
- 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.