Programming Languages and Methods
The Programming Languages and Methods (PLM) group in RiSE seeks to improve software development productivity through the design of new programming language features, in conjunction with program verification.
From left to right: Mike Barnett, Rustan Leino, Peter Müller (now at ETH Zurich), and Zhaozhong Ni. Some former members of PLM have been branched off into PLA.
