Greg Michaelson

About the Author

Greg Michaelson is a distinguished computer scientist and educator renowned for his contributions to programming language theory and functional programming pedagogy. With a career spanning decades, he has authored influential texts that bridge theoretical foundations with practical applications, making complex concepts accessible to students and professionals alike. His seminal work, 'An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics),' exemplifies his approach, offering a clear and structured exploration of lambda calculus as a gateway to understanding functional paradigms. Michael's research interests include formal methods, software design, and the evolution of computing curricula, and he has held academic positions at leading institutions where he continues to shape the next generation of programmers through innovative teaching and scholarship.