Shriram Krishnamurthi

Shriram Krishnamurthi is a Professor in the Computer Science Department at Brown University, Providence, RI. With a prolific research career spanning over three decades (from 1994 to present), he has made significant contributions across programming languages, formal methods, and computer science education. His work bridges theoretical foundations with practical educational applications, particularly in making complex concepts accessible to students.

Dr. Krishnamurthi's research interests encompass programming languages, formal methods, type systems, and computer science education. His work often focuses on the intersection of these areas, particularly how to make formal methods and advanced programming concepts accessible to students through innovative language design and educational tools. He has developed several educational frameworks that have been adopted in both university and K-12 settings, demonstrating his commitment to improving computer science education at all levels.

His recent publications reveal a strong focus on making formal methods more approachable through grounded language design, addressing student misconceptions in programming through innovative assessment techniques, and developing practical tools like Forge for teaching formal methods. His work on Rust's type system, privacy-aware static analysis, and document calculus demonstrates the breadth of his research interests while maintaining a consistent thread of improving programming language understanding and usability.

As a dedicated educator and researcher, Krishnamurthi has mentored numerous PhD students who have become prominent researchers in their own right, including Ben Greenman, Tim Nelson, Kuang-Chen Lu, and Will Crichton. His collaborative approach is evident in his extensive publication record featuring collaborations with both established researchers and emerging scholars.