Write a Blog >>
Mon 18 Jan 2016 09:15 - 10:00 at Room Demens - Invited talks 0 & 1

I am an Assistant Professor in the Department of Computer Science at Indiana University.

Research Interests: my research focuses on the design and analysis of software and programming languages. I am particularly interested in how programs grow from prototype scripts to robust software, and how programming language design can support this process. My research concerns type systems, software contracts, modularity, and extensibility. I’m currently working with the DARPA CRASH program on Racket and with Mozilla Labs on JavaScript.

Mon 18 Jan
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: Invited Talks - Invited talks 0 & 1 at Room Demens
pepm-2016-invited08:30 - 09:15
Martin VechevETH Zurich
pepm-2016-invited09:15 - 10:00
Sam Tobin-HochstadtIndiana University