About me

Lindsey Kuper

I’m a computer scientist interested in a variety of topics, including programming languages, distributed computing, concurrency, parallelism, and software verification. See my academic web page or Google Scholar for a list of my publications and talks.

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 experiencing computing viscerally. 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 began to study neural network verification.

As of 2018, I’ve joined UC Santa Cruz as an assistant professor! (Interested in doing a Ph.D. with me at UCSC in the intersection of programming languages, distributed systems, and verification? Get in touch!)

Starting points

As of June 2019, there are 138 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!