Michael A. Harrison

Michael A. Harrison is a Professor affiliated with the Graduate School of Business at Stanford University. His research focuses on formal languages, compiler design, automata theory, and operating systems security. He has contributed extensively to foundational areas of computer science, including parsing algorithms, context-free grammars, and software engineering methodologies. His work often intersects with theoretical computer science and practical applications in document processing and user interface systems. Notable publications include works on hypermedia systems, static program analysis, and historical tributes to key figures in computer science.

Education and career highlights include a prolific publication record spanning over five decades, collaborations with prominent researchers like Seymour Ginsburg and Jim Gray, and editorial roles in major conferences such as POPL and STOC. His work on protection mechanisms in operating systems and compiler optimization has had lasting impacts on both theoretical and applied computing domains.

Research interests emphasize bridging theory and practice, particularly in areas like document systems, security protocols, and algorithmic efficiency. His contributions to the SIGMOD and IEEE Transactions series highlight expertise in database systems and multimedia frameworks.