In the press

Leino in the press, read all about it:

• [March 2026] Inhale, exhale, verify, interview following up on Leino and Müller’s 2006 paper A Basis for Verifying Multi-threaded Programs received the ETAPS Test of Time Award, 2025.

• [December 2025] Guest on Cody Roux’s The Church of Logic podcast.
  • Part I: [Spotify] (with video, for Spotify Premium users), [YouTube] (audio only)
  • Part II: [Spotify] (with video, for Spotify Premium users), [YouTube] (audio only)

• [November 2025] In Fryksdalsbygden on establishing the Madeleine Leino-priset, a prize that recognizes excellent customer service.

• [April 2023] Rustan Leino provides proof that software is bug free

• [July 2019] AWS Security Profile: Rustan Leino, Senior Principal Applied Scientist

• [May 2007] Talking about Spec# on the podcast .NET Rocks! [Spotify]