Rustan Leino is a Principal Researcher in the RiSE group at Microsoft Research, where he works on various programming language and verification projects.
I entered the RiSE logo contest with this:
This is the Programming Languages and Methods (PLM) part of RiSE, June 2008:
Here is a picture I made of the PLM group in early 2006:
A hip photo of the pop group Bodies Without Organs (BWO) inspired me to make the following picture of
my two summer 2006 research interns and me:
Prior to the formation of PLM, I worked in the Software Productivity Tools (SPT)
group, for which I had also made a picture:
