Shriram Krishnamurthi was recently awarded the first ever SIGPLAN Robin Milner Young Researcher Award. The award was given by SIGPLAN, ACM's Special Interest Group on programming languages, to recognize outstanding contributions by young investigators in this area.

The official award announcement refers to Shriram as "a prolific researcher who brings programming language theory to bear in many other disciplines, thus exposing its foundational value" and notes that his research contributions "range from type soundness proofs for Java and influential extensions thereof, through foundational aspects of web programming, to model-driven development and empirical studies." It further ...