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

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