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
-
-
Jeff Running
-
-