xOur data center is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Matthew Hammer

Registered user since Thu 13 Nov 2014

Name:Matthew Hammer
Bio:

I’m interested in designing PL-based abstractions for settings in which humans and computers cooperate to create and process information. In particular, I’ve co-created abstractions for Incremental Computing (See Adapton for details) and for Secure Multiparty Computation (See Wysteria for details).

I am an assistant professor in the Department of Computer Science at University of Colorado Boulder. I am a co-director of the CU Programming Languages and Verification group (CUPLV). Before joining CU, I was a postdoc researcher working with Michael Hicks, Jeff Foster, David Van Horn and the PLUM group at the University of Maryland. As a PhD student, I was advised by Umut Acar.

Country:United States
Affiliation:University of Colorado, Boulder
Personal website:http://matthewhammer.org
Research interests:Programming Language Design, Incremental Computation, Secure Computation, Type Systems

Contributions

Scheme 2016 miniAdapton: A Minimal Implementation of Incremental Computation in Scheme
Show activities from other conferences

ICFP 2016-profile
View general profile