Name:Lindsey Kuper

Bio:

Lindsey Kuper is an assistant professor at the University of California, Santa Cruz, where she studies programming-language-based approaches to building concurrent and distributed software systems. Her research contributions have included library-level choreographic programming, semantics of replicated data structures, verification of distributed protocols with refinement types, and language and library design for deterministic concurrent programming. She was a co-founder and organizer of !!Con (“bang bang con”), the radically eclectic conference of ten-minute talks on the joy, excitement, and surprise of computing. She is the recipient of the NSF CAREER Award, an ICFP Distinguished Paper Award, and a Google Faculty Research Award, and received her Ph.D. in computer science in 2015 from Indiana University.

Country:United States

Affiliation:University of California, Santa Cruz

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