Name:Patrick Redmond

Affiliation:University of California at Santa Cruz

Research interests:functional programming, distributed systems, programming languages, verification