Group pictures

Rustan Leino is in the Programming Languages and Methods (PLM) group and drives the Spec# project, which includes the Boogie static program verifier.

Here is a picture I made of the PLM group in early 2006:
Daan Leijen Wolfram Schulte Mike Barnett Manuel Fähndrich Rustan Leino KRML 2006 The Programming Languages and Methods group (PLM)

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:
Angela Wallenburg Ádám Darvas Rustan Leino KRML 2006 Boogie without organs Bodies without organs (BWO)

Prior to the formation of PLM, I worked in the Software Productivity Tools (SPT) group, for which I had also made a picture:
Tom Ball Jim Larus Rustan Leino Sriram Rajamani Jakob Rehof Jeannette Wing Rob DeLine Manuel Fähndrich Jakob Lichtenberg Shaz Qadeer Vlad Levin Byron Cook Tony Andrews KRML 2003 Mount Rainier Software Productivity Tools group (SPT)

Back to Rustan Leino's homepage.