Lindsey Kuper
Assistant Professor at University of California, Santa Cruz
California, United States
Summary
👤
Senior🎓
Top SchoolLindsey Kuper is an Assistant Professor at UC Santa Cruz with 17 years of experience at the intersection of programming languages, distributed systems, concurrency, and verification. Her research blends language-based approaches to parallel and distributed computing—such as the LVars model she developed during her Ph.D.—with practical systems work from Intel Labs on Parallel JavaScript and high-level parallel programming in Julia. She has a strong verification bent, including early work on neural-network verification for safety-critical systems and formal reasoning across typed and untyped languages. Based in California, she brings both deep academic rigor and hands-on engineering experience (including contributions to the Rust compiler during internships). Outside of research, her background in music and teaching informs a collaborative, multidisciplinary approach to mentoring and systems design.
16 years of coding experience
13 years of employment as a software developer
B.A., double major in Computer Science and Music (with honors), B.A., double major in Computer Science and Music (with honors) at Grinnell CollegeM.S., Computer Science, M.S., Computer Science at Indiana University BloomingtonComputer Science, Computer Science at Cornell University
Github Skills (6)
relational2
parallel-computing1
high-performance1
gpu1
intel1
scripting1
Github contributions (2)
IntelLabs/ParallelAccelerator.jl
Apr 2016 - Apr 2016
Contributions:1 comment in 1 day
scriptinggpuintelperformanceparallel-computing
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.