Michael McRobbie
#18,385
Most Influential Person Now
Australian computer scientist
Michael McRobbie's AcademicInfluence.com Rankings
Michael McRobbiecomputer-science Degrees
Computer Science
#1690
World Rank
#1751
Historical Rank
Database
#10379
World Rank
#11035
Historical Rank
Download Badge
Computer Science
Why Is Michael McRobbie Influential?
(Suggest an Edit or Addition)According to Wikipedia, Michael Alexander McRobbie is an Australian–American computer scientist and university administrator. He served as the 18th president of Indiana University from 2007 to 2021. Upon stepping down from the IU presidency, McRobbie was replaced by Pamela Whitten, who became the 19th president of Indiana University on July 1, 2021. On July 1, 2021, he assumed the titles of university chancellor, president emeritus and university professor. He is the third person to serve as university chancellor in the university's more than 200-year-old history.
Michael McRobbie's Published Works
Published Works
- TeraGrid: Analysis of Organization, System Architecture, and Middleware Enabling New Types of Applications (2006) (196)
- Automated theorem proving for non-classical logics (1988) (87)
- Automated Deduction — Cade-13 (1996) (80)
- Multisets and relevant implication I (1982) (53)
- Relevant analytic tableaux (1979) (26)
- Linear Analytic Tableaux (1995) (11)
- Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics (1988) (10)
- The KRIPKE Automated Theorem Proving System (1986) (7)
- A proof theoretical investigation of relevant and modal logics (1979) (7)
- Information Technology Strategic Plan – Architecture for the 21st Century (1998) (6)
- The Academy’s Pivotal Role in Supporting Public-Private Partnerships to Prevent Chronic Diseases (2009) (6)
- The iGrid project: enabling international research and education collaborations through high performance networking (1999) (4)
- Final Report of the Indiana University Cyberinfrastructure Research Taskforce (2005) (4)
- Meeting the Challenges of 21st Century Globalization. (2008) (3)
- Extensible Terascale Facility (ETF): Indiana-Purdue Grid (IP-Grid) (2006) (2)
- Proof tableau formulations of some first-order relevant ortho-logics (1984) (1)
- Re-Centering the Research Computing Enterprise. (2006) (1)
- SCI: ETF Early Operations - Indiana University (2006) (1)
- Strategic and Financial Planning for Information Technology in Higher Education (2002) (1)
- Pervasive Technology Labs at Indiana University Report to the Lilly Endowment, Inc.,102-Month Program Report (2008) (1)
- Automated Deduction Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 : Proceedings (1996) (1)
- Creation of the AVIDD Data Facility: A Distributed Facility for Managing, Analyizing and Visualizing Instrument-Driven Data (AVIDD) (2003) (0)
- TOWARDS AN ASIA-PACIFIC ADVANCED NETWORK (1996) (0)
- Relevant Analytic Tableaux Author ( s ) : (1979) (0)
- Information Technology: A View from Both Side of the President's Desk. (2012) (0)
- A MECHANIZED DECISION PROCEDURE FOR NON-CLASSICAL LOGICS: THE PROGRAM KRIPKE (2010) (0)
- Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction (1996) (0)
- Approaching hard non-classical problems (1991) (0)
- TransPAC Final Report (2005) (0)
- FOREWORD (2021) (0)
- Global high performance networking: connecting the vNBS and the Asia-Pacific Advanced Network for research and education applications (1998) (0)
- Pervasive Technology Labs Program Report, August 2005 (2005) (0)
- Strategic Plan for Information Technology 2009 (Indiana University): Empowering People (2009) (0)
- Automated reasoning and nonclassical logics: Introduction (1991) (0)
- THE IMPORTANCE OF INCREASING OUR INVESTMENT IN INTERNATIONAL EDUCATION (2021) (0)
- Pervasive Technology Labs Program Report, July 2007 (2006) (0)
- Artificial Intelligence: Perspectives and Predictions (1988) (0)
- Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation (1988) (0)
- Colleges must require vaccination (2021) (0)
- A Note on the Admissibility of Cut in Relevant Tableau Systems (1979) (0)
- Final Report to Lilly Endowment Inc. Indiana University Pervasive Technology Institute (2014) (0)
This paper list is powered by the following services:
Other Resources About Michael McRobbie
What Schools Are Affiliated With Michael McRobbie?
Michael McRobbie is affiliated with the following schools: