Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
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:

Research interests: Programming Language Design, Incremental Computation, Secure Computation, Type Systems


Off the Beaten Track 2019Committee Member in Program Committee within the Off the Beaten Track 2019-track
POPL 2019Committee Member in Program Committee within the Research Papers-track
Author of Live Functional Programming with Typed Holes within the Research Papers-track
Show activities from other conferences

Using general profile