Leino in the press

Why, don't take it from me.  See what the press has to say.

• [2008-05] A Channel 9 video interview, chat, and demo of Spec#, with Peter Müller, Wolfram Schulte, and me, and emceed by Erik Meijer.
• [2008-04] A Hanselminutes podcast interview that Scott Hanselman did with Mike Barnett and me.
• [2008-04] Various Hungarian newspapers (sg.hu Informatika & Tudomány, it business today, PRIM Online) mention my visit to ETAPS in Budapest.  Alas, they get my name and other details wrong.
• [2007-08] An article about Spec# by Rob Knies, featured as a Microsoft Research News & Highlights.  This news blurb also turned into a column in the Dr. Dobb's Portal.
• [2007-05] A .NET Rocks! podcast interview.