composition.al

About me

Lindsey Kuper

I’m a computer scientist interested in programming-language-based approaches to building parallel and distributed software systems (see my academic web page or Google Scholar for a list of my publications). I got my BA in Computer Science and Music from Grinnell College in 2004, then worked in industry for a few years before starting grad school at Indiana University, where I was a member of the Programming Languages Group. During the summers of 2011 and 2012, I had a lot of fun helping bring the Rust programming language to its first several releases as an intern at Mozilla Research. Starting in 2013, I joined the residency program at the Recurse Center. In 2014, I co-founded !!Con, a conference about the joy, excitement, and surprise of computing. In 2015, I completed my Ph.D. on LVars. I spent a few years as a research scientist at Intel Labs, where I worked on the River Trail and ParallelAccelerator projects and learned about neural network verification. In 2018, I joined UC Santa Cruz as an assistant professor, and my students and I — along with our LSD Lab colleagues and collaborators around the world — do research in the intersection of programming languages, distributed systems, and software verification. (Interested in doing a Ph.D. with me? Get in touch!)

Starting points

As of January 2021, there are 149 posts here. Here are some favorites:

I started this blog in 2013, during my fifth year of grad school, but I had been writing about my experiences as a researcher and student on LiveJournal for quite a while before I finally got a big-kid blog. To illustrate what my background is like and what laid the groundwork for this blog, here are a few posts from those ancient times:

Thanks for reading!