Tierless Programming and Reasoning for Software-Defined Networks

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.

Date:
Speakers:
Shriram Krishnamurthi
Affiliation:
Brown University