Scalable Language Specification 2013

  • Shriram Krishnamurthi | Brown University (and several collaborators)

Programming language semantics as Natural Science

Speaker Details

Shriram Krishnamurthi is an Associate Professor of Computer Science at Brown University. His recent work focuses on language support for interactive software, and on analyses for security policies. He helped birth DrScheme (programming environment), Margrave (access control policy analyzer), FrTime and Flapjax (reactive programming languages), FASTLINK (genetic linkage analyzer), and Continue (conference paper manager). He is a co-author of “How to Design Programs” and author of “Programming Languages: Application and Interpretation”. He coordinates the TeachScheme! outreach program.

    • Portrait of Jeff Running

      Jeff Running

Watch Next