If you do not see this message displayed properly, please click here

 

The Faculty of Informatics is pleased to announce a seminar given by Shriram Krishnamurthi

 

 

Teaching Programming Languages by Experimental and Adversarial Thinking
 
Speaker: Shriram Krishnamurthi
Brown University, USA
Date: Thursday, May 11, 2017
Place: USI Lugano Campus, room SI-006, informatics building (Via G. Buffi 13)
Time: 9:30-10:30

 

Abstract:

We present a new approach to teaching programming languages. Its essence is to view programming language learning as a natural science activity, where students probe languages experimentally to understand both the normal and extreme behaviors of their features. This has natural parallels to the “security mindset” of computer security, with languages taking the place of servers and other systems. The approach is modular (with minimal dependencies), incremental (it can be introduced slowly into existing classes), interoperable (it does not need to push out other, existing methods), and complementary (since it introduces a new mode of thinking).

 

Biography:

Shriram Krishnamurthi is a Professor of Computer Science at Brown University. With collaborators and students, he has created several influential systems: DrRacket and WeScheme (programming environments), Margrave (access control policy analyzer), FrTime and Flapjax (reactive programming languages), Lambda-JS and TeJaS (semantics and types for JavaScript), and Flowlog (software-defined networking programming language and verifier). He is now working on the Pyret programming language. He is the author of "Programming Languages: Application and Interpretation" and a co-author of "How to Design Programs" and "Programming and Programming Languages". He co-directs the Bootstrap math-and-computing outreach program. He won SIGPLAN's Robin Milner Young Researcher Award, and Brown's Henry Merritt Wriston Fellowship for distinguished contribution to undergraduate education. He has authored over twelve papers recognized for honors by program committees.

 

Host: Prof. Matthias Hauswirth

 

Faculty of Informatics

Faculty of Informatics
Università della Svizzera italiana
Via Giuseppe Buffi 13
CH-6904 Lugano
Tel.: +41 (0)58 666 46 90
Fax: +41 (0)58 666 45 36
Email: decanato.inf@usi.ch
Web: www.inf.usi.ch
Twitter: @USI_INF

 

Segui USI@EXPO2015 su Twitter Segui USI@EXPO2015 su Facebook Segui USI@EXPO2015 su Linkedin Segui USI@EXPO2015 su YouTube