معرفی
Lindsey Kuper is an Assistant Professor in the Computer Science and Engineering Department at the Baskin School of Engineering, University of California, Santa Cruz. Her research focuses on programming languages, distributed systems, concurrency, parallelism, and software verification.
- Ph.D., Indiana University (2015)
Research interests include:
- Programming-language-based approaches for concurrent/distributed systems
- Library-level choreographic programming (Haskell, Rust, TypeScript)
- Dependently-typed diagrams for inductive reasoning
- Causal message delivery with refinement types
Key research projects:
- 2025: KameraBag (Kubernetes observability)
- 2024: Sender-side causal message protocol
- 2023: HasChor (Haskell choreographic programming)
- 2022: Liquid Haskell causal broadcast verification
Scientific awards:
- NSF CAREER Award
- Stellar Development Foundation Grant
- Google Faculty Research Award
- Amazon Web Services gift
- Zulip in-kind sponsorship
Teaching history includes courses on:
- Foundations of Programming Languages (CSE114A)
- Distributed Systems (CSE232/CSE138)
- SMT Solving and Solver-Aided Systems
- Programming Abstractions (Python)
Service contributions:
- Co-founded !!Con and !!Con West
- Chaired: Choreographic Programming 2024, PLMW workshops, DSLDI, OBT
- ICFP/OOPSLA/PLDI program committee member
Research group:
- CASL Group (Concurrency and Safety Lab)
- Languages, Systems, and Data (LSD) Lab
- Current members: 6 PhD students
۰مقاله منتشرشده
