Tierless Programming and Reasoning for Software-Defined Networks

Date

February 17, 2015

Speaker

Shriram Krishnamurthi

Affiliation

Brown University

Overview

Speakers

Shriram Krishnamurthi

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.