Name:Lindsey Kuper

Affiliation:University of California at Santa Cruz

Research interests:programming languages, distributed computing, concurrency, parallelism, software verification