composition.al

About me

Lindsey Kuper

I’m a computer scientist with a background in programming language semantics and an interest in parallel and distributed programming. More generally, I am interested in tools, techniques, and abstractions that support compositional reasoning about programs, proofs, and processes, especially those that don’t immediately appear to play nicely together. My academic web page has a list of my papers and talks.

I received 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 joined 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. I recently completed my Ph.D. on LVars and joined Intel Labs, where I’ve contributed to the River Trail and Prospect projects and am now a member of the Parallel Computing Lab.

I sometimes say that composition.al is a research blog, but it would be more accurate to call it a personal blog by a researcher. (And, of course, as a personal blog, it doesn’t represent the views of any of the aforementioned organizations.)

Starting points

I started composition.al during my fifth year of grad school. I had been writing about my experiences as a researcher and student on LiveJournal for some time before I finally started 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 days:

And here are a few favorite posts written since starting composition.al in 2013:

Thanks for reading!