Shriram Krishnamurthi

Papers

Total Citations

H-Index

About

Shriram Krishnamurthi is a leading figure in programming languages, software engineering, and computer science education. His foundational work on the DrScheme programming environment (now DrRacket) revolutionized how students learn to program, providing a pedagogically sound platform that has been used by hundreds of thousands of learners worldwide. Krishnamurthi’s research on language-oriented programming and the Racket ecosystem has shaped modern thinking on how to design expressive, extensible programming languages. He is also a pioneer in the systematic study of computing education, with his work on program comprehension and misconceptions in temporal logic—such as his 2024 paper distinguishing finite- and infinite-trace linear temporal logic—informing how we teach specification and verification. His highly cited contributions to the design of the Racket language and the How to Design Programs textbook have had a lasting impact on both research and practice. With tens of thousands of citations across his body of work, Krishnamurthi’s influence extends from formal methods to the very tools and curricula that train the next generation of computer scientists.