Daniel Friedman

Daniel Friedman is Professor Emeritus of Computer Science in the Luddy School of Informatics, Computing, and Engineering at Indiana University Bloomington. He holds a Ph.D. in Computer Science and has built a distinguished career focused on foundational aspects of computing. Friedman's research specializations, as detailed in the university's Artificial Intelligence and Machine Learning faculty directory, include algorithms and theoretical computer science, programming languages, and theoretical computer science. His work has profoundly shaped the fields of programming languages, logic programming, continuations, and theorem proving, evidenced by over 12,500 citations on Google Scholar.

A prolific author, Friedman has produced seminal texts that employ an innovative dialogue format to demystify advanced programming concepts for students and researchers alike. Among his major publications are The Little Schemer and The Seasoned Schemer, both co-authored with Matthias Felleisen; The Little Prover, co-authored with Carl Eastlund; The Reasoned Schemer, co-authored with William E. Byrd, Oleg Kiselyov, and Jason Hemann; and Essentials of Programming Languages, co-authored with Mitchell Wand (third edition, 2008). He also co-authored the Revised^5 Report on the Algorithmic Language Scheme (1998), a key standardizing document that has influenced the evolution of Scheme and functional programming languages. These works have become cornerstones in computer science education, fostering deep understanding of recursion, higher-order functions, and program design. In addition to his scholarly output, Friedman received the Trustees Teaching Award in 2011 from Indiana University Bloomington's School of Informatics, recognizing his exceptional contributions to pedagogy in computer science. His long-standing appointment at Indiana University underscores his pivotal role in advancing theoretical foundations within the discipline.

Professional Email: dfried@iu.edu